Information
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.

PexAssumeFailedException Class

 

Internal exception representing a violated assumption.

Namespace:   Microsoft.Pex.Framework.Exceptions
Assembly:  Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)

System::Object
  System::Exception
    Microsoft.Pex.Framework.Exceptions::PexException
      Microsoft.Pex.Framework.Exceptions::PexAssumeFailedException

[SerializableAttribute]
[__UncatchableAttribute]
public ref class PexAssumeFailedException : PexException

NameDescription
System_CAPS_pubmethodPexAssumeFailedException()

Creates an instance of this class.

System_CAPS_protmethodPexAssumeFailedException(SerializationInfo^, StreamingContext)

Creates an instance of this class.

System_CAPS_pubmethodPexAssumeFailedException(String^)

Creates an instance of this class.

System_CAPS_pubmethodPexAssumeFailedException(String^, Exception^)

Creates an instance of this class.

NameDescription
System_CAPS_pubpropertyData

(Inherited from Exception.)

System_CAPS_pubpropertyHelpLink

(Inherited from Exception.)

System_CAPS_pubpropertyHResult

(Inherited from Exception.)

System_CAPS_pubpropertyInnerException

(Inherited from Exception.)

System_CAPS_pubpropertyMessage

(Inherited from Exception.)

System_CAPS_pubpropertySource

(Inherited from Exception.)

System_CAPS_pubpropertyStackTrace

(Inherited from Exception.)

System_CAPS_pubpropertyTargetSite

(Inherited from Exception.)

NameDescription
System_CAPS_pubmethodEquals(Object^)

(Inherited from Object.)

System_CAPS_protmethodFinalize()

(Inherited from Object.)

System_CAPS_pubmethodGetBaseException()

(Inherited from Exception.)

System_CAPS_pubmethodGetHashCode()

(Inherited from Object.)

System_CAPS_pubmethodGetObjectData(SerializationInfo^, StreamingContext)

(Inherited from Exception.)

System_CAPS_pubmethodGetType()

(Inherited from Exception.)

System_CAPS_protmethodMemberwiseClone()

(Inherited from Object.)

System_CAPS_pubmethodToString()

(Inherited from Exception.)

NameDescription
System_CAPS_proteventSerializeObjectState

(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.

Return to top
Show: