packages/System.Diagnostics.Contracts.4.3.0/ref/netstandard1.0/ja/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>実行前の状態、実行後の状態、オブジェクトの不変部分などのプログラム コントラクトを表す静的メソッドを格納します。</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
      <summary>条件をチェックし、その条件が false の場合は、アナライザーに設定されたエスカレーション ポリシーに従います。</summary>
      <param name="condition">テストする条件式。</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
      <summary>条件をチェックし、その条件が false の場合は、アナライザーによって設定されたエスカレーション ポリシーに従い、指定されたメッセージを表示します。</summary>
      <param name="condition">テストする条件式。</param>
      <param name="userMessage">条件が一致しない場合に表示するメッセージ。</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
      <summary>常に true であるとは静的に証明されない場合でも、指定した条件が true であると想定するようコード分析ツールに指示します。</summary>
      <param name="condition">true に想定する条件式。</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
      <summary>常に true であるとは静的に証明されない場合でも、条件が true であると想定するようコード分析ツールに指示し、想定が失敗した場合はメッセージを表示します。</summary>
      <param name="condition">true に想定する条件式。</param>
      <param name="userMessage">想定が失敗した場合にポストするメッセージ。</param>
    </member>
    <member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
      <summary>コントラクトが失敗すると発生します。</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
      <summary>メソッドのコントラクトに if-then-throw の形式で実行前の状態のみが含まれる場合に、コントラクト セクションの終わりをマークします。</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
      <summary>外側のメソッドまたはプロパティの実行後の状態のコントラクトを指定します。</summary>
      <param name="condition">テストする条件式。式には <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />、<see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" />、および <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> の各値を使用できます。</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
      <summary>指定された終了条件の実行後の状態のコントラクトと、条件が false の場合に表示するメッセージを指定します。</summary>
      <param name="condition">テストする条件式。式には <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> および <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> の各値を使用できます。</param>
      <param name="userMessage">式が true でない場合に表示するメッセージ。</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
      <summary>指定された例外および条件に基づいて、外側のメソッドまたはプロパティに実行後の状態のコントラクトを指定します。</summary>
      <param name="condition">テストする条件式。</param>
      <typeparam name="TException">実行後の状態のチェックを起動する例外の種類。</typeparam>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
      <summary>指定された例外および条件に基づいて、実行後の状態のコントラクトと、外側のメソッドまたはプロパティの条件が false の場合に表示するメッセージを指定します。</summary>
      <param name="condition">テストする条件式。</param>
      <param name="userMessage">式が false の場合に表示するメッセージ。</param>
      <typeparam name="TException">実行後の状態のチェックを起動する例外の種類。</typeparam>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
      <summary>ある要素のコレクション内の要素が関数内に存在するかどうかを判断します。</summary>
      <returns>
        <paramref name="collection" /> 内の型 <paramref name="T" /> の任意の要素に対して、<paramref name="predicate" /> が true を返す場合にのみ true。</returns>
      <param name="collection">
        <paramref name="predicate" /> に渡される型 <paramref name="T" /> の要素が含まれているコレクション。</param>
      <param name="predicate">