System.Diagnostics.Contracts Ad Alanı

Önkoşullar, 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

Name	Description
Contract	Önkoşullar, son koşul ve nesne sabit değerleri 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 kodunun yeniden kullanım için ayrı yöntemlere ayrılmasına olanak tanır 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 sözleşme olduğunu belirtir.
ContractFailedEventArgs	Olay için ContractFailed yöntemler ve veriler sağlar.
ContractInvariantMethodAttribute	Bir yöntemi bir sınıfın sabit yöntemi 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 varsaymalarını bildirir.
PureAttribute	Bir türün veya yöntemin saf olduğunu, yani görünür durum değişiklikleri yapmadığını gösterir.

Numaralandırmalar

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