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