-functions-called-in-loop)Задайте функции что сгенерированный main должен вызвать в циклическом цикле кода
Используйте эту опцию только в коде, сгенерированном из моделей Simulink®.
Задайте функции что сгенерированный main должен вызвать в каждом цикле циклического кода.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция доступна на узле Code Prover Verification.
Командная строка: Используйте опцию -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 |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |