ContractFailureKind Enumeração
Definição
Importante
Algumas informações se referem a produtos de pré-lançamento que podem ser substancialmente modificados antes do lançamento. A Microsoft não oferece garantias, expressas ou implícitas, das informações aqui fornecidas.
Especifica o tipo de contrato que falhou.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Herança
Campos
| Nome | Valor | Description |
|---|---|---|
| Precondition | 0 | Um Requires contrato falhou. |
| Postcondition | 1 | Um Ensures contrato falhou. |
| PostconditionOnException | 2 | Um EnsuresOnThrow contrato falhou. |
| Invariant | 3 | Um Invariant contrato falhou. |
| Assert | 4 | Um Assert contrato falhou. |
| Assume | 5 | Um Assume contrato falhou. |
Comentários
A enumeração ContractFailureKind é usada pela classe System.Diagnostics.Contracts.ContractFailedEventArgs.