Partage via


System.Diagnostics.Contracts Espace de noms

Contient des classes statiques pour la représentation des contrats de programme telles que les conditions préalables, post-conditions et invariants.

Classes

Contract

Contient des méthodes statiques pour représenter des contrats de programme tels que conditions préalables, post-conditions et invariants objet.

ContractAbbreviatorAttribute

Définit des abréviations que vous pouvez utiliser à la place de la syntaxe complète de contrat.

ContractArgumentValidatorAttribute

Active la factorisation du code if-then-throw hérité dans des méthodes distinctes pour la réutilisation, et fournit un contrôle total sur les exceptions et les arguments levés.

ContractClassAttribute

Spécifie qu'un type séparé contient les contrats de code pour ce type.

ContractClassForAttribute

Spécifie qu'une classe est un contrat pour un type.

ContractFailedEventArgs

Fournit des méthodes et des données pour l'événement ContractFailed.

ContractInvariantMethodAttribute

Marque une méthode comme étant la méthode indifférente pour une classe.

ContractOptionAttribute

Permet de définir un contrat et des options d'outil pour la granularité d'assembly, de type ou de méthode.

ContractPublicPropertyNameAttribute

Spécifie qu'un champ peut être utilisé dans les contrats de méthode lorsque le champ a moins de visibilité que la méthode.

ContractReferenceAssemblyAttribute

Spécifie qu'un assembly est un assembly de référence qui contient des contrats.

ContractRuntimeIgnoredAttribute

Identifie un membre qui n'a aucun comportement au moment de l'exécution.

ContractVerificationAttribute

Indique aux outils d'analyse de considérer qu'un assembly, un type ou un membre est correct sans exécuter de vérification statique.

PureAttribute

Indique qu'un type ou une méthode est pur(e), autrement dit qu'il ou elle n'apporte aucune modification d'état visible.

Énumérations

ContractFailureKind

Spécifie le type de contrat qui a échoué.