Contract.EndContractBlock メソッド

  • リファレンス

定義

名前空間:
System.Diagnostics.Contracts
アセンブリ:
System.Diagnostics.Contracts.dll
アセンブリ:
mscorlib.dll
アセンブリ:
netstandard.dll
ソース:
Contracts.cs
ソース:
Contracts.cs
ソース:
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-従っていない場合にのみ使用されますが、レガシ必須としてタグ付けする必要があります。

適用対象