-functions-called-in-loop)Задайте функции, которые сгенерированы main должен вызвать циклический цикл кода
Используйте эту опцию только для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте функции, которые сгенерированы main должен вызываться в каждом цикле циклического кода.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция доступна на узле Code Prover Verification. Эта опция отображается только при открытии строения проекта из Simulink.
Командная строка и файл опций: Используйте опцию -functions-called-in-loop. См. «Информация о командной строке».
По умолчанию: none
none Сгенерированный main не вызывает функции в циклическом коде.
all Сгенерированный main Вызовы все функции, кроме встроенных таковых. Если вы задаете определенные функции для опций Initialization functions или Termination functions, сгенерированный main не вызывает эти функции в циклическом коде.
custom Сгенерированный main вызывает функции, которые вы задаете. Щелкните
, чтобы добавить поле. Введите имя функции.
Если вы используете оператор разрешения возможностей для задания функции из определенного пространства имен, введите полное имя, например myClass::myMethod(int). Если функция не имеет параметра, используйте пустую круглую скобку, например myClass::myMethod().
Если вы определили функцию для опции Initialization functions (-functions-called-before-loop) или Termination functions (-functions-called-after-loop), чтобы вызвать его внутри циклического кода, используйте custom и укажите имя функции.
Параметр: -functions-called-in-loop |
Значение: none | all | custom |
По умолчанию: none |
Пример (Bug Finder):
Polyspace Bug Finder -sources file_name |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |