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