ContractFailureKind 列舉

定義

指定失敗的合約類型。

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

欄位

Assert 4

Assert 合約失敗。

Assume 5

Assume 合約失敗。

Invariant 3

Invariant 合約失敗。

Postcondition 1

Ensures 合約失敗。

PostconditionOnException 2

EnsuresOnThrow 合約失敗。

Precondition 0

Requires 合約失敗。

備註

ContractFailureKind 列舉型別是由 System.Diagnostics.Contracts.ContractFailedEventArgs 類別所使用。

適用於