Compartilhar via


ContractFailureKind Enumeração

Definição

Especifica o tipo de contrato que falhou.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Herança
ContractFailureKind

Campos

Assert 4

Um contrato Assert com falha.

Assume 5

Um contrato Assume com falha.

Invariant 3

Um contrato Invariant com falha.

Postcondition 1

Um contrato Ensures com falha.

PostconditionOnException 2

Um contrato EnsuresOnThrow com falha.

Precondition 0

Um contrato Requires com falha.

Comentários

A enumeração ContractFailureKind é usada pela classe System.Diagnostics.Contracts.ContractFailedEventArgs.

Aplica-se a