Contract.Assume 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.
Indica agli strumenti di analisi del codice di presupporre che una condizione sia true, anche se non può essere dimostrata in modo statico come truesempre .
Overload
| Nome | Descrizione |
|---|---|
| Assume(Boolean) |
Indica agli strumenti di analisi del codice di presupporre che la condizione specificata sia |
| Assume(Boolean, String) |
Indica agli strumenti di analisi del codice di presupporre che una condizione sia |
Assume(Boolean)
Indica agli strumenti di analisi del codice di presupporre che la condizione specificata sia true, anche se non può essere dimostrata in modo statico come truesempre .
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 -> unitPublic Shared Sub Assume (condition As Boolean)Parametri
- condition
- Boolean
Espressione condizionale da presupporre 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)
Indica agli strumenti di analisi del codice di presupporre che una condizione sia true, anche se non può essere sempre dimostrata truein modo statico e visualizza un messaggio se il presupposto ha esito negativo.
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 -> unitPublic Shared Sub Assume (condition As Boolean, userMessage As String)Parametri
- condition
- Boolean
Espressione condizionale da presupporre true.
- userMessage
- String
Messaggio da pubblicare se il presupposto non riesce.
- 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 .