Esporta (0) Stampa
Espandi tutto
Il presente articolo è stato tradotto automaticamente. Passare il puntatore sulle frasi nell'articolo per visualizzare il testo originale. Ulteriori informazioni.
Traduzione
Originale

Metodi Contract

Il tipo Contract espone i seguenti membri.

  Nome Descrizione
Metodo pubblico Membro statico Assert(Boolean) Controlla una condizione. Se la condizione è false, seguono i criteri di escalation impostati per l'analizzatore.
Metodo pubblico Membro statico Assert(Boolean, String) Controlla una condizione. Se la condizione è false, seguono i criteri di escalation impostati dall'analizzatore e viene visualizzato un messaggio specificato.
Metodo pubblico Membro statico 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.
Metodo pubblico Membro statico 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.
Metodo pubblico Membro statico EndContractBlock Contrassegna la fine della sezione del contratto quando i contratti di un metodo contengono solo precondizioni nel formato if-then-throw.
Metodo pubblico Membro statico Ensures(Boolean) Specifica un contratto di postcondizione per il metodo o la proprietà contenitore.
Metodo pubblico Membro statico Ensures(Boolean, String) Specifica un contratto di postcondizione per una condizione di uscita fornita e un messaggio da visualizzare se la condizione è false.
Metodo pubblico Membro statico EnsuresOnThrow<TException>(Boolean) Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.
Metodo pubblico Membro statico EnsuresOnThrow<TException>(Boolean, String) Specifica un contratto di postcondizione e un messaggio da visualizzare se la condizione è false per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.
Metodo pubblico Membro statico Exists(Int32, Int32, Predicate<Int32>) Determina se un test specificato è true per qualsiasi Integer all'interno di un intervallo di Integer.
Metodo pubblico Membro statico Exists<T>(IEnumerable<T>, Predicate<T>) Determina se un elemento all'interno di una raccolta di elementi esiste all'interno di una funzione.
Metodo pubblico Membro statico ForAll(Int32, Int32, Predicate<Int32>) Determina se una particolare condizione è valida per tutti gli Integer in un intervallo specificato.
Metodo pubblico Membro statico ForAll<T>(IEnumerable<T>, Predicate<T>) Determina se tutti gli elementi all'interno di una raccolta esistono all'interno di una funzione.
Metodo pubblico Membro statico Invariant(Boolean) Specifica un contratto invariante per il metodo o la proprietà contenitore.
Metodo pubblico Membro statico Invariant(Boolean, String) Specifica un contratto invariante per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto ha esito negativo.
Metodo pubblico Membro statico OldValue<T> Rappresenta i valori come se fossero all'inizio di un metodo o di una proprietà.
Metodo pubblico Membro statico Requires(Boolean) Specifica un contratto di precondizione per il metodo o la proprietà contenitore.
Metodo pubblico Membro statico Requires(Boolean, String) Specifica un contratto di precondizione per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto non riesce.
Metodo pubblico Membro statico Requires<TException>(Boolean) Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione se la condizione per il contratto non riesce.
Metodo pubblico Membro statico Requires<TException>(Boolean, String) Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione con il messaggio fornito se la condizione per il contratto non riesce.
Metodo pubblico Membro statico Result<T> Rappresenta il valore restituito di un metodo o di una proprietà.
Metodo pubblico Membro statico ValueAtReturn<T> Rappresenta il valore finale (output) di un parametro out in caso di restituzione da un metodo.
In alto

Aggiunte alla community

AGGIUNGI
Microsoft sta conducendo un sondaggio in linea per comprendere l'opinione degli utenti in merito al sito Web di MSDN. Se si sceglie di partecipare, quando si lascia il sito Web di MSDN verrà visualizzato il sondaggio in linea.

Si desidera partecipare?
Mostra:
© 2014 Microsoft