Contract.EndContractBlock Yöntem
Tanım
Önemli
Bazı bilgiler ürünün ön sürümüyle ilgilidir ve sürüm öncesinde önemli değişiklikler yapılmış olabilir. Burada verilen bilgilerle ilgili olarak Microsoft açık veya zımni hiçbir garanti vermez.
Bir yöntemin sözleşmeleri formda yalnızca önkoşullar içerdiğinde if--thenthrow sözleşme bölümünün sonunu işaretler.
public:
static void EndContractBlock();[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EndContractBlock ();[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EndContractBlock : unit -> unitPublic Shared Sub EndContractBlock ()- Öznitelikler
Açıklamalar
Çoğu kod zaten kod biçiminde if--thenthrow bazı parametre doğrulamaları içeriyor. Sözleşme araçları, deyimler bir yöntemin içinde ilk kez göründüğünde deyimleri ön koşul olarak tanır ifthen-throw-ve bu deyim kümesinin tamamı, veya EndContractBlockgibi açık Contract bir RequiresEnsuresEnsuresOnThrowyöntem çağrısı tarafından izlenir.
if--thenthrow Deyimler bu formda göründüğünde, sözleşme araçları bunları eski-gerekli deyimleri olarak tanır. EndContractBlock Form yalnızca dizileri izleyenthrowif-then-başka sözleşme yoksa kullanılır, ancak yine de eski gerekli olarak etiketlenmelidir.
