-main-generator)Задайте, что main функция должна быть сгенерирована, если она отсутствует в исходных файлах
В Bug Finder используйте эту опцию только для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте, что Polyspace® необходимо сгенерировать main функцию, если она не находит ее в исходных файлах.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification.
Командная строка и файл опций: Используйте опцию -main-generator. См. «Информация о командной строке».
Эта опция всегда включена для кода, сгенерированного из моделей.
Polyspace генерирует main функция для анализа. Сгенерированный main содержит циклический код, который выполняется в цикле. Цикл может запускаться неопределенное количество раз.
The main выполняет следующие функции перед началом цикла:
Инициализирует переменные, заданные Parameters (-variables-written-before-loop).
Вызывает функции, заданные Initialization functions (-functions-called-before-loop).
The main затем выполняет следующие функции в цикле:
Вызывает функции, заданные Step functions (-functions-called-in-loop).
Запись в переменные, заданные Inputs (-variables-written-in-loop).
Наконец, main вызывает функции, заданные Termination functions (-functions-called-after-loop).
Параметр: -main-generator |
| По умолчанию: On |
Пример (Bug Finder): Polyspace Bug Finder -sources |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |
Пример (Bug Finder Server): polyspace-bug-finder-server -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |