检查循环控制变量的数据类型
mathworks.hism.hisl_0102
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0102:改进 MISRA C:2012 合规性的循环控制变量数据类型
说明
此检查会识别使用非整数数据类型的循环控制变量。
该项检查适用于：
用于迭代器块。
MATLAB 函数块中的 for 循环。
检查参数
使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
跟随链接 | 验证并追踪 Simulink 模型中的链接。 on（默认）| off |
查看封装内部 | 指定是否在分析中包含掩码模型元素。 全部（默认）| 无| 图形| 功能性
|
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| 对于迭代器块，循环控制计数器变量使用非整数数据类型。 | 将循环控制计数器变量的数据类型设置为整数数据类型。 |
| MATLAB 函数块中的循环控制计数器变量使用非整数数据类型的 for 循环。 | 将循环控制计数器变量的数据类型设置为整数数据类型。 |
| 对于迭代器或 MATLAB 函数块，循环控制计数器变量使用的数据类型无法确定。 | 手动核实变量的数据类型。 |
功能和限制
不查看 Stateflow 图内的循环控制变量
无法在库模型上运行。
允许排除模块和图
将未确定的数据类型标记为信息性结果
仅分析活动的变体选择
执行模型编译
版本历史记录
在 R2018b 中推出
