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
| Assert | 4 | Um contrato Assert com falha. |
| Assume | 5 | Um contrato Assume com falha. |
| Invariant | 3 | Um contrato Invariant com falha. |
| Postcondition | 1 | Um contrato Ensures com falha. |
| PostconditionOnException | 2 | Um contrato EnsuresOnThrow com falha. |
| Precondition | 0 | Um contrato Requires com falha. |
Comentários
A enumeração ContractFailureKind é usada pela classe System.Diagnostics.Contracts.ContractFailedEventArgs.
Aplica-se a
Colabore connosco no GitHub
A origem deste conteúdo pode ser encontrada no GitHub, onde também pode criar e rever problemas e pedidos Pull. Para mais informações, consulte o nosso guia do contribuidor.
