Аннотации оператора

Описание

Задайте, включать ли аннотации оператора для Polyspace® в сгенерированном коде как комментарии.

Генерация кода Category:> Комментарии

Настройки

Значение по умолчанию: на

На

Включает аннотации оператора в сгенерированный код.

'off'

Не включает аннотации оператора в сгенерированный код.

Советы

  • Эти аннотации помогают документу переполнить поведения, которое происходит из-за способа, которым генератор кода реализует операцию. Эти операторы не могут быть прослежены до переполнения в проекте.

  • Выровняйте по ширине операторы, которые не может доказать программное обеспечение Polyspace. Когда эта опция включена, если генератор кода использует один из этих операторов, это добавляет аннотации в сгенерированный код, чтобы выровнять по ширине операторы для Polyspace.

  • Генератор кода не может выровнять по ширине операторы, которые следуют из проекта.

Зависимость

  • Этот параметр только появляется для основанных на ERT целей.

  • Этот параметр требует лицензии Embedded Coder® при генерации кода.

  • Include comments включает этот параметр.

Информация о командной строке

Параметр: OperatorAnnotations
Ввод: символьный вектор
Значение: 'on' | 'off'
Значение по умолчанию: 'on'

Рекомендуемые настройки

ПриложениеУстановка
ОтладкаНикакое влияние
ТрассируемостьНа
ЭффективностьНикакое влияние
Меры безопасности

Никакая рекомендация

Похожие темы