Contract.Assert Metodo

Definizione

Spazio dei nomi:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Nelle build di debug, esegue un test della fase di esecuzione per una condizione specificata.

Overload

Assert(Boolean)	Controlla una condizione. Se la condizione è false, seguono i criteri di escalation impostati per l'analizzatore.
Assert(Boolean, String)	Controlla una condizione. Se la condizione è false, seguono i criteri di escalation impostati dall'analizzatore e viene visualizzato un messaggio specificato.

Assert(Boolean)

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 -> unit

Public Shared Sub Assert (condition As Boolean)

Parametri

condition

Boolean

Espressione condizionale da sottoporre a test.

Attributi

ConditionalAttribute

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.

Assert(Boolean, String)

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")>]
static member Assert : bool * string -> unit

Public 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

ConditionalAttribute

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.