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 類別所使用。