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

Spazio dei nomi System.Diagnostics.Contracts

Lo spazio dei nomi System.Diagnostics.Contracts contiene classi statiche per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti.

  Classe Descrizione
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store Contract Contiene metodi statici per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti dell'oggetto.
Classe pubblica Supportato in .NET per applicazioni Windows Store ContractAbbreviatorAttribute Definisce le abbreviazioni che possono essere utilizzate al posto della sintassi completa del contratto.
Classe pubblica Supportato in .NET per applicazioni Windows Store ContractArgumentValidatorAttribute Consente di scomporre il codice legacy if-then-throw in metodi separati e riutilizzabili. Fornisce il controllo completo su eccezioni ed argomenti generati.
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store ContractClassAttribute Specifica che un tipo separato contiene i contratti di codice per questo tipo.
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store ContractClassForAttribute Specifica che una classe è un contratto per un tipo.
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store ContractFailedEventArgs Fornisce metodi e dati per l'evento Contract.ContractFailed.
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store ContractInvariantMethodAttribute Contrassegna un metodo come metodo invariante per una classe.
Classe pubblica Supportato in .NET per applicazioni Windows Store ContractOptionAttribute Consente di impostare il contratto e le opzioni dello strumento con granularità a livello di assembly, tipo o metodo.
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store ContractPublicPropertyNameAttribute Specifica che un campo può essere utilizzato nei contratti del metodo quando il campo presenta una visibilità inferiore rispetto al metodo.
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store ContractReferenceAssemblyAttribute Specifica che un assembly è un assembly di riferimento che contiene contratti.
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store ContractRuntimeIgnoredAttribute Identifica un membro che non presenta un comportamento in fase di esecuzione.
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store ContractVerificationAttribute Indica agli strumenti di analisi di presumere la correttezza di un assembly, tipo o membro senza verificarlo staticamente.
Classe pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store PureAttribute Indica che un tipo o un metodo è puro, ovvero non effettua modifiche visibili dello stato.

  Enumerazione Descrizione
Enumerazione pubblica Supportato da Libreria di classi portabile Supportato in .NET per applicazioni Windows Store ContractFailureKind Specifica il tipo di contratto che non è riuscito.

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:
© 2015 Microsoft