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 ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind =
Public Enum ContractFailureKind
- Herencia
Campos
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.
Se aplica a
Comentaris
https://aka.ms/ContentUserFeedback.
Properament: al llarg del 2024 eliminarem gradualment GitHub Issues com a mecanisme de retroalimentació del contingut i el substituirem per un nou sistema de retroalimentació. Per obtenir més informació, consulteu:Envieu i consulteu els comentaris de