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