Contract.Assert Metoda

Definice

V sestaveních ladění provede test za běhu pro zadanou podmínku.

Přetížení

Assert(Boolean)

Kontroluje podmínku; pokud je falsepodmínka , řídí se zásadou eskalace nastavenou pro analyzátor.

Assert(Boolean, String)

Kontroluje podmínku; Pokud je falsepodmínka , použije zásadu eskalace nastavenou analyzátorem a zobrazí zadanou zprávu.

Assert(Boolean)

Zdroj:
Contracts.cs
Zdroj:
Contracts.cs
Zdroj:
Contracts.cs

Kontroluje podmínku; pokud je falsepodmínka , řídí se zásadou eskalace nastavenou pro analyzátor.

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)

Parametry

condition
Boolean

Podmíněný výraz, který se má otestovat.

Atributy

Poznámky

Výchozí zásadou eskalace je upozorňování připojeného ladicího programu na selhání kontraktu nebo zobrazení dialogového okna Assert , pokud není připojen ladicí program. Volitelně může být analyzátoru instruován, aby vyvolal výjimku.

Platí pro

Assert(Boolean, String)

Zdroj:
Contracts.cs
Zdroj:
Contracts.cs
Zdroj:
Contracts.cs

Kontroluje podmínku; Pokud je falsepodmínka , použije zásadu eskalace nastavenou analyzátorem a zobrazí zadanou zprávu.

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)

Parametry

condition
Boolean

Podmíněný výraz, který se má otestovat.

userMessage
String

Zpráva, která se zobrazí, pokud není splněna podmínka.

Atributy

Poznámky

Výchozí zásadou eskalace je upozorňování připojeného ladicího programu na selhání kontraktu nebo zobrazení dialogového okna Assert , pokud není připojen ladicí program. Volitelně může být analyzátoru instruován, aby vyvolal výjimku. Parametr userMessage se předá výstupu ladicího programu. Pokud userMessage se nejedná o konstantní řetězcový literál, nástroje ho možná nebudou moct přečíst.

Platí pro