ContractFailureKind Énumération
Définition
Important
Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.
Spécifie le type de contrat qui a échoué.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Héritage
Champs
| Nom | Valeur | Description |
|---|---|---|
| Precondition | 0 | Un Requires contrat a échoué. |
| Postcondition | 1 | Un Ensures contrat a échoué. |
| PostconditionOnException | 2 | Un EnsuresOnThrow contrat a échoué. |
| Invariant | 3 | Un Invariant contrat a échoué. |
| Assert | 4 | Un Assert contrat a échoué. |
| Assume | 5 | Un Assume contrat a échoué. |
Remarques
L’énumération ContractFailureKind est utilisée par la classe System.Diagnostics.Contracts.ContractFailedEventArgs.