Stateflow での数値リテラルの使用法をチェック
チェック ID: mathworks.jmaab.jc_0702
ガイドライン: jc_0702: Stateflow のパラメーター/定数名の設定
説明
Stateflow のステートと遷移における数値リテラルの使用を特定します。
メモ
このチェックの例外は次のとおりです。
"0" に設定されている初期値。
"1" に設定されているインクリメント、デクリメントの値。
配列のインデックス付けにはリテラルが使用されます。
このチェックには Simulink® Check™ および Stateflow® のライセンスが必要です。
チェックのパラメーター化
MAB モデリング ガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。
参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。
NA-MAAB — a
JMAAB — a
結果と推奨アクション
| 条件 | 推奨アクション |
|---|---|
| Stateflow ステートおよび Stateflow 遷移内の 1 つ以上の式に数値リテラルが含まれている。 | 再モデル化して、数値リテラルの代わりに名前付きパラメーターおよび定数を使用することを検討してください。 |
機能および制限事項
ライブラリ モデルで実行されます。
ブロックまたはチャートの対象外指定がサポートされています。
ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[グラフィカル]に設定されます。Truth Table (Stateflow) ブロックと Stateflow 遷移表はサポートされていません。
