Укажите, включать ли аннотации оператора для Polyspace® в сгенерированном коде как комментарии.
Category: Генерация кода > Комментарии
По умолчанию: On
НаВключает аннотации оператора в сгенерированный код.
ПрочьНе включает аннотации оператора в сгенерированный код.
Эти аннотации помогают документировать поведение переполнения, которое связано с тем, как генератор кода реализует операцию. Эти операторы не могут быть прослежены до переполнения в проекте.
Разъясните операторам, что программное обеспечение Polyspace не может доказать. Когда эта опция включена, если генератор кода использует один из этих операторов, он добавляет аннотации к сгенерированному коду, чтобы обосновать операторы для Polyspace.
Генератор кода не может обосновать операторы, которые являются результатом проекта.
Этот параметр появляется только для целей, основанных на ERT.
Этот параметр требует Embedded Coder® лицензия при генерации кода.
Include comments включает этот параметр.
Параметр:
OperatorAnnotations |
| Тип: Вектор символов |
Значение:
'on''off' |
По умолчанию:
'on' |
| Приложение | Настройка |
|---|---|
| Отладка | Никакого влияния |
| Трассируемость | На |
| Эффективность | Никакого влияния |
| Меры безопасности | Нет рекомендации |
