ContractFailureKind 枚举

定义

指定失败的协定类型。

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

字段

名称 说明
Precondition 0

合同 Requires 失败。

Postcondition 1

合同 Ensures 失败。

PostconditionOnException 2

合同 EnsuresOnThrow 失败。

Invariant 3

合同 Invariant 失败。

Assert 4

合同 Assert 失败。

Assume 5

合同 Assume 失败。

注解

ContractFailureKind 类使用 System.Diagnostics.Contracts.ContractFailedEventArgs 枚举。

适用于