检查 From 和 Goto 模块的作用域

检查 ID：mathworks.jmaab_v6.na_0011

规范：na_0011：Goto 和 From 模块的作用域

检查 From 和 Goto 模块的作用域。

您可以为控制流使用全局作用域。但是，From 和 Goto 模块必须对信号流使用局部作用域。

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

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

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

规范子 ID	条件	建议的操作
na_0011_a：检查 Goto 模块的作用域	From 和 Goto 模块未配置为局部作用域。	请确保端口已连接。将指定模块的作用域更改为局部。
na_0011_b：检查连接到 Goto 模块的输入端口	Inport 模块的输出信号仅连接到 Goto 模块。	从 Inport 模块引出至少一条分支信号线，连接到 Goto 模块以外的模块。
na_0011_c：检查连接到 From 模块的输出端口	From 模块的输出信号直接连接到 Outport 模块。	不要将 From 模块直接连接到 Outport 模块。