System.Diagnostics.Contracts.xml 35 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334
  1. <?xml version="1.0" encoding="utf-8"?>
  2. <doc>
  3. <assembly>
  4. <name>System.Diagnostics.Contracts</name>
  5. </assembly>
  6. <members>
  7. <member name="T:System.Diagnostics.Contracts.Contract">
  8. <summary>Содержит статические методы для представления контрактов программы, таких как предусловие, постусловие и инвариантность объектов.</summary>
  9. </member>
  10. <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
  11. <summary>Проверяет условие; если условие имеет значениеfalse, следует политике эскалации, заданной для анализатора.</summary>
  12. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  13. </member>
  14. <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
  15. <summary>Проверяет условие; если условие имеет значение false, следует политике эскалации, заданной анализатором, и отображает указанное сообщение.</summary>
  16. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  17. <param name="userMessage">Сообщение, отображаемое при несоответствии условия.</param>
  18. </member>
  19. <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
  20. <summary>Дает инструментам анализа кода команду полагать, что указанным условием является true, даже если статически невозможно подтвердить постоянное значение true.</summary>
  21. <param name="condition">Предполагаемое условное выражение true.</param>
  22. </member>
  23. <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
  24. <summary>Дает инструментам анализа кода команду полагать, что условием является true, даже если статически невозможно подтвердить постоянное значение true, и отображает сообщение, если предположение было ошибочным.</summary>
  25. <param name="condition">Предполагаемое условное выражение true.</param>
  26. <param name="userMessage">Сообщение, создаваемое при ошибочном предположении.</param>
  27. </member>
  28. <member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
  29. <summary>Происходит, когда контракт не выполняется.</summary>
  30. </member>
  31. <member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
  32. <summary>Помечает конец раздела контракта, когда контракты метода содержат только предусловия вида if-then-throw.</summary>
  33. </member>
  34. <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
  35. <summary>Указывает контракт постусловия для включающего метода или свойства.</summary>
  36. <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>
  37. </member>
  38. <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
  39. <summary>Указывает контракт постусловия для предоставленного выходного условия и сообщение, отображаемое, если условие имеет значение false.</summary>
  40. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.Выражение может включать значения <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> и <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
  41. <param name="userMessage">Сообщение, отображаемое в том случае, если выражение не является true.</param>
  42. </member>
  43. <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
  44. <summary>Задает контракт постусловия для включающего метода или свойства на основе предоставленных исключения и состояния.</summary>
  45. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  46. <typeparam name="TException">Тип исключения, вызвавшего проверку постусловия.</typeparam>
  47. </member>
  48. <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
  49. <summary>Задает контракт постусловия и сообщение, которое необходимо отобразить, если условие имеет значение false, для включающего метода или свойства на основе предоставленных исключения и условия.</summary>
  50. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  51. <param name="userMessage">Отображаемое сообщение, если выражение — false.</param>
  52. <typeparam name="TException">Тип исключения, вызвавшего проверку постусловия.</typeparam>
  53. </member>
  54. <member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
  55. <summary>Определяет, существует ли в рамках функции элемент в указанной коллекции элементов.</summary>
  56. <returns>Значение true, если и только если <paramref name="predicate" /> возвращает значение true для любого из элементов типа <paramref name="T" />, содержащихся в параметре <paramref name="collection" />.</returns>
  57. <param name="collection">Коллекция, из которой будут извлекаться элементы типа <paramref name="T" /> для передачи в <paramref name="predicate" />.</param>
  58. <param name="predicate">Функция, оцениваемая на предмет элемента, содержащегося в параметре <paramref name="collection" />.</param>
  59. <typeparam name="T">Тип, содержащийся в <paramref name="collection" />.</typeparam>
  60. <exception cref="T:System.ArgumentNullException">
  61. <paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
  62. </member>
  63. <member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
  64. <summary>Определяет, удовлетворяет ли проверке какое-либо целое число в диапазоне целых чисел.</summary>
  65. <returns>Значение true, если <paramref name="predicate" /> возвращает true для любого целого числа, начиная от <paramref name="fromInclusive" /> до минус один <paramref name="toExclusive" />.</returns>
  66. <param name="fromInclusive">Первое целое число для передачи в <paramref name="predicate" />.</param>
  67. <param name="toExclusive">Последнее целое число для передачи в <paramref name="predicate" /> плюс один.</param>
  68. <param name="predicate">Функция, оцениваемая на предмет любого значения целого числа в указанном диапазоне.</param>
  69. <exception cref="T:System.ArgumentNullException">
  70. <paramref name="predicate" /> is null.</exception>
  71. <exception cref="T:System.ArgumentException">
  72. <paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
  73. </member>
  74. <member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
  75. <summary>Определяет, существуют ли в рамках функции все элементы в коллекции.</summary>
  76. <returns>Значение true, если и только если <paramref name="predicate" /> возвращает значение true для всех элементов типа <paramref name="T" />, содержащихся в параметре <paramref name="collection" />.</returns>
  77. <param name="collection">Коллекция, из которой будут извлекаться элементы типа <paramref name="T" /> для передачи в <paramref name="predicate" />.</param>
  78. <param name="predicate">Функция, оцениваемая на предмет наличия всех элементов, содержащихся в параметре <paramref name="collection" />.</param>
  79. <typeparam name="T">Тип, содержащийся в <paramref name="collection" />.</typeparam>
  80. <exception cref="T:System.ArgumentNullException">
  81. <paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
  82. </member>
  83. <member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
  84. <summary>Определяет, выполняется ли определенное условие для всех целых чисел в указанном диапазоне.</summary>
  85. <returns>Значение true, если <paramref name="predicate" /> возвращает true для всех целых чисел, начиная от <paramref name="fromInclusive" /> до минус один <paramref name="toExclusive" />.</returns>
  86. <param name="fromInclusive">Первое целое число для передачи в <paramref name="predicate" />.</param>
  87. <param name="toExclusive">Последнее целое число для передачи в <paramref name="predicate" /> плюс один.</param>
  88. <param name="predicate">Функция, оцениваемая, чтобы установить существование целых чисел в указанном диапазоне.</param>
  89. <exception cref="T:System.ArgumentNullException">
  90. <paramref name="predicate" /> is null.</exception>
  91. <exception cref="T:System.ArgumentException">
  92. <paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
  93. </member>
  94. <member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
  95. <summary>Задает инвариантный контракт ля включающего метода или свойства. </summary>
  96. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  97. </member>
  98. <member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
  99. <summary>Указывает инвариантный контракт для включающего метода или свойства и отображает сообщение, если условие для контракта не выполняется.</summary>
  100. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  101. <param name="userMessage">Отображаемое сообщение при условии false.</param>
  102. </member>
  103. <member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
  104. <summary>Представляет значения, какими они были в начале метода или свойства.</summary>
  105. <returns>Значение параметра или поля при запуске метода или свойства.</returns>
  106. <param name="value">Представляемое значение (поле или параметр).</param>
  107. <typeparam name="T">Тип значения.</typeparam>
  108. </member>
  109. <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
  110. <summary>Указывает контракт предусловия для включающего метода или свойства и выдает исключение, если условие для контракта не выполняется.</summary>
  111. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  112. <typeparam name="TException">Выдаваемое исключение при условии false.</typeparam>
  113. </member>
  114. <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
  115. <summary>Указывает контракт предусловия для включающего метода или свойства.</summary>
  116. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  117. </member>
  118. <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
  119. <summary>Указывает контракт предусловия для включающего метода или свойства и отображает сообщение, если условие для контракта не выполняется.</summary>
  120. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  121. <param name="userMessage">Отображаемое сообщение при условии false.</param>
  122. </member>
  123. <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
  124. <summary>Задает контракт предусловия для включающего метода или свойства и создает исключение с предоставленным сообщением, если условие для контракта не выполняется.</summary>
  125. <param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
  126. <param name="userMessage">Отображаемое сообщение при условии false.</param>
  127. <typeparam name="TException">Выдаваемое исключение при условии false.</typeparam>
  128. </member>
  129. <member name="M:System.Diagnostics.Contracts.Contract.Result``1">
  130. <summary>Представляет возвращаемое значение метода или свойства.</summary>
  131. <returns>Возвращаемое значение включающего метода или свойства.</returns>
  132. <typeparam name="T">Тип возвращаемого значения включающего метода или свойства.</typeparam>
  133. </member>
  134. <member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
  135. <summary>Представляет итоговое (выходное) значение параметра out по возвращении из метода.</summary>
  136. <returns>Выходное значение параметра out.</returns>
  137. <param name="value">Параметр out.</param>
  138. <typeparam name="T">Тип параметра out</typeparam>
  139. </member>
  140. <member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
  141. <summary>Определяет аббревиатуры, которые можно использовать вместо полного синтаксиса контракта.</summary>
  142. </member>
  143. <member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
  144. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" />.</summary>
  145. </member>
  146. <member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
  147. <summary>Включает факторизацию устаревшего кода if-then-throw в отдельные методы для многократного использования, и обеспечивает полный контроль над созданными исключениями и аргументами.</summary>
  148. </member>
  149. <member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
  150. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" />.</summary>
  151. </member>
  152. <member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
  153. <summary>Указывает, что отдельный тип содержит контракты кода для этого типа.</summary>
  154. </member>
  155. <member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
  156. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" />. </summary>
  157. <param name="typeContainingContracts">Тип, содержащий контракты кода для этого типа.</param>
  158. </member>
  159. <member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
  160. <summary>Получает тип, содержащий контракты кода для этого типа.</summary>
  161. <returns>Тип, содержащий контракты кода для этого типа. </returns>
  162. </member>
  163. <member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
  164. <summary>Указывает, что класс является контрактом для типа.</summary>
  165. </member>
  166. <member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
  167. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> с заданием типа, для которого текущий класс является контрактом. </summary>
  168. <param name="typeContractsAreFor">Тип, для которого текущий класс является контрактом.</param>
  169. </member>
  170. <member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
  171. <summary>Получает тип, к которому применяется этот контракт кода. </summary>
  172. <returns>Тип, к которому применяется этот контракт.</returns>
  173. </member>
  174. <member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
  175. <summary>Предоставляет методы и данные для события <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
  176. </member>
  177. <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
  178. <summary>Предоставляет данные для события <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
  179. <param name="failureKind">Одно из значений перечисления, указывающее контракт, вызвавший сбой.</param>
  180. <param name="message">Сообщение для события.</param>
  181. <param name="condition">Условие события.</param>
  182. <param name="originalException">Исключение, которое вызвало событие.</param>
  183. </member>
  184. <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
  185. <summary>Получает условие сбоя контракта.</summary>
  186. <returns>Условие сбоя.</returns>
  187. </member>
  188. <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
  189. <summary>Получает тип контракта, вызвавшего сбой.</summary>
  190. <returns>Одно из значений перечисления, указывающее тип контракта, вызвавшего сбой.</returns>
  191. </member>
  192. <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
  193. <summary>Указывает, обработано ли событие <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
  194. <returns>Значение true, если событие обработано; в противном случае — значение false. </returns>
  195. </member>
  196. <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
  197. <summary>Получает сообщение, описывающее событие <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
  198. <returns>Сообщение, описывающее событие.</returns>
  199. </member>
  200. <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
  201. <summary>Получает исходное исключение, вызвавшее событие <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
  202. <returns>Исключение, которое вызвало событие.</returns>
  203. </member>
  204. <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
  205. <summary>Присваивает свойству <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> значение true.</summary>
  206. </member>
  207. <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
  208. <summary>Присваивает свойству <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> значение true.</summary>
  209. </member>
  210. <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
  211. <summary>Указывает, должна ли применяться политика эскалации контракта кода.</summary>
  212. <returns>Значение true, если политика эскалации должна применяться; в противном случае — значение false.Значение по умолчанию — false.</returns>
  213. </member>
  214. <member name="T:System.Diagnostics.Contracts.ContractFailureKind">
  215. <summary>Указывает тип контракта, вызвавшего сбой. </summary>
  216. </member>
  217. <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
  218. <summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> вызвал сбой.</summary>
  219. </member>
  220. <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
  221. <summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> вызвал сбой.</summary>
  222. </member>
  223. <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
  224. <summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> вызвал сбой.</summary>
  225. </member>
  226. <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
  227. <summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> вызвал сбой. </summary>
  228. </member>
  229. <member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
  230. <summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> вызвал сбой.</summary>
  231. </member>
  232. <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
  233. <summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> вызвал сбой.</summary>
  234. </member>
  235. <member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
  236. <summary>Помечает метод как инвариантный метод для класса.</summary>
  237. </member>
  238. <member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
  239. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" />. </summary>
  240. </member>
  241. <member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
  242. <summary>Позволяет задавать параметры контракта и средств на уровне сборки, типа или метода.</summary>
  243. </member>
  244. <member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
  245. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" />, используя предоставленную категорию, настройку и значение включения/отключения.</summary>
  246. <param name="category">Категория для задаваемого параметра.</param>
  247. <param name="setting">Настройка параметра.</param>
  248. <param name="enabled">Значение true, чтобы включить параметр; значение false, чтобы отключить параметр.</param>
  249. </member>
  250. <member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
  251. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" />, используя предоставленную категорию, настройку и значение.</summary>
  252. <param name="category">Категория задаваемого параметра.</param>
  253. <param name="setting">Настройка параметра.</param>
  254. <param name="value">Значение параметра.</param>
  255. </member>
  256. <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
  257. <summary>Получает категорию параметра.</summary>
  258. <returns>Категория параметра.</returns>
  259. </member>
  260. <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
  261. <summary>Определяет, включен ли параметр.</summary>
  262. <returns>Значение true, если параметр включен; в противном случае — значение false.</returns>
  263. </member>
  264. <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
  265. <summary>Получает настройку для параметра.</summary>
  266. <returns>Настройка для параметра.</returns>
  267. </member>
  268. <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
  269. <summary>Получает значение для параметра.</summary>
  270. <returns>Значение для параметра.</returns>
  271. </member>
  272. <member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
  273. <summary>Указывает, что поле может использоваться в контрактах методов, если видимость поля ниже, чем видимость метода. </summary>
  274. </member>
  275. <member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
  276. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" />. </summary>
  277. <param name="name">Имя применяемого к полю свойства.</param>
  278. </member>
  279. <member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
  280. <summary>Получает имя свойства, применяемого к полю.</summary>
  281. <returns>Имя свойства, которое следует применить к полю.</returns>
  282. </member>
  283. <member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
  284. <summary>Указывает на то, что сборка является ссылочной сборкой, которая содержит контракты.</summary>
  285. </member>
  286. <member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
  287. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" />. </summary>
  288. </member>
  289. <member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
  290. <summary>Определяет член, не имеющий поведения во время выполнения.</summary>
  291. </member>
  292. <member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
  293. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" />. </summary>
  294. </member>
  295. <member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
  296. <summary>Указывает средствам анализа, что следует принять правильность сборки, типа или элемента без проведения статической проверки.</summary>
  297. </member>
  298. <member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
  299. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" />. </summary>
  300. <param name="value">Значение true для запроса проверки; в противном случае — значение false. </param>
  301. </member>
  302. <member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
  303. <summary>Получает значение, определяющее, следует ли проверять контракт целевого объекта. </summary>
  304. <returns>Значение true, если проверка необходима; в противном случае — значение false.</returns>
  305. </member>
  306. <member name="T:System.Diagnostics.Contracts.PureAttribute">
  307. <summary>Указывает на то, что тип или метод являются чистыми, т. е. не вносят каких-либо видимых изменений в состояние.</summary>
  308. </member>
  309. <member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
  310. <summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.PureAttribute" />. </summary>
  311. </member>
  312. <member name="T:System.Runtime.CompilerServices.ContractHelper">
  313. <summary>Предоставляет методы, которые двоичный метод перезаписи использует для обработки сбоев контракта.</summary>
  314. </member>
  315. <member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
  316. <summary>Используется двоичным методом перезаписи для активации поведения при сбоях по умолчанию.</summary>
  317. <returns>Пустая ссылка (Nothing в Visual Basic), если событие было обработано и не должно спровоцировать сбой; в противном случае возвращает локализованное сообщение об ошибке.</returns>
  318. <param name="failureKind">Одно из значений перечисления, задающее тип сбоя.</param>
  319. <param name="userMessage">Дополнительные данные пользователя.</param>
  320. <param name="conditionText">Описание условия, вызвавшего сбой.</param>
  321. <param name="innerException">Внутреннее исключение, вызвавшее текущее исключение.</param>
  322. <exception cref="T:System.ArgumentException">
  323. <paramref name="failureKind" /> не является допустимым значением <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" />.</exception>
  324. </member>
  325. <member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
  326. <summary>Активирует поведение при сбоях по умолчанию.</summary>
  327. <param name="kind">Одно из значений перечисления, задающее тип сбоя.</param>
  328. <param name="displayMessage">Отображаемое сообщение.</param>
  329. <param name="userMessage">Дополнительные данные пользователя.</param>
  330. <param name="conditionText">Описание условия, вызвавшего сбой.</param>
  331. <param name="innerException">Внутреннее исключение, вызвавшее текущее исключение.</param>
  332. </member>
  333. </members>
  334. </doc>