packages/System.Diagnostics.Contracts.4.3.0/ref/netstandard1.0/zh-hant/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="predicate" /> 為 <paramref name="collection" /> 中任何 <paramref name="T" /> 類型之元素傳回 true 時，才為 true。</returns>
      <param name="collection">將從中取出 <paramref name="T" /> 類型的項目以傳遞至 <paramref name="predicate" /> 的集合。</param>
      <param name="predicate">要評估 <paramref name="collection" /> 中元素的函式。</param>
      <typeparam name="T">包含在 <paramref name="collection" /> 中的類型。</typeparam>
      <exception cref="T:System.ArgumentNullException">