PexRaisedContractExceptionAttribute Konstruktoren

Definition

Überlädt

PexRaisedContractExceptionAttribute()

Initialisiert eine neue Instanz der PexRaisedContractExceptionAttribute-Klasse.

PexRaisedContractExceptionAttribute(PexExceptionState)

Initialisiert eine neue Instanz der PexRaisedContractExceptionAttribute-Klasse.

PexRaisedContractExceptionAttribute()

Initialisiert eine neue Instanz der PexRaisedContractExceptionAttribute-Klasse.

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

Gilt für

PexRaisedContractExceptionAttribute(PexExceptionState)

Initialisiert eine neue Instanz der PexRaisedContractExceptionAttribute-Klasse.

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)

Parameter

exceptionState
Microsoft.Pex.Engine.Exceptions.PexExceptionState

Der Zustand der Ausnahme.

Gilt für