Contract.Assert Metoda

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

System.Diagnostics.Contracts.dll

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

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

ConditionalAttribute

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.

Assert(Boolean, String)

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

ConditionalAttribute

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.