检查非空语句的使用

检查 ID：mathworks.jmaab_v6.mp_0047

规范：mp_0047：使用非空语句需要满足的条件

描述

检查满足以下条件的非空语句。

  • 对整体代码没有影响。

  • 不具备改变程序控制流的能力。

注意

此检查将非空语句视为：并非仅包含分号的空白代码行。

例如，以下语句不会对代码产生影响，因为变量 bar 与一个数字进行比较，但未将结果保存以供进一步使用。

bar == 1;

此检查适用于以下目标组件：

  • Simulink® 中的 MATLAB Function 模块。

  • Stateflow® 图中的 MATLAB® 函数。

  • Stateflow MATLAB 图中的状态、转移和真值表。

  • 模型中引用的外部 MATLAB 文件。

此检查需要 Simulink Check™ 许可证。

检查参数化

此检查不包括子检查，因为 JMAAB 建模规范仅提供一个子 ID。

作为参考，JMAAB 建模标准组织建议使用的规范子 ID 为：

  • JMAAB - a

选择检查模型中引用的外部 .m 文件，以在分析中包括模型引用的 .m 文件。默认情况下，该复选框处于选中状态。

结果和建议的操作

条件建议的操作
一个或多个非空语句不会对整体代码产生影响，也不会改变程序的控制流。修改或删除那些对整体代码没有影响或不改变程序控制流的非空语句。

功能和限制

  • 可以分析库链接模块的内容。默认情况下，输入参数 Follow links 设置为 on。

  • 可以分析封装子系统中的内容。默认情况下，输入参数 Look under masks 设置为 all。

  • 对库模型运行。

  • 允许排除模块和图。