Contract.Assume Método

Definição

Espaço de Nomes:: System.Diagnostics.Contracts

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

Assemblagem:: mscorlib.dll

Assemblagem:: netstandard.dll

Importante

Algumas informações dizem respeito a um produto pré-lançado que pode ser substancialmente modificado antes de ser lançado. A Microsoft não faz garantias, de forma expressa ou implícita, em relação à informação aqui apresentada.

Instrui as ferramentas de análise de código a assumirem que uma condição é true, mesmo que não possa ser provado estaticamente que é truesempre .

Sobrecargas

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

Assume(Boolean)

Instrui as ferramentas de análise de código a assumirem que a condição especificada é true, mesmo que não possa ser provado estaticamente que é truesempre .

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 para assumir true.

Atributos: ConditionalAttribute

Observações

Em tempo de execução, usar este 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 assumirem que uma condição é true, mesmo que não possa ser estaticamente provada como sendo truesempre , e apresenta 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 para assumir true.

userMessage: String

A mensagem a publicar se a suposição falhar.

Atributos: ConditionalAttribute

Observações

Se userMessage não for uma cadeia literal constante, o contrato pode não ser compreendido pelas ferramentas.

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

Aplica-se a

Comentários

Esta página foi útil?