Contract.Assert Methode

Definition

Führen Sie in Debugbuilds einen Laufzeittest für eine angegebene Bedingung aus.

Überlädt

Name Beschreibung
Assert(Boolean)

Sucht nach einer Bedingung; wenn die Bedingung lautet false, folgt die für die Analyse festgelegte Eskalationsrichtlinie.

Assert(Boolean, String)

Sucht nach einer Bedingung; wenn die Bedingung lautet false, folgt die vom Analyzer festgelegte Eskalationsrichtlinie und zeigt die angegebene Meldung an.

Assert(Boolean)

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

Sucht nach einer Bedingung; wenn die Bedingung lautet false, folgt die für die Analyse festgelegte Eskalationsrichtlinie.

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 zu testende bedingte Ausdruck.

Attribute

Hinweise

Die Standardmäßige Eskalationsrichtlinie besteht darin, den angefügten Debugger über einen Vertragsfehler zu benachrichtigen oder ein Dialogfeld "Assert " anzuzeigen, wenn kein Debugger angefügt ist. Optional kann der Analyzer angewiesen werden, eine Ausnahme auszuwerfen.

Gilt für:

Assert(Boolean, String)

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

Sucht nach einer Bedingung; wenn die Bedingung lautet false, folgt die vom Analyzer festgelegte Eskalationsrichtlinie und zeigt die angegebene Meldung an.

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 zu testende bedingte Ausdruck.

userMessage
String

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

Attribute

Hinweise

Die Standardmäßige Eskalationsrichtlinie besteht darin, den angefügten Debugger über einen Vertragsfehler zu benachrichtigen oder ein Dialogfeld "Assert " anzuzeigen, wenn kein Debugger angefügt ist. Optional kann der Analyzer angewiesen werden, eine Ausnahme auszuwerfen. Der userMessage Parameter wird an die Debuggerausgabe übergeben. Wenn userMessage es sich nicht um ein konstantes Zeichenfolgenliteral handelt, können Tools sie möglicherweise nicht lesen.

Gilt für: