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

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

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

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

ナビゲーション

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

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