-functions-called-before-loop)Задайте функции что сгенерированный main должен вызвать перед циклическим циклом кода
Используйте эту опцию только для кода, сгенерированного из кода MATLAB® или моделей Simulink®.
Задайте функции что сгенерированный main должен вызвать, прежде чем циклический код начинается.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция доступна на узле Code Prover Verification. Вы видите эту опцию, только если вы открываете настройку проекта от Simulink.
Командная строка и файл опций: Используйте опцию -functions-called-before-loop. Смотрите информацию о командной строке.
Никакое значение по умолчанию
Щелкните
, чтобы добавить поле. Введите имя функции.
Если вы используете оператор разрешения области видимости, чтобы задать функцию от конкретного пространства имен, введите полностью определенное имя, например, myClass::init(int). Если функция не имеет параметра, используйте пустую круглую скобку, например, myClass::init().
Если вы задаете функцию для опции Termination functions (-functions-called-after-loop), вы не можете задать его для этой опции.
Параметр: -functions-called-before-loop |
| Никакое значение по умолчанию |
Значение: |
Пример (Bug Finder): Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |