检查 Stateflow 图，确保数据类型正确。
mathworks.hism.hisf_0015
依赖关系: Simulink® Check™ 和 Stateflow®
用法: 高完整性系统建模
规范: hisf_0015:强数据类型（表达式中的变量和参数类型转换）
说明
使用此检查来识别 Stateflow 状态和转换中具有不同数据类型的表达式中的变量和参数。
检查参数
使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
| 跟随链接 | 指定是否将文库链接模块的内容纳入分析。 on（默认）| off |
| 查看封装内部 | 指定是否在分析中包含掩码模型元素。 全部（默认）| 无 | 图形 | 功能性
|
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| Stateflow 对象在表达式中具有不同数据类型的变量和参数。 | 将表达式中的变量和参数显式转换为相同的数据类型。有关详细信息，请参阅 |
功能和限制
无法在库模型上运行。
允许排除模块和图
不会分析 Stateflow 对象表达式中字面量的类型，而是显式地将字面量的类型转换为预期的数据类型。
不会标记包含
true和false关键字的表达式。有关详细信息，请参阅其他常见保留关键字 (Embedded Coder)。不分析用 C 语言编写并嵌入到 Stateflow 中的外部函数
在某些情况下，当无法通过检查确定数据类型时，会报告信息状态。
仅分析活动的变体选择
执行模型编译
版本历史记录
在 R2021a 中推出
