检查函数返回值的利用情况

检查 ID：mathworks.jmaab_v6.mp_0040

规范：mp_0040：函数返回值的使用

描述

检查函数的返回值在使用前是否已赋给变量。

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

  • Simulink® 中的 MATLAB Function 模块。

  • Stateflow® 图中的 MATLAB® 函数。

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

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

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

检查参数化

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

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

  • JMAAB - a

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

选择排除条件语句，以排除对 while、if-else、for 和 switch 语句的分析。该复选框默认未选中。

结果和建议的操作

条件建议的操作
一个或多个函数的返回值在使用前未赋给变量。在使用函数的返回值之前，先将其赋给变量。

功能和限制

  • 无法检查匿名函数的返回值在使用前是否赋给变量。

  • 将未定义的变量视为不返回值的函数，并进行标记。

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

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

  • 对库模型运行。

  • 允许排除模块和图。