Contract.Assert Método

Definição

Em builds de depuração, realiza um teste de tempo de execução para uma condição específica.

Sobrecargas

Assert(Boolean)

Verifica uma condição; se a condição for false, seguirá a política de escalonamento definida para o analisador.

Assert(Boolean, String)

Verifica uma condição; se a condição for false, seguirá a política de escalonamento definida pelo analisador e exibirá a mensagem especificada.

Assert(Boolean)

Origem:
Contracts.cs
Origem:
Contracts.cs
Origem:
Contracts.cs

Verifica uma condição; se a condição for false, seguirá a política de escalonamento definida para o analisador.

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

Parâmetros

condition
Boolean

A expressão condicional a ser testada.

Atributos

Comentários

A política de escalonamento padrão é notificar o depurador anexado sobre uma falha de contrato ou exibir uma caixa de diálogo Assert se um depurador não estiver anexado. Opcionalmente, o analisador pode ser instruído a lançar uma exceção.

Aplica-se a

Assert(Boolean, String)

Origem:
Contracts.cs
Origem:
Contracts.cs
Origem:
Contracts.cs

Verifica uma condição; se a condição for false, seguirá a política de escalonamento definida pelo analisador e exibirá a mensagem especificada.

public:
 static void Assert(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assert (bool condition, string userMessage);
[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assert (bool condition, string? userMessage);
[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assert : bool * string -> unit
Public Shared Sub Assert (condition As Boolean, userMessage As String)

Parâmetros

condition
Boolean

A expressão condicional a ser testada.

userMessage
String

Uma mensagem a ser exibida se a condição não for atendida.

Atributos

Comentários

A política de escalonamento padrão é notificar o depurador anexado sobre uma falha de contrato ou exibir uma caixa de diálogo Assert se um depurador não estiver anexado. Opcionalmente, o analisador pode ser instruído a lançar uma exceção. O userMessage parâmetro é passado para a saída do depurador. Se userMessage não for um literal de cadeia de caracteres constante, as ferramentas poderão não ser capazes de lê-lo.

Aplica-se a