Contract.Assume Método
Definição
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 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 é |
| Assume(Boolean, String) |
Instrui as ferramentas de análise de código a pressupor que a condição é |
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 -> unitPublic 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 -> unitPublic 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 .
