ContractFailureKind Enumeração

  • Referência

Definição

Namespace:
System.Diagnostics.Contracts
Assembly:
System.Diagnostics.Contracts.dll
Assembly:
mscorlib.dll
Assembly:
netstandard.dll

Especifica o tipo de contrato que falhou.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Herança
Object
ValueType
Enum
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