Contract.EndContractBlock Yöntem

Tanım

Ad Alanı:

System.Diagnostics.Contracts

Bütünleştirilmiş Kodlar:

netstandard.dll, System.Diagnostics.Contracts.dll

Kaynak:

Contracts.cs

Bir yöntemin sözleşmeleri formda yalnızca önkoşullar içerdiğinde if-then-throw 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 bazı parametre doğrulamaları if-then-throw içerir. Sözleşme araçları, deyimler bir yöntemin içinde ilk kez göründüğünde deyimleri önkoşul olarak tanır if-then-throwve bu tür deyimlerin tüm kümesinin ardından , , ContractRequiresveya Ensuresgibi açık EnsuresOnThrow bir EndContractBlockyöntem çağrısı gelir.

if - then - throw Deyimler bu formda göründüğünde, sözleşme araçları bunları eski gerekli deyimleri olarak tanır. Form EndContractBlock yalnızca dizileri izleyenif-then-throwbaşka sözleşme yoksa kullanılır, ancak bunlar yine de eski gereklilik olarak etiketlenmelidir.