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.

适用于