遷移線の矢印サイズのチェック

チェック ID: mathworks.jmaab_v6.jc_0902

ガイドライン: jc_0902: 遷移線の矢印サイズ

説明

遷移線の矢印サイズが入力パラメーターで設定された値と同じかどうかをチェックします。

このチェックは、以下のターゲット コンポーネントに適用されます。

  • Stateflow® チャート内の遷移。

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

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

JMAAB モデリング ガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。

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

  • JMAAB — a

次の入力パラメーターを構成してチェック アクションをカスタマイズできます。

入力パラメーター値既定値
矢印サイズStateflow チャート内の遷移線の端にある矢印のサイズ8

結果と推奨アクション

条件推奨アクション
遷移線の矢印が、予期されたサイズに設定されていない。遷移線の矢印サイズを、[矢印サイズ] 入力パラメーターで指定された値に変更します。

機能および制限事項

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

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

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

  • すべての子孫を含むチャートの対象外指定が許容されます。