Contract.EnsuresOnThrow Methode

Definition

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Gibt einen Nachbedingungsvertrag für die einschließende Methode oder Eigenschaft auf Grundlage der angegebenen Ausnahme und Bedingung an.

Überlädt

EnsuresOnThrow<TException>(Boolean)	Gibt einen Nachbedingungsvertrag für die einschließende Methode oder Eigenschaft auf Grundlage der angegebenen Ausnahme und Bedingung an.
EnsuresOnThrow<TException>(Boolean, String)	Gibt auf Grundlage der angegebenen Ausnahme und Bedingung einen Nachbedingungsvertrag für die Ausnahme und Bedingung und eine Meldung an, die angezeigt wird, wenn die Bedingung false ist.

EnsuresOnThrow<TException>(Boolean)

Quelle:

Contracts.cs

Gibt einen Nachbedingungsvertrag für die einschließende Methode oder Eigenschaft auf Grundlage der angegebenen Ausnahme und Bedingung an.

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition) where TException : Exception;

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool -> unit (requires 'Exception :> Exception)

Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean)

Typparameter

TException

Der Ausnahmetyp, von dem die Nachbedingungsüberprüfung aufgerufen wird.

Parameter

condition

Boolean

Der bedingte Ausdruck, der getestet werden soll.

Attribute

ConditionalAttribute

Hinweise

Der condition Parameter gibt eine Postkondition an, die erwartet wird true , wenn die schließende Methode oder Eigenschaft abnormal beendet wird und eine Ausnahme vom Typ TException ausgelöst wird.

• Dieser Methodenaufruf muss am Anfang einer Methode oder Eigenschaft vor jedem anderen Code stehen.

• Dieser Vertrag ist für Clients verfügbar gemacht. daher darf nur auf Elemente verwiesen werden, die mindestens so sichtbar sind wie die einschließende Methode.

• Sie müssen den binären Rewriter für die Laufzeiterzwingung dieser Nachbedingung verwenden.

EnsuresOnThrow<TException>(Boolean, String)

Quelle:

Contracts.cs

Gibt auf Grundlage der angegebenen Ausnahme und Bedingung einen Nachbedingungsvertrag für die Ausnahme und Bedingung und eine Meldung an, die angezeigt wird, wenn die Bedingung false ist.

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition, string? userMessage) where TException : Exception;

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool * string -> unit (requires 'Exception :> Exception)

Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean, userMessage As String)

Typparameter

TException

Der Ausnahmetyp, von dem die Nachbedingungsüberprüfung aufgerufen wird.

Parameter

condition

Boolean

Der bedingte Ausdruck, der getestet werden soll.

userMessage

String

Die Meldung, die angezeigt wird, wenn der Ausdruck false ist.

Attribute

ConditionalAttribute

Hinweise

Der condition Parameter gibt eine Postkondition an, die erwartet wird true , wenn die schließende Methode oder Eigenschaft abnormal beendet wird und eine Ausnahme vom Typ TException ausgelöst wird. Der message Parameter gibt eine Meldung an, die angezeigt werden soll, wenn die Bedingung lautet false.

• Dieser Methodenaufruf muss am Anfang einer Methode oder Eigenschaft vor jedem anderen Code stehen.

• Dieser Vertrag ist für Clients verfügbar gemacht. daher darf nur auf Elemente verwiesen werden, die mindestens so sichtbar sind wie die einschließende Methode.

• Sie müssen den binären Rewriter für die Laufzeiterzwingung dieser Nachbedingung verwenden.

• Wenn userMessage es sich nicht um ein konstantes Zeichenfolgenliteral handelt, kann der Vertrag von Tools nicht verstanden werden.