ContractFailureKind Enumerazione

Definizione

Specifica il tipo di contratto che non è riuscito.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Ereditarietà
ContractFailureKind

Campi

Assert 4

Contratto Assert non riuscito.

Assume 5

Contratto Assume non riuscito.

Invariant 3

Contratto Invariant non riuscito.

Postcondition 1

Contratto Ensures non riuscito.

PostconditionOnException 2

Contratto EnsuresOnThrow non riuscito.

Precondition 0

Contratto Requires non riuscito.

Commenti

L'enumerazione ContractFailureKind viene utilizzata dalla classe System.Diagnostics.Contracts.ContractFailedEventArgs.

Si applica a