Aracılığıyla paylaş


System.Diagnostics.Contracts Ad Alanı

Ön koşul, son koşul ve sabit değerler gibi program sözleşmelerini temsil etmek için statik sınıflar içerir.

Sınıflar

Contract

Ön koşul, son koşul ve nesne sabitleri gibi program sözleşmelerini temsil etmek için statik yöntemler içerir.

ContractAbbreviatorAttribute

Tam sözleşme söz dizimi yerine kullanabileceğiniz kısaltmaları tanımlar.

ContractArgumentValidatorAttribute

Eski if-then-throw kodun yeniden kullanım için ayrı yöntemler halinde faktöringini etkinleştirir ve oluşan özel durumlar ve bağımsız değişkenler üzerinde tam denetim sağlar.

ContractClassAttribute

Ayrı bir türün bu tür için kod sözleşmelerini içerdiğini belirtir.

ContractClassForAttribute

Sınıfın bir tür için bir anlaşma olduğunu belirtir.

ContractFailedEventArgs

Olay için ContractFailed yöntemler ve veriler sağlar.

ContractInvariantMethodAttribute

Bir yöntemi bir sınıf için sabit yöntem olarak işaretler.

ContractOptionAttribute

Derleme, tür veya yöntem ayrıntı düzeyinde sözleşme ve araç seçeneklerini ayarlamanıza olanak tanır.

ContractPublicPropertyNameAttribute

Alanın yöntemden daha az görünürlüğü olduğunda yöntem sözleşmelerinde bir alanın kullanılabileceğini belirtir.

ContractReferenceAssemblyAttribute

Derlemenin sözleşmeleri içeren bir başvuru derlemesi olduğunu belirtir.

ContractRuntimeIgnoredAttribute

Çalışma zamanı davranışı olmayan bir üyeyi tanımlar.

ContractVerificationAttribute

Analiz araçlarına statik doğrulama gerçekleştirmeden bir derlemenin, türün veya üyenin doğruluğunu varsaymasını bildirir.

PureAttribute

Türün veya yöntemin saf olduğunu, yani görünür durum değişikliği yapmadığını gösterir.

Numaralandırmalar

ContractFailureKind

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