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 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 |
| Assume(Boolean, String) |
Indica agli strumenti di analisi del codice di presumere che una condizione sia |
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 -> unitPublic 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 -> unitPublic 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 .
