ジャンクション サイズのチェック
チェック ID: mathworks.jmaab_v6.jc_0907
ガイドライン: jc_0907: ジャンクションのサイズ
説明
ジャンクションのサイズが入力パラメーターで設定された値と同じであるかをチェックします。
このチェックは、以下のターゲット コンポーネントに適用されます。
Stateflow® チャート内のジャンクション。
このチェックには Simulink® Check™ ライセンスが必要です。
チェックのパラメーター化
JMAAB モデリング ガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。
参考として、JMAAB モデリング標準組織で使用が推奨されているガイドライン サブ ID は以下のとおりです。
JMAAB — a
次の入力パラメーターを構成してチェック アクションをカスタマイズできます。
| 入力パラメーター | 値 | 既定値 |
|---|---|---|
| ジャンクションのサイズ | Stateflow チャート内のジャンクション サイズ | 14 |
結果と推奨アクション
| 条件 | 推奨アクション |
|---|---|
| Stateflow ジャンクションが予期されるサイズに設定されていない。 | [ジャンクション サイズ] 入力パラメーターで指定された値にジャンクションのサイズを変更します。 |
機能および制限事項
ライブラリ モデルで実行されます。
ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[すべて]に設定されます。すべての子孫を含むチャートの対象外指定が許容されます。
