Aracılığıyla paylaş


ContractFailureKind Sabit listesi

Tanım

Başarısız olan sözleşme türünü belirtir.

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

Alanlar

Assert 4

Anlaşma Assert başarısız oldu.

Assume 5

Anlaşma Assume başarısız oldu.

Invariant 3

Anlaşma Invariant başarısız oldu.

Postcondition 1

Anlaşma Ensures başarısız oldu.

PostconditionOnException 2

Anlaşma EnsuresOnThrow başarısız oldu.

Precondition 0

Anlaşma Requires başarısız oldu.

Açıklamalar

ContractFailureKind Numaralandırma sınıfı tarafından System.Diagnostics.Contracts.ContractFailedEventArgs kullanılır.

Şunlara uygulanır