Contract.Assert Метод

Определение

В отладочных построениях осуществляет проверку во время выполнения для указанного условия.

Перегрузки

Assert(Boolean)

Проверяет условие; если условие имеет значение false, следует политике эскалации, установленной для анализатора.

Assert(Boolean, String)

Проверяет условие; если условие имеет значение false, следует политике эскалации, установленной анализатором, и отображает указанное сообщение.

Assert(Boolean)

Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
Contracts.cs

Проверяет условие; если условие имеет значение false, следует политике эскалации, установленной для анализатора.

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)

Параметры

condition
Boolean

Условное выражение, которое требуется подвергнуть проверке.

Атрибуты

Комментарии

Политика эскалации по умолчанию заключается в уведомлении подключенного отладчика о сбое контракта или отображении диалогового окна Утверждение , если отладчик не подключен. При необходимости можно указать анализатору создать исключение.

Применяется к

Assert(Boolean, String)

Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
Contracts.cs

Проверяет условие; если условие имеет значение false, следует политике эскалации, установленной анализатором, и отображает указанное сообщение.

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)

Параметры

condition
Boolean

Условное выражение, которое требуется подвергнуть проверке.

userMessage
String

Сообщение, отображаемое при несоответствии условия.

Атрибуты

Комментарии

Политика эскалации по умолчанию заключается в уведомлении подключенного отладчика о сбое контракта или отображении диалогового окна Утверждение , если отладчик не подключен. При необходимости можно указать анализатору создать исключение. Параметр userMessage передается в выходные данные отладчика. Если userMessage не является константным строковым литералом, средства могут не прочитать его.

Применяется к