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が既に含まれています。 コントラクト ツールは、ステートメントがメソッド内で最初に出現し、そのようなステートメントのセット全体の後に、明示的なメソッド呼び出し (、EndContractBlockEnsuresOnThrowEnsures、 など) が続く場合に、ステートメントをRequires前提条件として認識ifthen--throwします。Contract

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

適用対象