Contract.Assert Метод

Определение

Пространство имен:

System.Diagnostics.Contracts

Сборки:

netstandard.dll, System.Diagnostics.Contracts.dll

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

Перегрузки

Имя	Описание
Assert(Boolean)	Проверка условия; Значение , если условие равно false, следует политике эскалации, заданной для анализатора.
Assert(Boolean, String)	Проверка условия; Значение , если условие равно false, следует политике эскалации, заданной анализатором, и отображает указанное сообщение.

Assert(Boolean)

Исходный код:

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

Условное выражение для тестирования.

Атрибуты

ConditionalAttribute

Комментарии

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

Assert(Boolean, String)

Исходный код:

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")>]
static member Assert : bool * string -> unit

Public Shared Sub Assert (condition As Boolean, userMessage As String)

Параметры

condition

Boolean

Условное выражение для тестирования.

userMessage

String

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

Атрибуты

ConditionalAttribute

Комментарии

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