Contract.EndContractBlock 方法

定義

命名空間:

System.Diagnostics.Contracts

組件:

System.Diagnostics.Contracts.dll

來源:

Contracts.cs

當方法的合約僅包含 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 ()

屬性

ConditionalAttribute

備註

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

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