Contract.Assume Contract.Assume Contract.Assume Contract.Assume Method

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.Instructs code analysis tools to assume that a condition is true, even if it cannot be statically proven to always be true.

Sobrecargas

Assume(Boolean) Assume(Boolean) Assume(Boolean) 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.Instructs code analysis tools to assume that the specified condition is true, even if it cannot be statically proven to always be true.

Assume(Boolean, String) Assume(Boolean, String) Assume(Boolean, String) 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.Instructs code analysis tools to assume that a condition is true, even if it cannot be statically proven to always be true, and displays a message if the assumption fails.

Assume(Boolean) Assume(Boolean) Assume(Boolean) 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.Instructs code analysis tools to assume that the specified condition is true, even if it cannot be statically proven to always be true.

public:
 static void Assume(bool condition);
[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition);
static member Assume : bool -> unit
Public Shared Sub Assume (condition As Boolean)

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional que assumirá true.The conditional expression to assume true.

Comentários

Em tempo de execução, o uso desse método é equivalente ao Assert(Boolean) uso do método.At run time, using this method is equivalent to using the Assert(Boolean) method.

Assume(Boolean, String) Assume(Boolean, String) Assume(Boolean, String) 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.Instructs code analysis tools to assume that a condition is true, even if it cannot be statically proven to always be true, and displays a message if the assumption fails.

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);
static member Assume : bool * string -> unit
Public Shared Sub Assume (condition As Boolean, userMessage As String)

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional que assumirá true.The conditional expression to assume true.

userMessage
String String String String

A mensagem a ser postada se a pressuposição falhar.The message to post if the assumption fails.

Comentários

Se userMessage não for uma literal de cadeia de caracteres constante, o contrato poderá não ser compreendido por ferramentas.If userMessage is not a constant string literal, the contract may not be understood by tools.

Em tempo de execução, o uso desse método é equivalente ao Assert(Boolean, String) uso do método.At run time, using this method is equivalent to using the Assert(Boolean, String) method.

Aplica-se a