ContractFailureKind Enumerazione
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Specifica il tipo di contratto che non è riuscito.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Ereditarietà
Campi
| Assert | 4 | Contratto Assert non riuscito. |
| Assume | 5 | Contratto Assume non riuscito. |
| Invariant | 3 | Contratto Invariant non riuscito. |
| Postcondition | 1 | Contratto Ensures non riuscito. |
| PostconditionOnException | 2 | Contratto EnsuresOnThrow non riuscito. |
| Precondition | 0 | Contratto Requires non riuscito. |
Commenti
L'enumerazione ContractFailureKind viene utilizzata dalla classe System.Diagnostics.Contracts.ContractFailedEventArgs.
Si applica a
Collabora con noi su GitHub
L'origine di questo contenuto è disponibile in GitHub, in cui è anche possibile creare ed esaminare i problemi e le richieste pull. Per ulteriori informazioni, vedere la guida per i collaboratori.
