Tools/dotnetcli/sdk/NuGetFallbackFolder/system.diagnostics.contracts/4.3.0/ref/netstandard1.0/fr/System.Diagnostics.Contracts.xml

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <doc>
   3   <assembly>
   4     <name>System.Diagnostics.Contracts</name>
   5   </assembly>
   6   <members>
   7     <member name="T:System.Diagnostics.Contracts.Contract">
   8       <summary>Contient des méthodes statiques pour représenter des contrats de programme tels que conditions préalables, post-conditions et invariants objet.</summary>
   9     </member>
  10     <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
  11       <summary>Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie pour l'analyseur.</summary>
  12       <param name="condition">Expression conditionnelle à tester.</param>
  13     </member>
  14     <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
  15       <summary>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é.</summary>
  16       <param name="condition">Expression conditionnelle à tester.</param>
  17       <param name="userMessage">Message à afficher si la condition n'est pas remplie.</param>
  18     </member>
  19     <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
  20       <summary>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.</summary>
  21       <param name="condition">Expression conditionnelle à supposer comme true.</param>
  22     </member>
  23     <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
  24       <summary>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.</summary>
  25       <param name="condition">Expression conditionnelle à supposer comme true.</param>
  26       <param name="userMessage">Message à envoyer si l'hypothèse échoue.</param>
  27     </member>
  28     <member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
  29       <summary>Se produit quand un contrat échoue.</summary>
  30     </member>
  31     <member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
  32       <summary>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.</summary>
  33     </member>
  34     <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
  35       <summary>Spécifie un contrat de post-condition pour la méthode englobante ou la propriété.</summary>
  36       <param name="condition">Expression conditionnelle à tester.L'expression peut inclure des valeurs <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> et <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
  37     </member>
  38     <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
  39       <summary>Spécifie un contrat de post-condition pour une condition de sortie fournie et un message à afficher si la condition est false.</summary>
  40       <param name="condition">Expression conditionnelle à tester.L'expression peut inclure des valeurs <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> et <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
  41       <param name="userMessage">Message à afficher si l'expression n'est pas true.</param>
  42     </member>
  43     <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
  44       <summary>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.</summary>
  45       <param name="condition">Expression conditionnelle à tester.</param>
  46       <typeparam name="TException">Type d'exception qui appelle la vérification de post-condition.</typeparam>
  47     </member>
  48     <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
  49       <summary>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.</summary>
  50       <param name="condition">Expression conditionnelle à tester.</param>
  51       <param name="userMessage">Message à afficher si l'expression est false.</param>
  52       <typeparam name="TException">Type d'exception qui appelle la vérification de post-condition.</typeparam>
  53     </member>
  54     <member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
  55       <summary>Détermine si un élément dans une collection d'éléments existe dans une fonction.</summary>
  56       <returns>true si et uniquement si <paramref name="predicate" /> retourne la valeur true pour tout élément de type <paramref name="T" /> dans <paramref name="collection" />.</returns>
  57       <param name="collection">Collection à partir de laquelle des éléments de type <paramref name="T" /> seront extraits afin d'être passés à <paramref name="predicate" />.</param>
  58       <param name="predicate">Fonction à évaluer pour un élément dans <paramref name="collection" />.</param>
  59       <typeparam name="T">Type contenu dans <paramref name="collection" />.</typeparam>
  60       <exception cref="T:System.ArgumentNullException">
  61         <paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
  62     </member>
  63     <member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
  64       <summary>Détermine si un test spécifié a la valeur True pour un entier figurant dans une plage d'entiers.</summary>
  65       <returns>true si <paramref name="predicate" /> retourne la valeur true pour tout entier à partir de <paramref name="fromInclusive" /> jusqu'à <paramref name="toExclusive" /> -1.</returns>
  66       <param name="fromInclusive">Premier entier à passer à <paramref name="predicate" />.</param>
  67       <param name="toExclusive">Dernier entier à passer à <paramref name="predicate" /> plus un.</param>
  68       <param name="predicate">Fonction à évaluer pour une valeur de l'entier de la plage spécifiée.</param>
  69       <exception cref="T:System.ArgumentNullException">
  70         <paramref name="predicate" /> is null.</exception>
  71       <exception cref="T:System.ArgumentException">
  72         <paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
  73     </member>
  74     <member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
  75       <summary>Détermine si tous les éléments dans une collection existent dans une fonction.</summary>
  76       <returns>true si et uniquement si <paramref name="predicate" /> retourne la valeur true pour tous les éléments de type <paramref name="T" /> dans <paramref name="collection" />.</returns>
  77       <param name="collection">Collection à partir de laquelle des éléments de type <paramref name="T" /> seront extraits afin d'être passés à <paramref name="predicate" />.</param>
  78       <param name="predicate">Fonction à évaluer pour l'existence de tous les éléments dans <paramref name="collection" />.</param>
  79       <typeparam name="T">Type contenu dans <paramref name="collection" />.</typeparam>
  80       <exception cref="T:System.ArgumentNullException">
  81         <paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
  82     </member>
  83     <member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
  84       <summary>Détermine si une condition particulière est valide pour tous les entiers d'une étendue spécifiée.</summary>
  85       <returns>true si <paramref name="predicate" /> retourne la valeur true pour tous les entiers à partir de <paramref name="fromInclusive" /> jusqu'à <paramref name="toExclusive" /> -1.</returns>
  86       <param name="fromInclusive">Premier entier à passer à <paramref name="predicate" />.</param>
  87       <param name="toExclusive">Dernier entier à passer à <paramref name="predicate" /> plus un.</param>
  88       <param name="predicate">Fonction à évaluer pour l'existence des entiers dans la plage spécifiée.</param>
  89       <exception cref="T:System.ArgumentNullException">
  90         <paramref name="predicate" /> is null.</exception>
  91       <exception cref="T:System.ArgumentException">
  92         <paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
  93     </member>
  94     <member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
  95       <summary>Spécifie un contrat indifférent pour la méthode englobante ou la propriété. </summary>
  96       <param name="condition">Expression conditionnelle à tester.</param>
  97     </member>
  98     <member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
  99       <summary>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.</summary>
 100       <param name="condition">Expression conditionnelle à tester.</param>
 101       <param name="userMessage">Message à afficher si la condition est false.</param>
 102     </member>
 103     <member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
 104       <summary>Représente les valeurs telles qu'elles étaient au démarrage d'une méthode ou d'une propriété.</summary>
 105       <returns>Valeur du paramètre ou champ au démarrage d'une méthode ou propriété.</returns>
 106       <param name="value">Valeur à représenter (champ ou paramètre).</param>
 107       <typeparam name="T">Type de valeur.</typeparam>
 108     </member>
 109     <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
 110       <summary>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.</summary>
 111       <param name="condition">Expression conditionnelle à tester.</param>
 112       <typeparam name="TException">Exception à lever si la condition est false.</typeparam>
 113     </member>
 114     <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
 115       <summary>Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété.</summary>
 116       <param name="condition">Expression conditionnelle à tester.</param>
 117     </member>
 118     <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
 119       <summary>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.</summary>
 120       <param name="condition">Expression conditionnelle à tester.</param>
 121       <param name="userMessage">Message à afficher si la condition est false.</param>
 122     </member>
 123     <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
 124       <summary>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.</summary>
 125       <param name="condition">Expression conditionnelle à tester.</param>
 126       <param name="userMessage">Message à afficher si la condition est false.</param>
 127       <typeparam name="TException">Exception à lever si la condition est false.</typeparam>
 128     </member>
 129     <member name="M:System.Diagnostics.Contracts.Contract.Result``1">
 130       <summary>Représente la valeur de retour d'une méthode ou propriété.</summary>
 131       <returns>Valeur de retour de la méthode englobante ou propriété.</returns>
 132       <typeparam name="T">Type de valeur de retour de la méthode englobante ou propriété.</typeparam>
 133     </member>
 134     <member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
 135       <summary>Représente la valeur finale (sortie) d'un paramètre out au moment du retour d'une méthode.</summary>
 136       <returns>Valeur de sortie du paramètre out.</returns>
 137       <param name="value">Paramètre out.</param>
 138       <typeparam name="T">Type du paramètre out.</typeparam>
 139     </member>
 140     <member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
 141       <summary>Définit des abréviations que vous pouvez utiliser à la place de la syntaxe complète de contrat.</summary>
 142     </member>
 143     <member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
 144       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" />.</summary>
 145     </member>
 146     <member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
 147       <summary>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.</summary>
 148     </member>
 149     <member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
 150       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" />.</summary>
 151     </member>
 152     <member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
 153       <summary>Spécifie qu'un type séparé contient les contrats de code pour ce type.</summary>
 154     </member>
 155     <member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
 156       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" />. </summary>
 157       <param name="typeContainingContracts">Type qui contient les contrats de code pour ce type.</param>
 158     </member>
 159     <member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
 160       <summary>Obtient le type qui contient les contrats de code pour ce type.</summary>
 161       <returns>Type qui contient les contrats de code pour ce type. </returns>
 162     </member>
 163     <member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
 164       <summary>Spécifie qu'une classe est un contrat pour un type.</summary>
 165     </member>
 166     <member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
 167       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" />, en spécifiant le type pour lequel la classe actuelle est un contrat. </summary>
 168       <param name="typeContractsAreFor">Type pour lequel la classe actuelle est un contrat.</param>
 169     </member>
 170     <member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
 171       <summary>Obtient le type auquel ce contrat de code s'applique. </summary>
 172       <returns>Type auquel ce contrat s'applique.</returns>
 173     </member>
 174     <member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
 175       <summary>Fournit des méthodes et des données pour l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 176     </member>
 177     <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
 178       <summary>Fournit des données pour l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 179       <param name="failureKind">Une des valeurs d'énumération qui spécifie le contrat ayant échoué.</param>
 180       <param name="message">Message pour l'événement.</param>
 181       <param name="condition">Condition de l'événement.</param>
 182       <param name="originalException">Exception ayant provoqué l'événement.</param>
 183     </member>
 184     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
 185       <summary>Obtient la condition de l'échec du contrat.</summary>
 186       <returns>Condition de l'échec.</returns>
 187     </member>
 188     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
 189       <summary>Obtient le type de contrat ayant échoué.</summary>
 190       <returns>Une des valeurs d'énumération qui spécifie le type de contrat ayant échoué.</returns>
 191     </member>
 192     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
 193       <summary>Indique si l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> a été géré.</summary>
 194       <returns>true si l'événement a été géré ; sinon, false. </returns>
 195     </member>
 196     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
 197       <summary>Obtient le message qui décrit l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 198       <returns>Message qui décrit l'événement.</returns>
 199     </member>
 200     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
 201       <summary>Obtient l'exception d'origine ayant provoqué l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 202       <returns>Exception ayant provoqué l'événement.</returns>
 203     </member>
 204     <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
 205       <summary>Affecte la valeur true à la propriété <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" />.</summary>
 206     </member>
 207     <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
 208       <summary>Affecte la valeur true à la propriété <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" />.</summary>
 209     </member>
 210     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
 211       <summary>Indique si la stratégie d'escalade de contrat de code doit être appliquée.</summary>
 212       <returns>true pour appliquer la stratégie d'escalade ; sinon, false.La valeur par défaut est false.</returns>
 213     </member>
 214     <member name="T:System.Diagnostics.Contracts.ContractFailureKind">
 215       <summary>Spécifie le type de contrat qui a échoué. </summary>
 216     </member>
 217     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
 218       <summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> a échoué.</summary>
 219     </member>
 220     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
 221       <summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> a échoué.</summary>
 222     </member>
 223     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
 224       <summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> a échoué.</summary>
 225     </member>
 226     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
 227       <summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> a échoué. </summary>
 228     </member>
 229     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
 230       <summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> a échoué.</summary>
 231     </member>
 232     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
 233       <summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> a échoué.</summary>
 234     </member>
 235     <member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
 236       <summary>Marque une méthode comme étant la méthode indifférente pour une classe.</summary>
 237     </member>
 238     <member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
 239       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" />. </summary>
 240     </member>
 241     <member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
 242       <summary>Permet de définir un contrat et des options d'outil pour la granularité d'assembly, de type ou de méthode.</summary>
 243     </member>
 244     <member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
 245       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> à l'aide de la catégorie, du paramètre et de la valeur activer/désactiver fournis.</summary>
 246       <param name="category">Catégorie de l'option à définir.</param>
 247       <param name="setting">Paramètre de l'option.</param>
 248       <param name="enabled">true pour activer l'option ; false pour désactiver l'option.</param>
 249     </member>
 250     <member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
 251       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> à l'aide de la catégorie, du paramètre et de la valeur fournis.</summary>
 252       <param name="category">Catégorie de l'option à définir.</param>
 253       <param name="setting">Paramètre de l'option.</param>
 254       <param name="value">Valeur pour le paramètre.</param>
 255     </member>
 256     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
 257       <summary>Obtient la catégorie de l'option.</summary>
 258       <returns>Catégorie de l'option.</returns>
 259     </member>
 260     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
 261       <summary>Détermine si une option est activée.</summary>
 262       <returns>true si l'option est activée ; sinon false.</returns>
 263     </member>
 264     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
 265       <summary>Obtient le paramètre pour l'option.</summary>
 266       <returns>Paramètre de l'option.</returns>
 267     </member>
 268     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
 269       <summary>Obtient la valeur pour l'option.</summary>
 270       <returns>Valeur de l'option.</returns>
 271     </member>
 272     <member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
 273       <summary>Indique qu'un champ peut être utilisé dans les contrats de méthode lorsque le champ a moins de visibilité que la méthode. </summary>
 274     </member>
 275     <member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
 276       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" />. </summary>
 277       <param name="name">Nom de la propriété à appliquer au champ.</param>
 278     </member>
 279     <member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
 280       <summary>Obtient le nom de la propriété à appliquer au champ.</summary>
 281       <returns>Nom de la propriété à appliquer au champ.</returns>
 282     </member>
 283     <member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
 284       <summary>Spécifie qu'un assembly est un assembly de référence qui contient des contrats.</summary>
 285     </member>
 286     <member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
 287       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" />. </summary>
 288     </member>
 289     <member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
 290       <summary>Identifie un membre qui n'a aucun comportement au moment de l'exécution.</summary>
 291     </member>
 292     <member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
 293       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" />. </summary>
 294     </member>
 295     <member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
 296       <summary>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.</summary>
 297     </member>
 298     <member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
 299       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" />. </summary>
 300       <param name="value">true pour imposer la vérification ; sinon, false. </param>
 301     </member>
 302     <member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
 303       <summary>Obtient la valeur qui indique s'il faut vérifier le contrat de la cible. </summary>
 304       <returns>true si la vérification est requise ; sinon, false.</returns>
 305     </member>
 306     <member name="T:System.Diagnostics.Contracts.PureAttribute">
 307       <summary>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.</summary>
 308     </member>
 309     <member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
 310       <summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.PureAttribute" />. </summary>
 311     </member>
 312     <member name="T:System.Runtime.CompilerServices.ContractHelper">
 313       <summary>Fournit des méthodes que le module de réécriture binaire utilise pour gérer des échecs de contrats.</summary>
 314     </member>
 315     <member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
 316       <summary>Utilisé par le module de réécriture binaire pour activer le comportement d'échec par défaut.</summary>
 317       <returns>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é.</returns>
 318       <param name="failureKind">L'une des valeurs d'énumération qui spécifie le type d'échec.</param>
 319       <param name="userMessage">Informations utilisateur supplémentaires.</param>
 320       <param name="conditionText">Description de la condition ayant provoqué l'échec.</param>
 321       <param name="innerException">Exception interne ayant provoqué l'exception actuelle.</param>
 322       <exception cref="T:System.ArgumentException">
 323         <paramref name="failureKind" /> n'est pas une valeur <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> valide.</exception>
 324     </member>
 325     <member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
 326       <summary>Déclenche le comportement d'échec par défaut.</summary>
 327       <param name="kind">L'une des valeurs d'énumération qui spécifie le type d'échec.</param>
 328       <param name="displayMessage">Message à afficher.</param>
 329       <param name="userMessage">Informations utilisateur supplémentaires.</param>
 330       <param name="conditionText">Description de la condition ayant provoqué l'échec.</param>
 331       <param name="innerException">Exception interne ayant provoqué l'exception actuelle.</param>
 332     </member>
 333   </members>
 334 </doc>