Udostępnij za pośrednictwem


ContractFailureKind Wyliczenie

Definicja

Określa typ kontraktu, który zakończył się niepowodzeniem.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Dziedziczenie
ContractFailureKind

Pola

Assert 4

Umowa Assert nie powiodła się.

Assume 5

Umowa Assume nie powiodła się.

Invariant 3

Umowa Invariant nie powiodła się.

Postcondition 1

Umowa Ensures nie powiodła się.

PostconditionOnException 2

Umowa EnsuresOnThrow nie powiodła się.

Precondition 0

Kontrakt Requires nie powiódł się.

Uwagi

Wyliczenie ContractFailureKind jest używane przez klasę System.Diagnostics.Contracts.ContractFailedEventArgs .

Dotyczy