Bagikan melalui


ContractFailureKind Enum

Definisi

Menentukan jenis kontrak yang gagal.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Warisan
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