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

Classe Contract

Contiene metodi statici per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti dell'oggetto.

System.Object
  System.Diagnostics.Contracts.Contract

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

public static class Contract

Il tipo Contract espone i seguenti membri.

  NomeDescrizione
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreAssert(Boolean)Controlla una condizione. Se la condizione è false, seguono i criteri di escalation impostati per l'analizzatore.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreAssert(Boolean, String)Controlla una condizione. Se la condizione è false, seguono i criteri di escalation impostati dall'analizzatore e viene visualizzato un messaggio specificato.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreAssume(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 pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreAssume(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 pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreEndContractBlockContrassegna la fine della sezione del contratto quando i contratti di un metodo contengono solo precondizioni nel formato if-then-throw.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreEnsures(Boolean)Specifica un contratto di postcondizione per il metodo o la proprietà contenitore.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreEnsures(Boolean, String)Specifica un contratto di postcondizione per una condizione di uscita fornita e un messaggio da visualizzare se la condizione è false.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreEnsuresOnThrow<TException>(Boolean)Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreEnsuresOnThrow<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 pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreExists(Int32, Int32, Predicate<Int32>)Determina se un test specificato è true per qualsiasi Integer all'interno di un intervallo di Integer.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreExists<T>(IEnumerable<T>, Predicate<T>)Determina se un elemento all'interno di una raccolta di elementi esiste all'interno di una funzione.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreForAll(Int32, Int32, Predicate<Int32>)Determina se una particolare condizione è valida per tutti gli Integer in un intervallo specificato.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreForAll<T>(IEnumerable<T>, Predicate<T>)Determina se tutti gli elementi all'interno di una raccolta esistono all'interno di una funzione.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreInvariant(Boolean)Specifica un contratto invariante per il metodo o la proprietà contenitore.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreInvariant(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 pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreOldValue<T>Rappresenta i valori come se fossero all'inizio di un metodo o di una proprietà.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreRequires(Boolean)Specifica un contratto di precondizione per il metodo o la proprietà contenitore.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreRequires(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 pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreRequires<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 pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreRequires<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 pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreResult<T>Rappresenta il valore restituito di un metodo o di una proprietà.
Metodo pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreValueAtReturn<T>Rappresenta il valore finale (output) di un parametro out in caso di restituzione da un metodo.
In alto

  NomeDescrizione
Evento pubblicoMembro staticoSupportato da Libreria di classi portabileSupportato in .NET per applicazioni Windows StoreContractFailedSi verifica quando un contratto non riesce.
In alto

Le classi del contratto di codice consentono di specificare precondizioni, postcondizioni e invarianti di oggetto nel codice. Le precondizioni sono requisiti da soddisfare quando si accede a un metodo o una proprietà. Le postcondizioni descrivono le aspettative al momento dell'uscita dal codice del metodo o della proprietà. Le invarianti dell'oggetto descrivono lo stato previsto di una classe che non ha problemi di condizione. Per ulteriori informazioni sulle precondizioni, postcondizioni e sugli invarianti degli oggetti, vedere Contratti di codice (la pagina potrebbe essere in inglese).

Per gli strumenti e le istruzioni dettagliate per l'utilizzo dei contratti di codice, vedere Contratti di codice sul sito Web DevLabs di MSDN (la pagina potrebbe essere in inglese).

Nota importanteImportante

È necessario utilizzare un rewriter binario per inserire l'imposizione di runtime di contratti. In caso contrario, i contratti come il metodo Contract.Ensures possono essere solo testati staticamente e non genereranno eccezioni in fase di esecuzione se viene violato un contratto. È possibile scaricare il writer binario CCRewrite da Contratti di codice sul sito Web MSDN DevLabs. CCRewrite contiene un componente aggiuntivo di Visual Studio che consente di attivare in fase di esecuzione un vincolo di contratto dal progetto Proprietà. Il rewriter binario e il componente aggiuntivo di Visual Studio non sono forniti con Visual Studio 2010 o Windows SDK.

.NET Framework

Supportato in: 4.5.2, 4.5.1, 4.5, 4

.NET Framework Client Profile

Supportato in: 4

Libreria di classi portabile

Supportato in: Libreria di classi portabile

.NET per applicazioni Windows Store

Supportato in: Windows 8

.NET per applicazioni Windows Phone

Supportato in: Windows Phone 8, Silverlight 8.1

Windows Phone 8.1, Windows Phone 8, Windows 8.1, Windows Server 2012 R2, Windows 8, Windows Server 2012, Windows 7, Windows Vista SP2, Windows Server 2008 (ruoli di base del server non supportati), Windows Server 2008 R2 (ruoli di base del server supportati con SP1 o versione successiva, Itanium non supportato)

.NET Framework non supporta tutte le versioni di ciascuna piattaforma. Per un elenco delle versioni supportate, vedere Requisiti di sistema di .NET Framework.

Qualsiasi membro static (Shared in Visual Basic) pubblico di questo tipo è thread-safe. I membri di istanza non sono garantiti come thread-safe.

Aggiunte alla community

AGGIUNGI
Mostra:
© 2014 Microsoft