セクションの終わりをマークします。コードの形式でパラメーターの検証が既に含まれています。if-then-を認識します。EnsuresOnThrowメソッド呼び出しが続きます。ifされると、コントラクトツールはそれらをレガシ要求ステートメントとして認識します。if-then-のシーケンスに従っていない場合に限られますが、従来の必須のタグを付けることができます。legacy-requires.適用対象このページはお役に立ちましたか?はいいいえ追加のフィードバックはありますか?スキップ送信ありがとうございます。Cookie利用条件サイトのフィードバック商標このページはお役に立ちましたか?はいいいえ追加のフィードバックはありますか?スキップ送信ありがとうございます。Cookie利用条件サイトのフィードバック。