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é.