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

Определение

Указывает тип контракта, вызвавшего сбой.Specifies the type of contract that failed.

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

Поля

Assert 4

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

Assume 5

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

Invariant 3

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

Postcondition 1

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

PostconditionOnException 2

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

Precondition 0

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

Комментарии

Перечисление ContractFailureKind используется классом System.Diagnostics.Contracts.ContractFailedEventArgs.The ContractFailureKind enumeration is used by the System.Diagnostics.Contracts.ContractFailedEventArgs class.

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