Contract.EnsuresOnThrow Methode
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.
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 |
EnsuresOnThrow<TException>(Boolean)
- Quelle:
- Contracts.cs
- Quelle:
- Contracts.cs
- 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
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.
Gilt für:
EnsuresOnThrow<TException>(Boolean, String)
- Quelle:
- Contracts.cs
- Quelle:
- Contracts.cs
- 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")]
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
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
userMessagees sich nicht um ein konstantes Zeichenfolgenliteral handelt, kann der Vertrag von Tools nicht verstanden werden.
