Contract.EndContractBlock メソッド


メソッドのコントラクトに if-then-throw の形式で実行前の状態のみが含まれる場合に、コントラクト セクションの終わりをマークします。Marks the end of the contract section when a method's contracts contain only preconditions in the if-then-throw form.

 static void EndContractBlock();
public static void EndContractBlock ();
public static void EndContractBlock ();
static member EndContractBlock : unit -> unit
static member EndContractBlock : unit -> unit
Public Shared Sub EndContractBlock ()


ほとんどのコードには、コードの形式でいくつかのパラメーター検証が既に含まれてい if - then - throw ます。Most code already contains some parameter validation in the form of if-then-throw code. コントラクトツールは、ステートメント if - then - throw がメソッド内で最初に出現したときにステートメントを事前条件として認識し、そのようなステートメントのセット全体の後に、、、などの明示的な Contract メソッド呼び出しが続き Requires Ensures EnsuresOnThrow EndContractBlock ます。The contract tools recognize if-then-throw statements as preconditions when the statements appear first inside a method, and the entire set of such statements is followed by an explicit Contract method call, such as a Requires, Ensures, EnsuresOnThrow, or EndContractBlock.

if - then - throw ステートメントがこの形式で表示される場合、コントラクトツールはそれらをレガシ要求ステートメントとして認識します。When if-then-throw statements appear in this form, the contract tools recognize them as legacy-require statements. この EndContractBlock フォームは、シーケンスに従う他のコントラクトがない場合にのみ使用され if - then - throw ますが、従来の必須タグとしてタグ付けされる必要があります。The EndContractBlock form is used only if no other contracts follow the if-then-throw sequences, but they should still be tagged as legacy-requires.