Contract.Assert Metoda

Definicja

Przestrzeń nazw:

System.Diagnostics.Contracts

Zestaw:

System.Diagnostics.Contracts.dll

W kompilacjach debugowania wykonuje test czasu wykonywania dla określonego warunku.

Przeciążenia

Assert(Boolean)	Sprawdza warunek; jeśli warunek ma falsewartość , następuje po ustawieniu zasad eskalacji dla analizatora.
Assert(Boolean, String)	Sprawdza warunek; Jeśli warunek ma falsewartość , następuje zgodnie z zasadami eskalacji ustawionymi przez analizator i wyświetla określony komunikat.

Assert(Boolean)

Źródło:

Contracts.cs

Sprawdza warunek; jeśli warunek ma falsewartość , następuje po ustawieniu zasad eskalacji dla analizatora.

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

Wyrażenie warunkowe do przetestowania.

Atrybuty

ConditionalAttribute

Uwagi

Domyślne zasady eskalacji to powiadomienie dołączonego debugera o niepowodzeniu kontraktu lub wyświetlenie okna dialogowego Asercja , jeśli debuger nie jest dołączony. Opcjonalnie analizator może zostać poinstruowany o zgłaszaniu wyjątku.

Assert(Boolean, String)

Źródło:

Contracts.cs

Sprawdza warunek; Jeśli warunek ma falsewartość , następuje zgodnie z zasadami eskalacji ustawionymi przez analizator i wyświetla określony komunikat.

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

Wyrażenie warunkowe do przetestowania.

userMessage

String

Komunikat do wyświetlenia, jeśli warunek nie jest spełniony.

Atrybuty

ConditionalAttribute

Uwagi

Domyślne zasady eskalacji to powiadomienie dołączonego debugera o niepowodzeniu kontraktu lub wyświetlenie okna dialogowego Asercja , jeśli debuger nie jest dołączony. Opcjonalnie analizator może zostać poinstruowany o zgłaszaniu wyjątku. Parametr userMessage jest przekazywany do danych wyjściowych debugera. Jeśli userMessage nie jest literałem ciągu stałego, narzędzia mogą nie być w stanie go odczytać.