The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.
PexException Class
Base class for all Pex exceptions
Assembly: Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)
System::Object
System::Exception
Microsoft.Pex.Framework.Exceptions::PexException
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
System::Exception
Microsoft.Pex.Framework.Exceptions::PexException
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
| Name | Description | |
|---|---|---|
![]() | PexException() | Initializes a new instance of the PexException class. |
![]() | PexException(SerializationInfo^, StreamingContext) | Initializes a new instance of the PexException class. |
![]() | PexException(String^) | Initializes a new instance of the PexException class. |
![]() | PexException(String^, Exception^) | Initializes a new instance of the PexException class. |
| Name | Description | |
|---|---|---|
![]() | Equals(Object^) | (Inherited from Object.) |
![]() | Finalize() | (Inherited from Object.) |
![]() | GetBaseException() | (Inherited from Exception.) |
![]() | GetHashCode() | (Inherited from Object.) |
![]() | GetObjectData(SerializationInfo^, StreamingContext) | (Inherited from Exception.) |
![]() | GetType() | (Inherited from Exception.) |
![]() | MemberwiseClone() | (Inherited from Object.) |
![]() | ToString() | (Inherited from Exception.) |
| Name | Description | |
|---|---|---|
![]() | SerializeObjectState | (Inherited from Exception.) |
Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.
Show:



