ContractFailureKind Перечисление
Определение
Важно!
Некоторые сведения относятся к предварительной версии продукта, в которую до выпуска могут быть внесены существенные изменения. Майкрософт не предоставляет никаких гарантий, явных или подразумеваемых, относительно приведенных здесь сведений.
Указывает тип контракта, вызвавшего сбой.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Наследование
Поля
| Assert | 4 | Контракт Assert вызвал сбой. |
| Assume | 5 | Контракт Assume вызвал сбой. |
| Invariant | 3 | Контракт Invariant вызвал сбой. |
| Postcondition | 1 | Контракт Ensures вызвал сбой. |
| PostconditionOnException | 2 | Контракт EnsuresOnThrow вызвал сбой. |
| Precondition | 0 | Контракт Requires вызвал сбой. |
Комментарии
Перечисление ContractFailureKind используется классом System.Diagnostics.Contracts.ContractFailedEventArgs.
Применяется к
Совместная работа с нами на GitHub
Источник этого содержимого можно найти на GitHub, где также можно создавать и просматривать проблемы и запросы на вытягивание. Дополнительные сведения см. в нашем руководстве для участников.
