Partager via


ContractFailureKind Énumération

Définition

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

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Héritage
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.

S’applique à