Contract.Assert Метод

Определение

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

System.Diagnostics.Contracts

Сборка:

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 не является константным строковым литералом, средства могут не прочитать его.