アサーション・フラグのインプリメント

アサーション・フラグは、アサーション・タイプ・エディターでインプリメントすることも、 「ポリシー・コントラクト (Policy Contract)」タブからインプリメントすることもできます。

詳しくは、アサーション・タイプ・エディターの処理を参照してください。

サポートされているアサーション・フラグは次のとおりです。

ナビゲーション

ポリシーまたはエディターのエディターにナビゲートし、ワークベンチの下部から「アサーション」タブにアクセスします。

関連概念
アサーションの追加
アサーション・リストのセットアップ
アサーション・タイプ・エディターの処理