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 クラスによって使用されます。

適用対象