Condividi tramite


Contract.Assume Metodo

Definizione

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
Origine:
Contracts.cs
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

Commenti

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

Si applica a

Assume(Boolean, String)

Origine:
Contracts.cs
Origine:
Contracts.cs
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")]
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

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 .

Si applica a