Contract.Assert Methode

Definition

Führt in Debugversionen einen Laufzeittest für eine angegebene Bedingung aus.

Überlädt

Assert(Boolean)

Überprüft eine Bedingung. Wenn die Bedingung false ist, wird die festgelegte Ausweitungsrichtlinie für den Analyzer angewendet.

Assert(Boolean, String)

Überprüft eine Bedingung. Wenn die Bedingung false ist, wird die vom Analyzer festgelegte Ausweitungsrichtlinie angewendet und die angegebene Meldung angezeigt.

Assert(Boolean)

Quelle:
Contracts.cs
Quelle:
Contracts.cs
Quelle:
Contracts.cs

Überprüft eine Bedingung. Wenn die Bedingung false ist, wird die festgelegte Ausweitungsrichtlinie für den Analyzer angewendet.

public:
 static void Assert(bool condition);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.Diagnostics.Conditional("DEBUG")]
public static void Assert (bool condition);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
[<System.Diagnostics.Conditional("DEBUG")>]
static member Assert : bool -> unit
Public Shared Sub Assert (condition As Boolean)

Parameter

condition
Boolean

Der bedingte Ausdruck, der getestet werden soll.

Attribute

Hinweise

Die Standardausweitungsrichtlinie besteht darin, den angefügten Debugger über einen Vertragsfehler zu benachrichtigen oder ein Assert-Dialogfeld anzuzeigen, wenn kein Debugger angefügt ist. Optional kann das Analysetool angewiesen werden, eine Ausnahme auszulösen.

Gilt für:

Assert(Boolean, String)

Quelle:
Contracts.cs
Quelle:
Contracts.cs
Quelle:
Contracts.cs

Überprüft eine Bedingung. Wenn die Bedingung false ist, wird die vom Analyzer festgelegte Ausweitungsrichtlinie angewendet und die angegebene Meldung angezeigt.

public:
 static void Assert(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assert (bool condition, string userMessage);
[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assert (bool condition, string? userMessage);
[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assert : bool * string -> unit
Public Shared Sub Assert (condition As Boolean, userMessage As String)

Parameter

condition
Boolean

Der bedingte Ausdruck, der getestet werden soll.

userMessage
String

Eine Meldung, die angezeigt wird, wenn die Bedingung nicht erfüllt wird.

Attribute

Hinweise

Die Standardausweitungsrichtlinie besteht darin, den angefügten Debugger über einen Vertragsfehler zu benachrichtigen oder ein Assert-Dialogfeld anzuzeigen, wenn kein Debugger angefügt ist. Optional kann das Analysetool angewiesen werden, eine Ausnahme auszulösen. Der userMessage Parameter wird an die Debuggerausgabe übergeben. Wenn userMessage kein konstantes Zeichenfolgenliteral ist, können Tools es möglicherweise nicht lesen.

Gilt für: