ContractFailureKind Enumeración

Definición

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
ContractFailureKind

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