Contract.EndContractBlock メソッド
定義
重要
一部の情報は、リリース前に大きく変更される可能性があるプレリリースされた製品に関するものです。 Microsoft は、ここに記載されている情報について、明示または黙示を問わず、一切保証しません。
メソッドのコントラクトに 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
--then
throw
が既に含まれています。 コントラクト ツールは、ステートメントがメソッド内で最初に出現し、そのようなステートメントのセット全体の後に、明示的なメソッド呼び出し (、EndContractBlockEnsuresOnThrowEnsures、 など) が続く場合に、ステートメントをRequires前提条件として認識if
then
--throw
します。Contract
この形式でステートメントが表示されるとif
--then
throw
、コントラクト ツールはそれらをレガシ要求ステートメントとして認識します。 フォームはEndContractBlock、他のコントラクトがシーケンスにthrow
if
-then
-従っていない場合にのみ使用されますが、レガシ必須としてタグ付けする必要があります。
適用対象
GitHub で Microsoft と共同作業する
このコンテンツのソースは GitHub にあります。そこで、issue や pull request を作成および確認することもできます。 詳細については、共同作成者ガイドを参照してください。
.NET
フィードバック
https://aka.ms/ContentUserFeedback.
Coming soon: Throughout 2024 we will be phasing out GitHub Issues as the feedback mechanism for content and replacing it with a new feedback system. For more information see:フィードバックの送信と表示