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

注釈

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

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