Questo articolo è stato tradotto automaticamente. Per visualizzare l'articolo in inglese, selezionare la casella di controllo Inglese. È possibile anche visualizzare il testo inglese in una finestra popup posizionando il puntatore del mouse sopra il testo.
Traduzione
Inglese

Metodo Contract.Assume (Boolean, String)

 

Data di pubblicazione: ottobre 2016

Indica agli strumenti di analisi codice di presumere che una condizione sia true, anche se non è possibile provare staticamente che sia sempre true, e viene visualizzato un messaggio se l'ipotesi ha esito negativo.

Spazio dei nomi:   System.Diagnostics.Contracts
Assembly:  mscorlib (in mscorlib.dll)

[ConditionalAttribute("DEBUG")]
[ConditionalAttribute("CONTRACTS_FULL")]
public static void Assume(
	bool condition,
	string userMessage
)

Parametri

condition
Type: System.Boolean

L'espressione condizionale può assumere true.

userMessage
Type: System.String

Messaggio da inserire se l'ipotesi ha esito negativo.

Se userMessage non è una costante stringa letterale, il contratto non può essere compresa da strumenti.

In fase di esecuzione, questo metodo è equivalente all'utilizzo di Assert(Boolean, String) metodo.

Universal Windows Platform
Disponibile da 8
.NET Framework
Disponibile da 4.0
Libreria di classi portabile
Supportato in: piattaforme .NET portabili
Silverlight
Disponibile da 4.0
Windows Phone Silverlight
Disponibile da 8.0
Windows Phone
Disponibile da 8.1
Torna all'inizio
Mostra: