ContractFailureKind Перечисление
Определение
Важно!
Некоторые сведения относятся к предварительной версии продукта, в которую до выпуска могут быть внесены существенные изменения. Майкрософт не предоставляет никаких гарантий, явных или подразумеваемых, относительно приведенных здесь сведений.
Указывает тип контракта, вызвавшего сбой.
public enum class ContractFailureKind
public enum ContractFailureKind
type 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.