检查 From 和 Goto 模块的作用域
检查 ID：mathworks.maab.na_0011
规范：na_0011：Goto 和 From 模块的作用域
描述
检查 From 和 Goto 模块的作用域。
您可以为控制流使用全局作用域。但是，From 和 Goto 模块必须对信号流使用局部作用域。
此检查需要 Simulink® Check™ 许可证。
检查参数化
此检查不包括子检查，因为 JMAAB 建模规范仅提供一个子 ID。
作为参考，NA-MAAB 和 JMAAB 建模标准组织建议使用的规范子 ID 为：
NA-MAAB - a
JMAAB - a
结果和建议的操作
| 条件 | 建议的操作 |
|---|---|
| From 和 Goto 模块未配置为局部作用域。 |
|
功能和限制
无法在库模型上运行。
可以分析库链接模块的内容。
分析所有封装子系统中的内容。
允许排除模块和图。
