Contract.Assume Método

Definição

Namespace:: System.Diagnostics.Contracts

Assemblies:: mscorlib.dll, System.Diagnostics.Contracts.dll

Assembly:: mscorlib.dll

Assembly:: netstandard.dll

Importante

Algumas informações se referem a produtos de pré-lançamento que podem ser substancialmente modificados antes do lançamento. A Microsoft não oferece garantias, expressas ou implícitas, das informações aqui fornecidas.

Instrui as ferramentas de análise de código a assumir que uma condição é true, mesmo que não possa ser truecomprovada estaticamente como sempre.

Sobrecargas

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

Assume(Boolean)

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

Atributos: ConditionalAttribute

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)

Instrui as ferramentas de análise de código a assumir que uma condição é true, mesmo que não possa ser truecomprovada estaticamente como sempre, e exibe uma mensagem se a suposiçã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 a ser assumida true.

userMessage: String

A mensagem a ser postada se a suposiçã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.

Aplica-se a

Comentários

Esta página foi útil?