Leggi in inglese

Condividi tramite

ContractFailureKind Enumerazione

  • Riferimento

Definizione

Spazio dei nomi:
System.Diagnostics.Contracts
Assembly:
System.Diagnostics.Contracts.dll
Assembly:
mscorlib.dll
Assembly:
netstandard.dll

Specifica il tipo di contratto che non è riuscito.

C# 
public enum ContractFailureKind
Ereditarietà
Object
ValueType
Enum
ContractFailureKind

Campi

Nome Valore Descrizione
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

Prodotto Versioni
.NET Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9
.NET Framework 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1
.NET Standard 2.0, 2.1
UWP 10.0