ContractFailureKind Enumeración
Definición
Importante
Parte de la información hace referencia a la versión preliminar del producto, que puede haberse modificado sustancialmente antes de lanzar la versión definitiva. Microsoft no otorga ninguna garantía, explícita o implícita, con respecto a la información proporcionada aquí.
Especifica el tipo de contrato en el que se produjo un error.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Herencia
Campos
| Nombre | Valor | Description |
|---|---|---|
| Assert | 4 | Se produjo un error en un contrato Assert. |
| Assume | 5 | Se produjo un error en un contrato Assume. |
| Invariant | 3 | Se produjo un error en un contrato Invariant. |
| Postcondition | 1 | Se produjo un error en un contrato Ensures. |
| PostconditionOnException | 2 | Se produjo un error en un contrato EnsuresOnThrow. |
| Precondition | 0 | Se produjo un error en un contrato Requires. |
Comentarios
La clase ContractFailureKind utiliza la enumeración System.Diagnostics.Contracts.ContractFailedEventArgs.
