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