遷移ラベル内のコメントの位置をチェック

チェック ID: mathworks.jmaab.jc_0771

ガイドライン: jc_0771: 遷移ラベル内のコメントの配置

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

説明

遷移ラベル内で配置が統一されていないコメントを特定します。

このチェックには Simulink^® Check™ および Stateflow^® のライセンスが必要です。

チェックのパラメーター化

このチェックには、MAB および JMAAB モデリング ガイドラインで指定されているサブ ID に対応するサブチェックが含まれています。モデル アドバイザー構成エディターを使用して、実行するサブ ID (1 つ以上) を指定できます。

参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。

• NA-MAAB — a1/a2

• JMAAB — a1/a2

メモ

既定では、サブチェック jc_0771_a1 が選択されています。

結果と推奨アクション

ガイドライン サブ ID	条件	推奨アクション
jc_0771_a1: 遷移ラベルのコメントは上方に統一して配置しなければなりません。	遷移ラベル内の 1 つ以上のコメントが上方に配置されていない。	遷移ラベルのコメントは、遷移条件、条件アクション、遷移アクション、Stateflow イベントの上方に配置しなければなりません。
jc_0771_a2: 遷移ラベルのコメントは下方に統一して配置しなければなりません。	遷移ラベル内の 1 つ以上のコメントが下方に配置されていない。	遷移ラベルのコメントは、遷移条件、条件アクション、遷移アクション、Stateflow イベントの下方に配置しなければなりません。

機能および制限事項

• ライブラリ モデルで実行されます。

• ブロックまたはチャートの対象外指定がサポートされています。

• ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は [オン] に設定されます。

• マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は [グラフィカル] に設定されます。