ContractFailureKind Enumeração
Definição
Importante
Algumas informações dizem respeito a um produto pré-lançado que pode ser substancialmente modificado antes de ser lançado. A Microsoft não faz garantias, de forma expressa ou implícita, em relação à informação aqui apresentada.
Especifica o tipo de contrato que falhou.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Herança
Campos
| Name | 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. |
Observações
A ContractFailureKind enumeração é usada pela System.Diagnostics.Contracts.ContractFailedEventArgs turma.
