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.