检查 Stateflow 中的终止结点

检查 ID：mathworks.jmaab.jc_0775

规范：jc_0775：流程图中的终止结点

标识流程图中终止结点的使用。

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

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

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

注意

子检查 jc_0775_a1 默认选中。

规范子 ID	条件	建议的操作
jc_0775_a1：确保只使用一个终止结点。	一个或多个 Stateflow 容器具有多个终止结点。	请考虑仅使用一个终止结点。
jc_0775_a2：检查以一个无条件转移作为输入的单一终止结点的使用。	一个或多个 Stateflow 容器存在以下情况之一：具有多个终止结点，或具有一个非无条件转移的终止结点。	请考虑仅使用以一个无条件转移作为输入的单一终止结点。