ContractFailureKind ContractFailureKind ContractFailureKind ContractFailureKind Enum

Definizione

Specifica il tipo di contratto che non è riuscito.Specifies the type of contract that failed.

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

Campi

Assert Assert Assert Assert 4

Contratto Assert non riuscito.An Assert contract failed.

Assume Assume Assume Assume 5

Contratto Assume non riuscito.An Assume contract failed.

Invariant Invariant Invariant Invariant 3

Contratto Invariant non riuscito.An Invariant contract failed.

Postcondition Postcondition Postcondition Postcondition 1

Contratto Ensures non riuscito.An Ensures contract failed.

PostconditionOnException PostconditionOnException PostconditionOnException PostconditionOnException 2

Contratto EnsuresOnThrow non riuscito.An EnsuresOnThrow contract failed.

Precondition Precondition Precondition Precondition 0

Contratto Requires non riuscito.A Requires contract failed.

Commenti

L'enumerazione ContractFailureKind viene utilizzata dalla classe System.Diagnostics.Contracts.ContractFailedEventArgs.The ContractFailureKind enumeration is used by the System.Diagnostics.Contracts.ContractFailedEventArgs class.

Si applica a