Stateflow チャートでの単項マイナス演算の使用をチェック

チェック ID: mathworks.maab.jc_0451

ガイドライン: jc_0451: 符号なし整数に対する単項マイナス

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

説明

Stateflow^® オブジェクトにおける符号なし整数に単項マイナス演算が適用されているかどうかを確認します。

Stateflow オブジェクトでは、符号なし整数に単項マイナス演算を適用しないでください。

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

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

MAB モデリング ガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。

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

• NA-MAAB — a

• JMAAB — a

結果と推奨アクション

条件	推奨アクション
Stateflow オブジェクトにおける符号なし整数に単項マイナス演算が適用されている。	指定されたオブジェクトを変更して、単項マイナス演算への依存関係を削除します。

機能および制限事項

• ライブラリ モデルでは動作しません。

• ライブラリにリンクされたブロックの内容は解析しません。

• 式に単項演算子が含まれている場合は、データ型を判別しません。

• すべてのマスク サブシステムの内容を解析します。

• ブロックおよびチャートの対象外指定が許容されます。

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