Contract.Assume Метод

  • Ссылка

Определение

Пространство имен:
System.Diagnostics.Contracts
Сборка:
System.Diagnostics.Contracts.dll
Сборка:
mscorlib.dll
Сборка:
netstandard.dll

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

Атрибуты
ConditionalAttribute

Комментарии

Во время выполнения использование этого метода эквивалентно использованию 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

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

Атрибуты
ConditionalAttribute

Комментарии

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

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

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