Contract.Assume Método

Definição

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Instrui as ferramentas de análise de código a pressupor que a condição é true, mesmo que ela não possa ser estaticamente comprovada ser sempre true.

Sobrecargas

Assume(Boolean)	Instrui as ferramentas de análise de código a assumir que a condição especificada é true, mesmo que ela não possa ser estaticamente comprovada ser sempre true.
Assume(Boolean, String)	Instrui as ferramentas de análise de código a pressupor que a condição é true, mesmo que ela não possa ser estaticamente comprovada ser sempre true e exibe uma mensagem se a pressuposição falhar.

Assume(Boolean)

Origem:

Contracts.cs

Instrui as ferramentas de análise de código a assumir que a condição especificada é true, mesmo que ela não possa ser estaticamente comprovada ser sempre 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)

Parâmetros

condition

Boolean

A expressão condicional que assumirá true.

Atributos

ConditionalAttribute

Comentários

Em tempo de execução, usar esse método é equivalente a usar o Assert(Boolean) método .

Assume(Boolean, String)

Origem:

Contracts.cs

Instrui as ferramentas de análise de código a pressupor que a condição é true, mesmo que ela não possa ser estaticamente comprovada ser sempre true e exibe uma mensagem se a pressuposição falhar.

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)

Parâmetros

condition

Boolean

A expressão condicional que assumirá true.

userMessage

String

A mensagem a ser postada se a pressuposição falhar.

Atributos

ConditionalAttribute

Comentários

Se userMessage não for um literal de cadeia de caracteres constante, o contrato poderá não ser compreendido pelas ferramentas.

Em tempo de execução, usar esse método é equivalente a usar o Assert(Boolean, String) método .