Contract.Assume Metodo

Definizione

Spazio dei nomi:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Indica agli strumenti di analisi del codice di presumere che una condizione sia true, anche se non è possibile provare staticamente che sia sempre true.

Overload

Assume(Boolean)	Indica agli strumenti di analisi del codice di presumere che la condizione specificata sia true, anche se non è possibile provare staticamente che sia sempre true.
Assume(Boolean, String)	Indica agli strumenti di analisi del codice di presumere che una condizione sia true, anche se non è possibile provare staticamente che sia sempre true. Viene visualizzato un messaggio se l'ipotesi non riesce.

Assume(Boolean)

Origine:

Contracts.cs

Indica agli strumenti di analisi del codice di presumere che la condizione specificata sia true, anche se non è possibile provare staticamente che sia sempre true.

public:
 static void Assume(bool condition);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool -> unit

Public Shared Sub Assume (condition As Boolean)

Parametri

condition

Boolean

Espressione condizionale da presumere che sia true.

Attributi

ConditionalAttribute

Commenti

In fase di esecuzione, l'uso di questo metodo equivale all'uso del Assert(Boolean) metodo .

Assume(Boolean, String)

Origine:

Contracts.cs

Indica agli strumenti di analisi del codice di presumere che una condizione sia true, anche se non è possibile provare staticamente che sia sempre true. Viene visualizzato un messaggio se l'ipotesi non riesce.

public:
 static void Assume(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool * string -> unit

Public Shared Sub Assume (condition As Boolean, userMessage As String)

Parametri

condition

Boolean

Espressione condizionale da presumere che sia true.

userMessage

String

Messaggio da inserire se l'ipotesi ha esito negativo.

Attributi

ConditionalAttribute

Commenti

Se userMessage non è un valore letterale stringa costante, il contratto potrebbe non essere compreso dagli strumenti.

In fase di esecuzione, l'uso di questo metodo equivale all'uso del Assert(Boolean, String) metodo .