System.Diagnostics.Contracts Spazio dei nomi

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

Definisce le abbreviazioni che possono essere utilizzate al posto della sintassi completa del contratto.

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.

Specifica che un tipo separato contiene i contratti di codice per questo tipo.

Specifica che una classe è un contratto per un tipo.

Fornisce metodi e dati per l'evento ContractFailed.

Contrassegna un metodo come metodo invariante per una classe.

Consente di impostare il contratto e le opzioni dello strumento con granularità a livello di assembly, tipo o metodo.

Specifica che un campo può essere usato nei contratti del metodo quando il campo presenta una visibilità inferiore rispetto al metodo.

Specifica che un assembly è un assembly di riferimento che contiene contratti.

Identifica un membro che non presenta un comportamento in fase di esecuzione.

Indica agli strumenti di analisi di presumere la correttezza di un assembly, un tipo o un membro senza eseguire una verifica statica.

Indica che un tipo o un metodo è puro, ovvero non effettua modifiche visibili dello stato.

Specifica il tipo di contratto che non è riuscito.