ContractFailureKind 枚举

定义

命名空间:

System.Diagnostics.Contracts

程序集:

System.Diagnostics.Contracts.dll

指定失败的协定的类型。

public enum class ContractFailureKind

public enum ContractFailureKind

type ContractFailureKind = 

Public Enum ContractFailureKind

继承

Object

ValueType

Enum

ContractFailureKind

字段

Assert	4	一个失败的 Assert 协定。
Assume	5	一个失败的 Assume 协定。
Invariant	3	一个失败的 Invariant 协定。
Postcondition	1	一个失败的 Ensures 协定。
PostconditionOnException	2	一个失败的 EnsuresOnThrow 协定。
Precondition	0	一个失败的 Requires 协定。

注解

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