Contract.Assert Contract.Assert Contract.Assert Contract.Assert Method

Definição

Em builds de depuração, realiza um teste de tempo de execução para uma condição específica.In debug builds, performs a run-time test for a specified condition.

Sobrecargas

Assert(Boolean) Assert(Boolean) Assert(Boolean) Assert(Boolean)

Verifica uma condição; se a condição for false, seguirá a política de escalonamento definida para o analisador.Checks for a condition; if the condition is false, follows the escalation policy set for the analyzer.

Assert(Boolean, String) Assert(Boolean, String) Assert(Boolean, String) 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.Checks for a condition; if the condition is false, follows the escalation policy set by the analyzer and displays the specified message.

Assert(Boolean) Assert(Boolean) Assert(Boolean) Assert(Boolean)

Verifica uma condição; se a condição for false, seguirá a política de escalonamento definida para o analisador.Checks for a condition; if the condition is false, follows the escalation policy set for the analyzer.

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

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional a ser testada.The conditional expression to test.

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 de declaração se um depurador não estiver anexado.The default escalation policy is to notify the attached debugger about a contract failure or to display an Assert dialog box if a debugger is not attached. Opcionalmente, o analisador pode ser instruído para gerar uma exceção.Optionally, the analyzer can be instructed to throw an exception.

Assert(Boolean, String) Assert(Boolean, String) Assert(Boolean, String) 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.Checks for a condition; if the condition is false, follows the escalation policy set by the analyzer and displays the specified message.

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

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional a ser testada.The conditional expression to test.

userMessage
String String String String

Uma mensagem a ser exibida se a condição não for atendida.A message to display if the condition is not met.

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 de declaração se um depurador não estiver anexado.The default escalation policy is to notify the attached debugger about a contract failure or to display an Assert dialog box if a debugger is not attached. Opcionalmente, o analisador pode ser instruído para gerar uma exceção.Optionally, the analyzer can be instructed to throw an exception. O userMessage parâmetro é passado para a saída do depurador.The userMessage parameter is passed to the debugger output. Se userMessage não for um literal de cadeia de caracteres constante, as ferramentas poderão não ser capazes de lê-lo.If userMessage is not a constant string literal, tools may not be able to read it.

Aplica-se a