ContractFailureKind Wyliczenie

Definicja

Przestrzeń nazw:

System.Diagnostics.Contracts

Zestaw:

System.Diagnostics.Contracts.dll

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

public enum class ContractFailureKind

public enum ContractFailureKind

type ContractFailureKind = 

Public Enum ContractFailureKind

Dziedziczenie

Object

ValueType

Enum

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 .