检查 Stateflow 数据对象的作用域
mathworks.hism.hisf_0017
依赖关系: Simulink® Check™ 和 Stateflow®
用法: 高完整性系统建模
规范: hisf_0017:Stateflow 数据对象作用域
说明
使用此检查来识别作用域为本地作用域但作用域未限定在图级别或以下的 Stateflow 数据对象。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| 一个或多个具有本地作用域的 Stateflow 数据对象未在图级别或以下级别定义。 | 请确保在图级别或更低级别定义所有具有本地作用域的 Stateflow 数据对象。 |
功能和限制
无法分析库链接模块的内容。
不分析掩码子系统中的内容
允许排除模块和图
无需模型编译
版本历史记录
在 R2020a 中推出
