Contract.Assert Método

Definição

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

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

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

ConditionalAttribute

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.

Assert(Boolean, String)

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")>]
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

ConditionalAttribute

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.