检查运算符优先级

检查 ID：mathworks.jmaab_v6.mp_0010

规范：mp_0010：算术表达式中运算符的优先级

描述

检查具有不同优先级的运算符的表达式是否使用括号来表明运算顺序。

有关详细信息，请参阅运算符优先级。

此检查适用于以下目标组件中的表达式：

  • Simulink® 中的 MATLAB Function 模块。

  • Stateflow® 图中的 MATLAB® 嵌入式函数。

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

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

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

检查参数化

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

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

  • JMAAB - a

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

结果和建议的操作

条件建议的操作
一个或多个具有不同优先级的运算符的表达式不使用括号来表明运算顺序。重写表达式，使用括号指明运算顺序。

功能和限制

  • 无法分析 Stateflow 图中的状态和转移标签。

  • 不支持排除外部 MATLAB 文件。

  • 当 Stateflow 动作语言为 C 时，无法分析。

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

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

  • 对库模型运行。

  • 允许排除模块和图。

另请参阅