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