Stateflow チャートにおけるステートの書式をチェック
チェック ID: mathworks.jmaab.jc_0501
ガイドライン: jc_0501: ステート ラベルの改行
説明
メモ
前提条件: このチェックを実行する前に、構文チェックを実行してください。
ステートにおける entry アクション (en)、during アクション (du)、exit アクション (ex) のエントリ間で改行のない箇所を特定します。ステートメントにおけるセミコロン (;) の後の改行のない箇所を特定します。
entry、during、および exit の各エントリの後、ならびにステートメントの完了を示す ";" の後には改行を入れます。
このチェックには Simulink® Check™ および Stateflow® のライセンスが必要です。
チェックのパラメーター化
MAB モデリング ガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。
参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。
NA-MAAB — a
JMAAB — a
結果と推奨アクション
| 条件 | 推奨アクション |
|---|---|
entry (en) が改行されていない。 | entry の後に改行を追加します。 |
during (du) が改行されていない。 | during の後に改行を追加します。 |
exit (ex) が改行されていない。 | exit の後に改行を追加します。 |
| 1 つの行に複数のステートメントがある。 | 各ステートメントの後に改行を追加します。 |
機能および制限事項
ライブラリ モデルで実行されます。
ライブラリにリンクされたブロックの内容は解析しません。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。すべてのマスク サブシステムの内容を解析します。
ブロックおよびチャートの対象外指定が許容されます。
編集時チェック
このチェックは編集時チェックでサポートされます。
