Contract.Assert Metodo
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Nelle build di debug, esegue un test della fase di esecuzione per una condizione specificata.
Overload
| Assert(Boolean) |
Controlla una condizione. Se la condizione è |
| Assert(Boolean, String) |
Controlla una condizione. Se la condizione è |
Assert(Boolean)
- Origine:
- Contracts.cs
- Origine:
- Contracts.cs
- Origine:
- Contracts.cs
Controlla una condizione. Se la condizione è false, seguono i criteri di escalation impostati per l'analizzatore.
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)Parametri
- condition
- Boolean
Espressione condizionale da sottoporre a test.
- Attributi
Commenti
Il criterio di escalation predefinito consiste nel notificare al debugger collegato un errore del contratto o visualizzare una finestra di dialogo Assert se un debugger non è collegato. Facoltativamente, è possibile invitare l'analizzatore a generare un'eccezione.
Si applica a
Assert(Boolean, String)
- Origine:
- Contracts.cs
- Origine:
- Contracts.cs
- Origine:
- Contracts.cs
Controlla una condizione. Se la condizione è false, seguono i criteri di escalation impostati dall'analizzatore e viene visualizzato un messaggio specificato.
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)Parametri
- condition
- Boolean
Espressione condizionale da sottoporre a test.
- userMessage
- String
Messaggio da visualizzare se la condizione non è soddisfatta.
- Attributi
Commenti
Il criterio di escalation predefinito consiste nel notificare al debugger collegato un errore del contratto o visualizzare una finestra di dialogo Assert se un debugger non è collegato. Facoltativamente, è possibile invitare l'analizzatore a generare un'eccezione. Il userMessage parametro viene passato all'output del debugger. Se userMessage non è un valore letterale stringa costante, gli strumenti potrebbero non essere in grado di leggerlo.
