检查 Stateflow 图中状态模块中的条目是否具有正确的格式

检查 ID：mathworks.jmaab.jc_0501

规范：jc_0501：State 模块中入口语句的格式

描述

注意

前提条件：在运行此检查前运行了语法检查。

标识状态中 entry 动作 (en)、during 动作 (du) 和 exit 动作 (ex) 入口语句间缺失换行符的情形。标识语句中分号 (;) 后缺失换行符的情形。

在 entry、during 和 exit 入口语句后以及语句“;”结束后开始新的一行。

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

检查参数化

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

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

  • NA-MAAB - a

  • JMAAB - a

结果和建议的操作

条件建议的操作
entry (en) 不在新的一行。请在 entry 后添加新行。
during (du) 不在新的一行。 请在 during 后添加新行。
exit (ex) 不在新的一行。请在 exit 后添加新行。
在一行中发现多个语句。请在每个语句后添加一个新行。

功能和限制

  • 对库模型运行。

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

  • 分析所有封装子系统中的内容。

  • 允许排除模块和图。

编辑时检查

此检查支持编辑时检查。