Поделиться через


Contract.Assume Метод

Определение

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

Перегрузки

Assume(Boolean)

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

Assume(Boolean, String)

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

Assume(Boolean)

Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
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.

Атрибуты

Комментарии

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

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

Assume(Boolean, String)

Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
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")]
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

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

Атрибуты

Комментарии

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

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

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