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 que produjo un error.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Herencia
Campos
| Nombre | Valor | Description |
|---|---|---|
| Precondition | 0 | Error en un Requires contrato. |
| Postcondition | 1 | Error en un Ensures contrato. |
| PostconditionOnException | 2 | Error en un EnsuresOnThrow contrato. |
| Invariant | 3 | Error en un Invariant contrato. |
| Assert | 4 | Error en un Assert contrato. |
| Assume | 5 | Error en un Assume contrato. |
Comentarios
La clase ContractFailureKind usa la enumeración System.Diagnostics.Contracts.ContractFailedEventArgs.