このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
演算子の注釈
Polyspace の演算子の注釈を生成コメントに含める
モデル コンフィギュレーション ペイン: [コード生成] / [コメント]
説明
Polyspace® の演算子の注釈をコメントとして生成コードに含めるかどうかを指定します。
依存関係
このパラメーターは ERT ベースのターゲットの場合にのみ表示されます。
このパラメーターには、コード生成時に Embedded Coder® のライセンスが必要です。
[コメントを含める] によって、このパラメーターが有効になります。
設定
on (既定値) | off- オン
演算子の注釈を生成コードに含めます。
- オフ
演算子の注釈を生成コードに含めません。
ヒント
これらの注釈は、コード ジェネレーターによる演算の実装方法に起因するオーバーフローの動作を記述するのに役立ちます。これらの演算子を設計でオーバーフローまでたどることはできません。
Polyspace ソフトウェアで証明できない演算子を位置調整します。このオプションが有効になっていると、コード ジェネレーターはこれらの演算子のいずれかを使用する場合に、Polyspace の演算子を位置調整するための注釈を生成コードに追加します。
設計から生じる演算子はコード ジェネレーターでは位置調整できません。
推奨設定
| アプリケーション | 設定 |
|---|---|
| デバッグ | 影響なし |
| トレーサビリティ | オン |
| 効率性 | 影響なし |
| 安全対策 | 推奨なし |
プログラムでの使用
パラメーター: OperatorAnnotations |
| 型: 文字ベクトル |
値: 'on' | 'off' |
既定の設定: 'on' |
バージョン履歴
R2012b で導入
