Aracılığıyla paylaş


Contract.EndContractBlock Yöntem

Tanım

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 -> unit
Public 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.

Şunlara uygulanır