System.Diagnostics.Contracts

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

Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie pour l'analyseur.

Expression conditionnelle à tester.

Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie par l'analyseur et affiche le message spécifié.

Expression conditionnelle à tester. Message à afficher si la condition n'est pas remplie.

Fait en sorte que les outils d'analyse du code supposent que la condition spécifiée est true, même s'il ne peut pas être prouvé statiquement qu'elle est toujours true.

Expression conditionnelle à supposer comme true.

Fait en sorte que les outils d'analyse du code supposent qu'une condition est true, même s'il ne peut pas être prouvé statiquement qu'elle est toujours true, et affiche un message si l'hypothèse échoue.

Expression conditionnelle à supposer comme true. Message à envoyer si l'hypothèse échoue.

Se produit quand un contrat échoue.

Marque la fin de la section de contrat quand les contrats d'une méthode contiennent uniquement des conditions préalables sous la forme if-then-throw.

Spécifie un contrat de post-condition pour la méthode englobante ou la propriété.

Expression conditionnelle à tester.L'expression peut inclure des valeurs , et .

Spécifie un contrat de post-condition pour une condition de sortie fournie et un message à afficher si la condition est false.

Expression conditionnelle à tester.L'expression peut inclure des valeurs et . Message à afficher si l'expression n'est pas true.

Spécifie un contrat de post-condition pour la méthode englobante ou la propriété en fonction de l'exception et de la condition fournies.

Expression conditionnelle à tester. Type d'exception qui appelle la vérification de post-condition.

Spécifie un contrat de post-condition et un message à afficher si la condition est false pour la méthode englobante ou la propriété, en fonction de l'exception et de la condition fournies.

Expression conditionnelle à tester. Message à afficher si l'expression est false. Type d'exception qui appelle la vérification de post-condition.

Détermine si un élément dans une collection d'éléments existe dans une fonction.

true si et uniquement si retourne la valeur true pour tout élément de type dans . Collection à partir de laquelle des éléments de type seront extraits afin d'être passés à . Fonction à évaluer pour un élément dans . Type contenu dans . or is null.

Détermine si un test spécifié a la valeur True pour un entier figurant dans une plage d'entiers.

true si retourne la valeur true pour tout entier à partir de jusqu'à -1. Premier entier à passer à . Dernier entier à passer à plus un. Fonction à évaluer pour une valeur de l'entier de la plage spécifiée. is null. is less than .

Détermine si tous les éléments dans une collection existent dans une fonction.

true si et uniquement si retourne la valeur true pour tous les éléments de type dans . Collection à partir de laquelle des éléments de type seront extraits afin d'être passés à . Fonction à évaluer pour l'existence de tous les éléments dans . Type contenu dans . or is null.

Détermine si une condition particulière est valide pour tous les entiers d'une étendue spécifiée.

true si retourne la valeur true pour tous les entiers à partir de jusqu'à -1. Premier entier à passer à . Dernier entier à passer à plus un. Fonction à évaluer pour l'existence des entiers dans la plage spécifiée. is null. is less than .

Spécifie un contrat indifférent pour la méthode englobante ou la propriété.

Expression conditionnelle à tester.

Spécifie un contrat indifférent préalable pour la méthode englobante ou la propriété, et affiche un message si la condition pour le contrat échoue.

Expression conditionnelle à tester. Message à afficher si la condition est false.

Représente les valeurs telles qu'elles étaient au démarrage d'une méthode ou d'une propriété.

Valeur du paramètre ou champ au démarrage d'une méthode ou propriété. Valeur à représenter (champ ou paramètre). Type de valeur.

Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et lève une exception si la condition pour le contrat échoue.

Expression conditionnelle à tester. Exception à lever si la condition est false.

Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété.

Expression conditionnelle à tester.

Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et affiche un message si la condition pour le contrat échoue.

Expression conditionnelle à tester. Message à afficher si la condition est false.

Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et lève une exception avec le message fourni si la condition pour le contrat échoue.

Expression conditionnelle à tester. Message à afficher si la condition est false. Exception à lever si la condition est false.

Représente la valeur de retour d'une méthode ou propriété.

Valeur de retour de la méthode englobante ou propriété. Type de valeur de retour de la méthode englobante ou propriété.

Représente la valeur finale (sortie) d'un paramètre out au moment du retour d'une méthode.

Valeur de sortie du paramètre out. Paramètre out. Type du paramètre out.

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

Initialise une nouvelle instance de la classe .

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.

Initialise une nouvelle instance de la classe .

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

Initialise une nouvelle instance de la classe .

Type qui contient les contrats de code pour ce type.

Obtient le type qui contient les contrats de code pour ce type.

Type qui contient les contrats de code pour ce type.

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

Initialise une nouvelle instance de la classe , en spécifiant le type pour lequel la classe actuelle est un contrat.

Type pour lequel la classe actuelle est un contrat.

Obtient le type auquel ce contrat de code s'applique.

Type auquel ce contrat s'applique.

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

Fournit des données pour l'événement .

Une des valeurs d'énumération qui spécifie le contrat ayant échoué. Message pour l'événement. Condition de l'événement. Exception ayant provoqué l'événement.

Obtient la condition de l'échec du contrat.

Condition de l'échec.

Obtient le type de contrat ayant échoué.

Une des valeurs d'énumération qui spécifie le type de contrat ayant échoué.

Indique si l'événement a été géré.

true si l'événement a été géré ; sinon, false.

Obtient le message qui décrit l'événement .

Message qui décrit l'événement.

Obtient l'exception d'origine ayant provoqué l'événement .

Exception ayant provoqué l'événement.

Affecte la valeur true à la propriété .

Indique si la stratégie d'escalade de contrat de code doit être appliquée.

true pour appliquer la stratégie d'escalade ; sinon, false.La valeur par défaut est false.

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

Un contrat a échoué.

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

Initialise une nouvelle instance de la classe .

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

Initialise une nouvelle instance de la classe à l'aide de la catégorie, du paramètre et de la valeur activer/désactiver fournis.

Catégorie de l'option à définir. Paramètre de l'option. true pour activer l'option ; false pour désactiver l'option.

Initialise une nouvelle instance de la classe à l'aide de la catégorie, du paramètre et de la valeur fournis.

Catégorie de l'option à définir. Paramètre de l'option. Valeur pour le paramètre.

Obtient la catégorie de l'option.

Catégorie de l'option.

Détermine si une option est activée.

true si l'option est activée ; sinon false.

Obtient le paramètre pour l'option.

Paramètre de l'option.

Obtient la valeur pour l'option.

Valeur de l'option.

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

Initialise une nouvelle instance de la classe .

Nom de la propriété à appliquer au champ.

Obtient le nom de la propriété à appliquer au champ.

Nom de la propriété à appliquer au champ.

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

Initialise une nouvelle instance de la classe .

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

Initialise une nouvelle instance de la classe .

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

Initialise une nouvelle instance de la classe .

true pour imposer la vérification ; sinon, false.

Obtient la valeur qui indique s'il faut vérifier le contrat de la cible.

true si la vérification est requise ; sinon, false.

Indique qu'un type ou une méthode est pur(e), autrement dit qu'il ou elle n'apporte pas de modifications d'état visibles.

Initialise une nouvelle instance de la classe .

Fournit des méthodes que le module de réécriture binaire utilise pour gérer des échecs de contrats.

Utilisé par le module de réécriture binaire pour activer le comportement d'échec par défaut.

Référence null (Nothing en Visual Basic) si l'événement a été géré et qu'il ne doit pas déclencher d'échec ; sinon, retourne le message d'échec localisé. L'une des valeurs d'énumération qui spécifie le type d'échec. Informations utilisateur supplémentaires. Description de la condition ayant provoqué l'échec. Exception interne ayant provoqué l'exception actuelle. n'est pas une valeur valide.

Déclenche le comportement d'échec par défaut.

L'une des valeurs d'énumération qui spécifie le type d'échec. Message à afficher. Informations utilisateur supplémentaires. Description de la condition ayant provoqué l'échec. Exception interne ayant provoqué l'exception actuelle.