Contract.Assert Método
Definición
Importante
Parte de la información hace referencia a la versión preliminar del producto, que puede haberse modificado sustancialmente antes de lanzar la versión definitiva. Microsoft no otorga ninguna garantía, explícita o implícita, con respecto a la información proporcionada aquí.
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 |
Assert(Boolean, String) |
Comprueba una condición; si es |
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.