System.Diagnostics.Contracts Espace de noms

Contient des méthodes statiques pour représenter des contrats de programme tels que les conditions préalables, les postconditions et les invariants d’objet.

Définit les abréviations que vous pouvez utiliser à la place de la syntaxe de contrat complet.

Permet de factoriser le code de if-then-throw hérité en méthodes distinctes pour la réutilisation et fournit un contrôle total sur les exceptions et arguments levées.

Spécifie qu’un type distinct 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 invariante d’une classe.

Vous permet de définir des options de contrat et d’outil au niveau de l’assembly, du type ou de la granularité 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 d’exécution.

Indique aux outils d’analyse de supposer la justesse d’un assembly, d’un type ou d’un membre sans effectuer de vérification statique.

Indique qu’un type ou une méthode est pur, c’est-à-dire qu’il n’apporte aucune modification d’état visible.

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