System.Diagnostics.Contracts Spazio dei nomi

Contiene le classi statiche per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti.

Classi

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

Enumerazioni

ContractFailureKind

Specifica il tipo di contratto che non è riuscito.