Compartir vía


Contract.Assert Método

Definición

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
Source:
Contracts.cs
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

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.

Se aplica a

Assert(Boolean, String)

Source:
Contracts.cs
Source:
Contracts.cs
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")]
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

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.

Se aplica a