System.Diagnostics.Contracts Spazio dei nomi

Lo spazio dei nomi System.Diagnostics.Contracts contiene classi statiche per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti. The System.Diagnostics.Contracts namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.

Classi

Contract

Contiene metodi statici per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti dell'oggetto.Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants.

ContractAbbreviatorAttribute

Definisce le abbreviazioni che possono essere utilizzate al posto della sintassi completa del contratto.Defines abbreviations that you can use in place of the full contract syntax.

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.Enables the factoring of legacy if-then-throw code into separate methods for reuse, and provides full control over thrown exceptions and arguments.

ContractClassAttribute

Specifica che un tipo separato contiene i contratti di codice per questo tipo.Specifies that a separate type contains the code contracts for this type.

ContractClassForAttribute

Specifica che una classe è un contratto per un tipo.Specifies that a class is a contract for a type.

ContractFailedEventArgs

Fornisce metodi e dati per l'evento ContractFailed.Provides methods and data for the ContractFailed event.

ContractInvariantMethodAttribute

Contrassegna un metodo come metodo invariante per una classe.Marks a method as being the invariant method for a class.

ContractOptionAttribute

Consente di impostare il contratto e le opzioni dello strumento con granularità a livello di assembly, tipo o metodo.Enables you to set contract and tool options at assembly, type, or method granularity.

ContractPublicPropertyNameAttribute

Specifica che un campo può essere usato nei contratti del metodo quando il campo presenta una visibilità inferiore rispetto al metodo.Specifies that a field can be used in method contracts when the field has less visibility than the method.

ContractReferenceAssemblyAttribute

Specifica che un assembly è un assembly di riferimento che contiene contratti.Specifies that an assembly is a reference assembly that contains contracts.

ContractRuntimeIgnoredAttribute

Identifica un membro che non presenta un comportamento in fase di esecuzione.Identifies a member that has no run-time behavior.

ContractVerificationAttribute

Indica agli strumenti di analisi di presumere la correttezza di un assembly, un tipo o un membro senza eseguire una verifica statica.Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

PureAttribute

Indica che un tipo o un metodo è puro, ovvero non effettua modifiche visibili dello stato.Indicates that a type or method is pure, that is, it does not make any visible state changes.

Enumerazioni

ContractFailureKind

Specifica il tipo di contratto che non è riuscito.Specifies the type of contract that failed.