Contract.Assert Método

Definición

Espacio de nombres:

System.Diagnostics.Contracts

Ensamblado:

System.Diagnostics.Contracts.dll

En compilaciones de depuración, realiza una prueba en tiempo de ejecución de una condición especificada.

Sobrecargas

Assert(Boolean)	Comprueba una condición; si es false, sigue la directiva de elevación establecida para el analizador.
Assert(Boolean, String)	Comprueba una condición; si es false, sigue la directiva de elevación establecida por el analizador y muestra el mensaje especificado.

Assert(Boolean)

Source:

Contracts.cs

Comprueba una condición; si es false, sigue la directiva de elevación establecida para el analizador.

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

Expresión condicional que se va a probar.

Atributos

ConditionalAttribute

Comentarios

La directiva de escalación predeterminada consiste en notificar al depurador adjunto un error de contrato o mostrar un cuadro de diálogo Assert si un depurador no está asociado. Opcionalmente, se puede indicar al analizador que produzca una excepción.

Assert(Boolean, String)

Source:

Contracts.cs

Comprueba una condición; si es false, sigue la directiva de elevación establecida por el analizador y muestra el mensaje especificado.

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

Expresión condicional que se va a probar.

userMessage

String

Mensaje para mostrar si no se cumple la condición.

Atributos

ConditionalAttribute

Comentarios

La directiva de escalación predeterminada consiste en notificar al depurador adjunto un error de contrato o mostrar un cuadro de diálogo Assert si un depurador no está asociado. Opcionalmente, se puede indicar al analizador que produzca una excepción. El userMessage parámetro se pasa a la salida del depurador. Si userMessage no es un literal de cadena constante, es posible que las herramientas no puedan leerla.