共用方式為


Contract.EndContractBlock 方法

定義

當方法的合約僅包含 if-then-throw 形式的前置條件時,標記合約區段的結尾。

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 ()
屬性

備註

大部分的程式代碼都已經包含程序代碼形式的ifthen--throw某些參數驗證。 合約工具會在語句第一次出現在方法內時,將語句辨識ifthenthrow--為前置條件,而這類語句的整個集合後面接著明確的Contract方法呼叫,例如 RequiresEnsuresEnsuresOnThrow或 。EndContractBlock

當語句以這個形式出現時ifthen--throw,合約工具會將它們辨識為舊版要求語句。 EndContractBlock只有在沒有其他合約遵循序列時throwthenif--,才會使用表單,但它們仍應標記為舊版要求。

適用於