Contract.EndContractBlock Yöntem

Tanım

Ad Alanı:

System.Diagnostics.Contracts

Bütünleştirilmiş Kod:

System.Diagnostics.Contracts.dll

Kaynak:

Contracts.cs

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

ConditionalAttribute

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 - - then throw 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.