空でないステートメントの使用のチェック

チェック ID: mathworks.jmaab_v6.mp_0047

ガイドライン: mp_0047: 空でない文が満たすべき条件

以下の条件を満たす空でないステートメントをチェックします。

メモ

このチェックでは、セミコロンが続く空のコード行ではないステートメントを、空でないステートメントとみなします。

たとえば、次のステートメントは、コードに影響しません。これは、変数 bar が、後から使用するために結果を保存することなく、数値と比較されているためです。

bar == 1;

このチェックは、以下のターゲットコンポーネントに適用されます。

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

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

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

[モデル内で参照されている外部の .m ファイルをチェックします] を選択して、モデルで参照される .m ファイルを解析に含めます。既定では、このチェックボックスは選択されています。

条件	推奨アクション
1 つ以上の空でないステートメントが、コード全体に影響せず、プログラムの制御フローを変更していない。	コード全体に影響せず、プログラムの制御フローを変更していない空でないステートメントを変更または削除します。