Stateflow データ名に使用できる文字かどうかをチェック

チェック ID: mathworks.jmaab.jc_0795

ガイドライン: jc_0795: Stateflow^® データ名に使用できる文字

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

説明

Stateflow データ名が以下のガイドライン標準に準拠しているかどうかをチェックします。

• 先頭または末尾がアンダースコアではない。

• 連続したアンダースコアが含まれていない。

• MATLAB^® 予約語と一致していない。

メモ

MATLAB 予約語には以下のものがあります。

• 組み込み関数: builtin

• MATLAB パス内の関数: 関数リスト

• 予約キーワード (Embedded Coder)

• nil

• nan

• inf

• infinity

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

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

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

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

• NA-MAAB — a、b、c、d

• JMAAB — a、b、c、d

結果と推奨アクション

ガイドライン サブ ID	条件	推奨アクション
jc_0795_a: 先頭にアンダースコア。	1 つ以上の Stateflow データ名の先頭がアンダースコアである。	Stateflow データの名前を変更します。
jc_0795_b: 末尾にアンダースコア。	1 つ以上の Stateflow データ名の末尾がアンダースコアである。	Stateflow データの名前を変更します。
jc_0795_c: 連続したアンダースコア。	1 つ以上の Stateflow データ名に連続したアンダースコアがある。	Stateflow データの名前を変更します。
jc_0795_d: 単一の MATLAB 予約語。	Stateflow データ名が MATLAB 予約語である。	Stateflow データに別の名前を使用します。

機能および制限事項

• JMAAB ガイドライン、Version 5.1 の制限: このチェックでは、名前の先頭にアンダースコアが使用されている Stateflow データ名は検出されません。(サブ ID a)

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

• チャートの対象外指定が許容されます。

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

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

• Truth Table (Stateflow) ブロックと Stateflow 遷移表はサポートされていません。