Step functions (-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=function1[, function2[,...]]
Значение по умолчанию: none
Пример (Средство поиска Ошибки): Polyspace Bug Finder - источники file_name - основной генератор "функции, вызванные в цикле" все
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники file_name - основной генератор "функции, вызванные в цикле" все
Пример (Сервер Средства поиска Ошибки): сервер средства поиска ошибки полипробела - источники file_name - основной генератор "функции, вызванные в цикле" все
Пример (Сервер Программы автоматического доказательства Кода): сервер программы автоматического доказательства полипробела кода - источники file_name - основной генератор "функции, вызванные в цикле" все