ContractFailureKind ContractFailureKind ContractFailureKind ContractFailureKind Enum

Definición

Especifica el tipo de contrato en el que se produjo un error.Specifies the type of contract that failed.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Herencia
ContractFailureKindContractFailureKindContractFailureKindContractFailureKind

Campos

Assert Assert Assert Assert 4

Se produjo un error en un contrato Assert.An Assert contract failed.

Assume Assume Assume Assume 5

Se produjo un error en un contrato Assume.An Assume contract failed.

Invariant Invariant Invariant Invariant 3

Se produjo un error en un contrato Invariant.An Invariant contract failed.

Postcondition Postcondition Postcondition Postcondition 1

Se produjo un error en un contrato Ensures.An Ensures contract failed.

PostconditionOnException PostconditionOnException PostconditionOnException PostconditionOnException 2

Se produjo un error en un contrato EnsuresOnThrow.An EnsuresOnThrow contract failed.

Precondition Precondition Precondition Precondition 0

Se produjo un error en un contrato Requires.A Requires contract failed.

Comentarios

La clase ContractFailureKind utiliza la enumeración System.Diagnostics.Contracts.ContractFailedEventArgs.The ContractFailureKind enumeration is used by the System.Diagnostics.Contracts.ContractFailedEventArgs class.

Se aplica a