ContractFailureKind Énumération
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 ContractFailureKindC#
public enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Héritage
| Nom | Valeur | Description |
|---|---|---|
| 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é. |
L'énumération ContractFailureKind est utilisée par la classe System.Diagnostics.Contracts.ContractFailedEventArgs.
| Produit | Versions |
|---|---|
| .NET | Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9 |
| .NET Framework | 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1 |
| .NET Standard | 2.0, 2.1 |
| UWP | 10.0 |
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.
Commentaires sur .NET
.NET est un projet open source. Sélectionnez un lien pour fournir des commentaires :