次の方法で共有


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

注釈

ほとんどのコードには、コード形式if--thenthrowのパラメーター検証が既に含まれています。 コントラクト ツールは、ステートメントがメソッド内で最初に出現し、そのようなステートメントのセット全体の後に、、EnsuresOnThrowまたは などの明示的なContractメソッド呼び出しが続く場合に、ステートメントをRequires前提条件として認識-then-throwifします。EndContractBlockEnsures

ステートメントがこの形式で表示されるとif--thenthrow、コントラクト ツールはそれらをレガシ要求ステートメントとして認識します。 このフォームはEndContractBlock、他のコントラクトがシーケンスにthrowif-then-従っていない場合にのみ使用されますが、レガシ必須としてタグ付けする必要があります。

適用対象