检查执行语句的描述
检查 ID：mathworks.jmaab_v6.mp_0007
规范：mp_0007：描述执行语句的方法
描述
检查执行语句是否写在单独的行上，并且每个执行语句是否以分号结尾。
执行语句是包含至少一个操作符的非空语句，且不是条件语句。
此检查适用于以下目标组件：
Simulink® 中的 MATLAB Function 模块。
Stateflow® 图中的 MATLAB® 函数。
Stateflow MATLAB 图中的状态、转移和真值表。
模型中引用的外部 MATLAB 文件。
此检查需要 Simulink Check™ 许可证。
检查参数化
此检查包含与 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID（一个或多个）。
作为参考，JMAAB 建模标准组织建议使用的规范子 ID 为：
JMAAB - a、b
选择检查模型中引用的外部 .m 文件，以在分析中包括模型引用的 .m 文件。默认情况下，该复选框处于选中状态。
结果和建议的操作
| 规范子 ID | 条件 | 建议的操作 |
|---|---|---|
| mp_0007_a：检查每个执行语句是否都自成一行。 | 多个执行语句写在同一行中。 | 将每个执行语句写在单独的一行上。 |
| mp_0007_b：检查每个执行语句末尾是否有分号。 | 一个或多个执行语句未以分号结尾。 | 在每个执行语句的末尾添加分号。 |
功能和限制
可以分析库链接模块的内容。默认情况下，输入参数 Follow links 设置为 on。
可以分析封装子系统中的内容。默认情况下，输入参数 Look under masks 设置为 all。
对库模型运行。
允许排除模块和图。
