System.Diagnostics.Contracts Ad Alanı

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

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

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.

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

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

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

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

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

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

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

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

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

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

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