查看 Stateflow 图以了解一元运算符。
mathworks.hism.hisf_0211
依赖关系: Simulink® Check™ 和 Stateflow®
用法: 高完整性系统建模
说明
使用此检查来识别 Stateflow 图中无符号数据类型上的一元减号运算符。
检查参数
使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
| 跟随链接 | 指定是否将文库链接模块的内容纳入分析。 on（默认）| off |
| 查看封装内部 | 指定是否在分析中包含掩码模型元素。 全部（默认）| 无 | 图形 | 功能性
|
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| Stateflow 图包含一个用于无符号数据类型的一元减号运算符。 | 显式修改无符号数据类型上的一元运算符。有关详细信息，请参阅一元运算和动作 (Stateflow)。 |
功能和限制
无法在库模型上运行。
除了移位和除法运算之外，不会标记包含位运算符和算术运算符的表达式。
仅分析活动的变体选择
执行模型编译
版本历史记录
在 R2020a 中推出
