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 ContractFailureKind
public enum ContractFailureKind
type 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 à
Commentaires
https://aka.ms/ContentUserFeedback.
Bientôt disponible : Tout au long de 2024, nous allons supprimer progressivement GitHub Issues comme mécanisme de commentaires pour le contenu et le remplacer par un nouveau système de commentaires. Pour plus d’informations, consultezEnvoyer et afficher des commentaires pour