Stateflow 演算子をチェック

チェック ID: mathworks.jmaab.na_0001

ガイドライン: na_0001: Stateflow^® における演算子の統一

Stateflow における演算子の使用を特定します。

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

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

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

メモ

既定では、サブチェック na_0001_a、na_0001_b1、および na_0001_c が選択されています。

ガイドラインサブ ID	条件	推奨アクション
na_0001_a: Stateflow でのビット演算子の使用方法。	1 つ以上の式で、ビット演算子の使用方法が正しくない。	ビット演算子 ('&'、'\|'、'^'、'~') をビット演算のみに使用することを検討してください。
na_0001_b1: Stateflow での不等式演算子 (~=) の使用方法。	1 つ以上の式で、不等演算子の使用方法が正しくない。	'~=' を不等式演算に使用することを検討してください。
na_0001_b2: Stateflow での不等式演算子 (!=) の使用方法。	1 つ以上の式で、不等演算子の使用方法が正しくない。	'!=' を不等式演算に使用することを検討してください。
na_0001_b3: Stateflow での不等式演算子 (<>) の使用方法。	1 つ以上の式で、不等演算子の使用方法が正しくない。	'<>' を不等式演算に使用することを検討してください。
na_0001_c: Stateflow での論理否定演算子の使用方法。	1 つ以上のシナリオで、論理否定演算子の使用方法が正しくない。	'!' を論理否定演算に使用することを検討してください。