检查 Stateflow 转移外观

检查 ID：mathworks.jmaab.db_0129

规范：db_0129：Stateflow^® 转移外观

检查从视觉上看与其他 Stateflow 对象重叠的 Stateflow 转移。

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

此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID（一个或多个）。

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

选择输入参数检查自转移以标记自转移。

规范子 ID	条件	建议的操作
db_0129_a：检查相互交叉的转移线	转移线相互交叉。	请考虑重新设计，确保转移线不会相互交叉。
db_0129_b：检查相互重叠的转移线	转移线与其他转移线重叠。	请考虑重新设计，确保转移线不会与其他转移线重叠。
db_0129_c：检查与其他 Stateflow 对象存在交叉的转移线	转移线与其他 Stateflow 对象交叉。	请考虑重新设计，确保转移线不会与其他 Stateflow 对象交叉。
db_0129_d：检查转移线的方向	对于流程图循环，转移不是垂直或水平和/或对角形式的。	请考虑重新建模，对流程图循环仅使用水平或垂直转移以及对角转移。
db_0129_e：检查不必要的连接结点	一个或多个图使用不必要的连接结点。	请尽量避免不必要的连接结点。