ContractFailureKind Énumération

Définition

Espace de noms:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Spécifie le type de contrat qui a échoué.

public enum class ContractFailureKind

public enum ContractFailureKind

type ContractFailureKind = 

Public Enum ContractFailureKind

Héritage

Object

ValueType

Enum

ContractFailureKind

Champs

Assert	4	Un contrat Assert a échoué.
Assume	5	Un contrat Assume a échoué.
Invariant	3	Un contrat Invariant a échoué.
Postcondition	1	Un contrat Ensures a échoué.
PostconditionOnException	2	Un contrat EnsuresOnThrow a échoué.
Precondition	0	Un contrat Requires a échoué.

Remarques

L'énumération ContractFailureKind est utilisée par la classe System.Diagnostics.Contracts.ContractFailedEventArgs.