PexException Class

Definition

Namespace:

Microsoft.Pex.Framework.Exceptions

Assembly:

Microsoft.Pex.Framework.dll

Base class for all IntelliTest exceptions

public ref class PexException : Exception

[System.Serializable]
public class PexException : Exception

[<System.Serializable>]
type PexException = class
    inherit Exception

Public Class PexException
Inherits Exception

Inheritance

Exception

PexException

Derived

Microsoft.Pex.Framework.Exceptions.PexAssertFailedException

Microsoft.Pex.Framework.Exceptions.PexAssumeFailedException

Microsoft.Pex.Framework.Exceptions.PexInconclusiveException

Microsoft.Pex.Framework.Exceptions.PexRetryException

Microsoft.Pex.Framework.Exceptions.PexUnverifiableUnsafeMemoryAccessException

Attributes

SerializableAttribute

Constructors

PexException()	Initializes a new instance of the PexException class.
PexException(SerializationInfo, StreamingContext)	Initializes a new instance of the PexException class.
PexException(String, Exception)	Initializes a new instance of the PexException class.
PexException(String)	Initializes a new instance of the PexException class.