Поделиться через


ContractFailureKind Перечисление

Определение

Указывает тип контракта, вызвавшего сбой.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Наследование
ContractFailureKind

Поля

Assert 4

Контракт Assert вызвал сбой.

Assume 5

Контракт Assume вызвал сбой.

Invariant 3

Контракт Invariant вызвал сбой.

Postcondition 1

Контракт Ensures вызвал сбой.

PostconditionOnException 2

Контракт EnsuresOnThrow вызвал сбой.

Precondition 0

Контракт Requires вызвал сбой.

Комментарии

Перечисление ContractFailureKind используется классом System.Diagnostics.Contracts.ContractFailedEventArgs.

Применяется к