packages/System.Diagnostics.Contracts.4.3.0/ref/netstandard1.0/ru/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>Значение true, если и только если <paramref name="predicate" /> возвращает значение true для любого из элементов типа <paramref name="T" />, содержащихся в параметре <paramref name="collection" />.</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">