Bagikan melalui

ContractFailureKind Enum

  • Referensi

Definisi

Ruang nama:
System.Diagnostics.Contracts
Rakitan:
System.Diagnostics.Contracts.dll
Rakitan:
mscorlib.dll
Rakitan:
netstandard.dll

Menentukan jenis kontrak yang gagal.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Warisan
Object
ValueType
Enum
ContractFailureKind

Bidang

Assert 4

Kontrak Assert gagal.
Assume 5

Kontrak Assume gagal.
Invariant 3

Kontrak Invariant gagal.
Postcondition 1

Kontrak Ensures gagal.
PostconditionOnException 2

Kontrak EnsuresOnThrow gagal.
Precondition 0

Kontrak Requires gagal.

Keterangan

Enumerasi ContractFailureKind digunakan oleh System.Diagnostics.Contracts.ContractFailedEventArgs kelas .

Berlaku untuk