Share via


PexRaisedContractExceptionAttribute Constructors

Definition

Overloads

PexRaisedContractExceptionAttribute()

Initializes a new instance of the PexRaisedContractExceptionAttribute class.

PexRaisedContractExceptionAttribute(PexExceptionState)

Initializes a new instance of the PexRaisedContractExceptionAttribute class.

PexRaisedContractExceptionAttribute()

Initializes a new instance of the PexRaisedContractExceptionAttribute class.

public:
 PexRaisedContractExceptionAttribute();
public PexRaisedContractExceptionAttribute ();
Public Sub New ()

Applies to

PexRaisedContractExceptionAttribute(PexExceptionState)

Initializes a new instance of the PexRaisedContractExceptionAttribute class.

public:
 PexRaisedContractExceptionAttribute(Microsoft::Pex::Engine::Exceptions::PexExceptionState exceptionState);
public PexRaisedContractExceptionAttribute (Microsoft.Pex.Engine.Exceptions.PexExceptionState exceptionState);
new Microsoft.Pex.Framework.Generated.PexRaisedContractExceptionAttribute : Microsoft.Pex.Engine.Exceptions.PexExceptionState -> Microsoft.Pex.Framework.Generated.PexRaisedContractExceptionAttribute
Public Sub New (exceptionState As PexExceptionState)

Parameters

exceptionState
Microsoft.Pex.Engine.Exceptions.PexExceptionState

State of the exception.

Applies to