Main Content

检查数组索引

检查 ID：mathworks.jmaab_v6.mp_0046

规范：mp_0046：如何描述数组索引

描述

检查是否使用了表达式计算数组索引。

允许以下情况。

  • 使用冒号运算符 :。

  • 对由 end 关键字表示的数组的最后一个元素执行加法或减法。

此检查适用于以下目标组件中的数组索引：

  • Simulink® 中的 MATLAB Function 模块。

  • Stateflow® 图中的 MATLAB® 函数。

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

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

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

检查参数化

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

对于引用，JMAAB 建模标准组织建议使用的规范子 ID 为：

  • JMAAB - a

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

结果和建议的操作

条件建议采取的操作
使用表达式计算一个或多个数组索引。重写数组索引，避免使用除冒号运算符以及对 end 执行加法和减法以外的表达式。

功能和限制

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

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

  • 对库模型运行。

  • 允许排除模块和图。