System.Diagnostics.Contracts Espace de noms

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

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

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.

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

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

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

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

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

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.

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

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

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.

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

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