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

Metodi Contract

 

Data di pubblicazione: ottobre 2016

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

NomeDescrizione
System_CAPS_pubmethodSystem_CAPS_staticAssert(Boolean)

Verifica una condizione. Se la condizione è false, segue i criteri di escalation impostati per l'analizzatore.

System_CAPS_pubmethodSystem_CAPS_staticAssert(Boolean, String)

Verifica una condizione. Se la condizione è false, segue i criteri di escalation impostati dall'analizzatore e visualizza il messaggio specificato.

System_CAPS_pubmethodSystem_CAPS_staticAssume(Boolean)

Indica agli strumenti di analisi codice di presumere che la condizione specificata sia true, anche se non è possibile provare staticamente che sia sempre true.

System_CAPS_pubmethodSystem_CAPS_staticAssume(Boolean, String)

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.

System_CAPS_pubmethodSystem_CAPS_staticEndContractBlock()

Contrassegna la fine della sezione del contratto quando i contratti del metodo contengono solo precondizioni nel if-then-throw form.

System_CAPS_pubmethodSystem_CAPS_staticEnsures(Boolean)

Specifica un contratto di postcondizione per il metodo o la proprietà contenitore.

System_CAPS_pubmethodSystem_CAPS_staticEnsures(Boolean, String)

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

System_CAPS_pubmethodSystem_CAPS_staticEnsuresOnThrow<TException>(Boolean)

Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.

System_CAPS_pubmethodSystem_CAPS_staticEnsuresOnThrow<TException>(Boolean, String)

Specifica un contratto di postcondizione e un messaggio da visualizzare se la condizione è false per il metodo o proprietà contenitore, in base all'eccezione fornito e alla condizione.

System_CAPS_pubmethodSystem_CAPS_staticExists(Int32, Int32, Predicate<Int32>)

Determina se un test specificato è true per qualsiasi Integer all'interno di un intervallo di Integer.

System_CAPS_pubmethodSystem_CAPS_staticExists<T>(IEnumerable<T>, Predicate<T>)

Determina se un elemento all'interno di una raccolta di elementi esiste all'interno di una funzione.

System_CAPS_pubmethodSystem_CAPS_staticForAll(Int32, Int32, Predicate<Int32>)

Determina se una particolare condizione è valida per tutti gli Integer in un intervallo specificato.

System_CAPS_pubmethodSystem_CAPS_staticForAll<T>(IEnumerable<T>, Predicate<T>)

Determina se tutti gli elementi all'interno di una raccolta esistono all'interno di una funzione.

System_CAPS_pubmethodSystem_CAPS_staticInvariant(Boolean)

Specifica un contratto invariante per il metodo o proprietà contenitore.

System_CAPS_pubmethodSystem_CAPS_staticInvariant(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.

System_CAPS_pubmethodSystem_CAPS_staticOldValue<T>(T)

Rappresenta i valori come se fossero all'inizio di un metodo o di una proprietà.

System_CAPS_pubmethodSystem_CAPS_staticRequires(Boolean)

Specifica un contratto di precondizione per il metodo o la proprietà contenitore.

System_CAPS_pubmethodSystem_CAPS_staticRequires(Boolean, String)

Specifica un contratto di precondizione per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto ha esito negativo.

System_CAPS_pubmethodSystem_CAPS_staticRequires<TException>(Boolean)

Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione se la condizione per il contratto ha esito negativo.

System_CAPS_pubmethodSystem_CAPS_staticRequires<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 ha esito negativo.

System_CAPS_pubmethodSystem_CAPS_staticResult<T>()

Rappresenta il valore restituito di un metodo o di una proprietà.

System_CAPS_pubmethodSystem_CAPS_staticValueAtReturn<T>(T)

Rappresenta il valore finale (output) di un out parametro per la restituzione da un metodo.

Torna all'inizio
Mostra: