PexRaisedContractExceptionAttribute Konstruktoren
Definition
Wichtig
Einige Informationen beziehen sich auf Vorabversionen, die vor dem Release ggf. grundlegend überarbeitet werden. Microsoft übernimmt hinsichtlich der hier bereitgestellten Informationen keine Gewährleistungen, seien sie ausdrücklich oder konkludent.
Ü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.