检查 Stateflow 数据的定义

检查 ID：mathworks.jmaab_v6.db_0125

规范：db_0125：Stateflow^® 局部数据

标识在状态机级定义的 Stateflow 数据上设置的作用域值。

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

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

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

规范子 ID	条件	建议的操作
db_0125_a：检查状态机级上作用域设置为 "局部" 的 Stateflow 数据	Stateflow 数据，其作用域在状态机级上定义为局部	不要在状态机级上将数据的作用域定义为局部。
db_0125_b：检查状态机级上作用域设置为 "常量" 的 Stateflow 数据	Stateflow 数据，其作用域在状态机级上定义为变量	不要在状态机级上将数据的作用域定义为常量。
db_0125_c：检查状态机级上作用域设置为 "参数" 的 Stateflow 数据	Stateflow 数据，其作用域在状态机级上定义为参数	不要在状态机级上将数据的作用域定义为参数。
db_0125_d：检查 Stateflow 模块层次结构上是否存在重复的 Stateflow 数据名称	在图中定义的 Stateflow 数据在相同的 Stateflow 模块层次结构中有多个定义。	在层次结构中使用唯一的 Stateflow 数据名称。