packages/System.Diagnostics.Contracts.4.3.0/ref/netstandard1.0/fr/System.Diagnostics.Contracts.xml

这里只显示每个文件的开头 60 行。登录后可以解锁完整代码。

微信扫码关注公众号，代码整理好后第一时间通知你。

<?xml version="1.0" encoding="utf-8"?>
<doc>
  <assembly>
    <name>System.Diagnostics.Contracts</name>
  </assembly>
  <members>
    <member name="T:System.Diagnostics.Contracts.Contract">
      <summary>Contient des méthodes statiques pour représenter des contrats de programme tels que conditions préalables, post-conditions et invariants objet.</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
      <summary>Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie pour l'analyseur.</summary>
      <param name="condition">Expression conditionnelle à tester.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
      <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>
      <param name="condition">Expression conditionnelle à tester.</param>
      <param name="userMessage">Message à afficher si la condition n'est pas remplie.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
      <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>
      <param name="condition">Expression conditionnelle à supposer comme true.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
      <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>
      <param name="condition">Expression conditionnelle à supposer comme true.</param>
      <param name="userMessage">Message à envoyer si l'hypothèse échoue.</param>
    </member>
    <member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
      <summary>Se produit quand un contrat échoue.</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
      <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>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
      <summary>Spécifie un contrat de post-condition pour la méthode englobante ou la propriété.</summary>
      <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>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
      <summary>Spécifie un contrat de post-condition pour une condition de sortie fournie et un message à afficher si la condition est false.</summary>
      <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>
      <param name="userMessage">Message à afficher si l'expression n'est pas true.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
      <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>
      <param name="condition">Expression conditionnelle à tester.</param>
      <typeparam name="TException">Type d'exception qui appelle la vérification de post-condition.</typeparam>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
      <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>
      <param name="condition">Expression conditionnelle à tester.</param>
      <param name="userMessage">Message à afficher si l'expression est false.</param>
      <typeparam name="TException">Type d'exception qui appelle la vérification de post-condition.</typeparam>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
      <summary>Détermine si un élément dans une collection d'éléments existe dans une fonction.</summary>
      <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>
      <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>
      <param name="predicate">Fonction à évaluer pour un élément dans <paramref name="collection" />.</param>
      <typeparam name="T">Type contenu dans <paramref name="collection" />.</typeparam>
      <exception cref="T:System.ArgumentNullException">