Contract.Assert Methode

Definition

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

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

Ü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

ConditionalAttribute

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.

Assert(Boolean, String)

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")>]
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

ConditionalAttribute

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.