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
| 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 à
Collaborer avec nous sur GitHub
La source de ce contenu se trouve sur GitHub, où vous pouvez également créer et examiner les problèmes et les demandes de tirage. Pour plus d’informations, consultez notre guide du contributeur.
