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.Ensures (Boolean, String)

 

Data di pubblicazione: ottobre 2016

Specifica un contratto di postcondizione per una condizione di uscita fornita e un messaggio da visualizzare se la condizione è false.

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

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

Parametri

condition
Type: System.Boolean

Espressione condizionale da sottoporre a test. L'espressione potrebbe includere OldValue<T> e Result<T> valori.

userMessage
Type: System.String

Il messaggio da visualizzare se l'espressione non è true.

Il condition parametro specifica una postcondizione che deve essere true quando il metodo o proprietà contenitore restituisce normalmente.

  • Questa chiamata al metodo deve essere all'inizio di un metodo o proprietà, prima di qualsiasi altro codice.

  • Questo contratto viene esposto al client. Pertanto, deve solo i membri di riferimento che sono visibili almeno quanto il metodo contenitore.

  • È necessario utilizzare il rewriter binario (disponibile all'indirizzo Code Contracts sul sito DevLabs Web di MSDN) per l'applicazione in fase di esecuzione di questa postcondizione.

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

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: