检查 Stateflow 图中的默认转移放置

mathworks.jmaab.jc_0531检查 ID：

规范：jc_0531：默认转移

检查 Stateflow^® 图中的默认转移放置

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

规范子 ID	条件	建议的操作
jc_0531_a：检查每个级别的默认转移	模型中的一个或多个状态或结点在其级别上没有默认转移。	请确保每个级别至少有一个默认转移。
jc_0531_b：检查具有默认转移的并行状态	模型中一个或多个并行状态具有默认转移。	默认转移不得用于并行状态。
jc_0531_c：检查同一级别上的多个默认转移	模型中的一个或多个状态在同一级别上具有多个默认转移。	请确保同一级别中不包含多个默认转移。
jc_0531_d：检查未连接到状态或结点顶部的默认转移	模型中的一个或多个默认转移未连接到状态或结点的上部。	默认转移必须垂直连接到状态或结点的上部。
jc_0531_e：检查同一级别中位于左上角以外的默认转移	模型中一个或多个默认转移的目标状态或结点未位于左上角。	默认转移状态的目标状态或结点必须位于同一级别的左上角。
jc_0531_f：检查超出状态边界的默认转移	模型中的一个或多个默认转移超出了状态边界。	默认转移不能超出状态边界。
jc_0531_g：检查无条件默认转移	模型中的一个或多个默认转移没有通向图中该级别任何状态的单一非保护路径。	将不存在无条件默认转移参数设置为推荐值 'error'。