ContractFailureKind ContractFailureKind ContractFailureKind ContractFailureKind Enum

定义

指定失败的协定的类型。Specifies the type of contract that failed.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
继承
ContractFailureKindContractFailureKindContractFailureKindContractFailureKind

字段

Assert Assert Assert Assert 4

一个失败的 Assert 协定。An Assert contract failed.

Assume Assume Assume Assume 5

一个失败的 Assume 协定。An Assume contract failed.

Invariant Invariant Invariant Invariant 3

一个失败的 Invariant 协定。An Invariant contract failed.

Postcondition Postcondition Postcondition Postcondition 1

一个失败的 Ensures 协定。An Ensures contract failed.

PostconditionOnException PostconditionOnException PostconditionOnException PostconditionOnException 2

一个失败的 EnsuresOnThrow 协定。An EnsuresOnThrow contract failed.

Precondition Precondition Precondition Precondition 0

一个失败的 Requires 协定。A Requires contract failed.

注解

ContractFailureKind 枚举由 System.Diagnostics.Contracts.ContractFailedEventArgs 类使用。The ContractFailureKind enumeration is used by the System.Diagnostics.Contracts.ContractFailedEventArgs class.

适用于