Contract.Assume Метод

Определение

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

System.Diagnostics.Contracts

Сборка:

System.Diagnostics.Contracts.dll

Инструктирует инструменты анализа кода полагать, что условием является true, даже если статически невозможно подтвердить постоянное значение true.

Перегрузки

Assume(Boolean)	Инструктирует инструменты анализа кода полагать, что указанным условием является true, даже если статически невозможно подтвердить постоянное значение true.
Assume(Boolean, String)	Инструктирует инструменты анализа кода полагать, что условием является true, даже если статически невозможно подтвердить постоянное значение true, и отображает сообщение, если предположение было ошибочным.

Assume(Boolean)

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

Contracts.cs

Инструктирует инструменты анализа кода полагать, что указанным условием является true, даже если статически невозможно подтвердить постоянное значение true.

public:
 static void Assume(bool condition);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool -> unit

Public Shared Sub Assume (condition As Boolean)

Параметры

condition

Boolean

Предполагаемое условное выражение true.

Атрибуты

ConditionalAttribute

Комментарии

Во время выполнения использование этого метода эквивалентно использованию Assert(Boolean) метода .

Assume(Boolean, String)

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

Contracts.cs

Инструктирует инструменты анализа кода полагать, что условием является true, даже если статически невозможно подтвердить постоянное значение true, и отображает сообщение, если предположение было ошибочным.

public:
 static void Assume(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool * string -> unit

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

Параметры

condition

Boolean

Предполагаемое условное выражение true.

userMessage

String

Сообщение, создаваемое при ошибочном предположении.

Атрибуты

ConditionalAttribute

Комментарии

Если userMessage не является константным строковым литералом, контракт может быть не понят средствами.

Во время выполнения использование этого метода эквивалентно использованию Assert(Boolean, String) метода .