Compartilhar via


Contract.Assume Método

Definição

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
Origem:
Contracts.cs
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

Comentários

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

Aplica-se a

Assume(Boolean, String)

Origem:
Contracts.cs
Origem:
Contracts.cs
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")]
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

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 .

Aplica-se a