检查表达式中的空格

检查 ID：mathworks.jmaab_v6.mp_0011

规范：mp_0011：插入一个单字节空格的方法

描述

检查表达式中二元运算符前后及逗号后是否有空格，以及一元运算符与操作数之间是否无空格。

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

  • Simulink® 中的 MATLAB Function 模块。

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

  • Stateflow 图中的状态和转移标签。

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

下面是此检查验证的一元运算符：

  • TRANS（共轭转置，或 '）

  • DOTTRANS（转置，或 .'）

  • NOT（逻辑非）

  • UMINUS（一元减号）

  • UPLUS（一元加号）

下面是此检查验证的二元运算符：

  • 'EQUALS'

  • 'PLUS'

  • 'MINUS'

  • 'MUL'

  • 'DIV'

  • 'LDIV'

  • 'EXP'

  • 'DOT'

  • 'AND'

  • 'OR'

  • 'LT'

  • 'GT'

  • 'DOTMUL'

  • 'DOTDIV'

  • 'DOTLDIV'

  • 'DOTLP',

  • ANDAND'

  • 'OROR'

  • 'LE'

  • 'GE'

  • 'EQ'

  • 'NE'

  • 'DOTEXP'

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

检查参数化

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

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

  • JMAAB - a

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

结果和建议的操作

条件建议的操作
一个或多个表达式在二元运算符前后或逗号后没有空格，或者在一元运算符与操作数之间有空格。在二元运算符前后以及逗号后添加空格。删除一元运算符与操作数之间的空格。

功能和限制

  • 分析中会排除冒号运算符。

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

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

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

  • 对库模型运行。

  • 允许排除模块和图。