packages/System.Diagnostics.Contracts.4.3.0/ref/netcore50/ko/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">