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 las compilaciones de depuración, realiza una prueba en tiempo de ejecución para una condición especificada.
Sobrecargas
| Assert(Boolean) |
Comprueba si hay una condición; si la condición es |
| Assert(Boolean, String) |
Comprueba si hay una condición; si la condición es |
Assert(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Comprueba si hay una condición; si la condición es false, sigue la directiva de escalació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 -> unitPublic 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 es notificar al depurador adjunto un error de contrato o mostrar un cuadro de diálogo de aserción de si un depurador no está asociado. Opcionalmente, se puede indicar al analizador que inicie una excepción.
Se aplica a
Assert(Boolean, String)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Comprueba si hay una condición; si la condición es false, sigue la directiva de escalació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 -> unitPublic Shared Sub Assert (condition As Boolean, userMessage As String)Parámetros
- condition
- Boolean
Expresión condicional que se va a probar.
- userMessage
- String
Mensaje que se muestra si no se cumple la condición.
- Atributos
Comentarios
La directiva de escalación predeterminada es notificar al depurador adjunto un error de contrato o mostrar un cuadro de diálogo de aserción de si un depurador no está asociado. Opcionalmente, se puede indicar al analizador que inicie una excepción. El parámetro userMessage se pasa a la salida del depurador. Si userMessage no es un literal de cadena constante, es posible que las herramientas no puedan leerla.
