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