Condividi tramite


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.