Operator annotations

Include operator annotations for Polyspace in generated comments

Model Configuration Pane: Code Generation / Comments

Description

Specify whether to include operator annotations for Polyspace^® in the generated code as comments.

Dependencies

• This parameter only appears for ERT-based targets.

• This parameter requires an Embedded Coder^® license when generating code.

• Include comments enables this parameter.

Settings

on (default) | off

On

Includes operator annotations in the generated code.

Off

Does not include operator annotations in the generated code.

Tips

• These annotations help document overflow behavior that is due to the way the code generator implements an operation. These operators cannot be traced to an overflow in the design.

• Justify operators that the Polyspace software cannot prove. When this option is enabled, if the code generator uses one of these operators, it adds annotations to the generated code to justify the operators for Polyspace.

• The code generator cannot justify operators that result from the design.

Recommended Settings

Application	Setting
Debugging	No impact
Traceability	On
Efficiency	No impact
Safety precaution	No recommendation

Programmatic Use

Parameter: OperatorAnnotations

Type: character vector

Value: 'on' | 'off'

Default: 'on'

Version History

Introduced in R2012b