检查 Stateflow 中的条件动作和转移动作
检查 ID：mathworks.jmaab.jc_0753
规范：jc_0753：Stateflow® 中的条件动作和转移动作
描述
检查在同一个图中条件动作和转移动作的使用是否统一。
此检查需要 Simulink® Check™ 和 Stateflow 许可证。
检查参数化
此检查包含与 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID（一个或多个）。
作为参考，NA-MAAB 和 JMAAB 建模标准组织建议使用的规范子 ID 为：
NA-MAAB - a1/a2
JMAAB - a1/a2
注意
默认情况下，子检查 jc_0753_a1 处于选中状态。
结果和建议的操作
| 规范子 ID | 条件 | 建议的操作 |
|---|---|---|
| jc_0753_a1：检查 Stateflow 图中的转移动作。 | 以下 Stateflow 图使用了转移动作。 | 不要在 Stateflow 图中使用转移动作。 |
| jc_0753_a2：检查同一 Stateflow 图中条件动作和转移动作的使用。 | 在一个图中混合使用了条件动作和转移动作。 | 在一个图中必须统一只使用条件动作或只使用转移动作。 |
功能和限制
对库模型运行。
可以分析封装子系统中的内容。默认情况下，输入参数 Look under masks 设置为 graphical。
可以分析库链接模块的内容。默认情况下，输入参数 Follow links 设置为 on。
允许排除模块和图。
