运算符注解
R2026b在生成的注释中包含 Polyspace 的运算符注解
模型配置窗格: 代码生成 / 注释
描述
指定是否在生成代码中包含 Polyspace® 的运算符注解作为注释。
依赖关系
此参数仅对基于 ERT 的目标显示。
生成代码时，此参数需要 Embedded Coder® 许可证。
包括注释启用此参数。
设置
on (默认) | off- On
在生成代码中包含运算符注解。
- Off
不在生成代码中包含运算符注解。
提示
这些注解有助于记录由于代码生成器实现运算的方式而导致的溢出行为。这些运算符无法追溯到设计中的溢出。
申述 Polyspace 软件无法证明的运算符。当此选项启用时，如果代码生成器使用这些运算符之一，它会向生成代码添加注解，为 Polyspace 申述这些运算符。
代码生成器无法申述由设计生成的运算符。
推荐的设置
| 应用情形 | 设置 |
|---|---|
| 调试 | 无影响 |
| 可追溯性 | On |
| 效率 | 无影响 |
| 安全预警 | 无建议 |
编程用法
参数：OperatorAnnotations |
| 类型：字符向量 |
值：'on' | 'off' |
默认值：'on' |
版本历史记录
在 R2012b 中推出
