-main-generator-calls)Задайте функции, которые вы хотите сгенерировать main вызов после инициализации функций
Эта опция влияет только на анализ Code Prover.
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте функции, которые вы хотите сгенерировать main позвонить. The main вызывает эти функции после тех, которые вы задаете через опцию Initialization functions (-functions-called-before-main).
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -main-generator-calls. См. «Информация о командной строке».
Если вы проверяете модуль или библиотеку, Code Prover генерирует main функция, если она не существует. Если a main существует, в анализе используются существующие main.
Используйте эту опцию вместе с опцией Initialization functions (-functions-called-before-main) чтобы указать, какие функции сгенерированы main должен вызвать. Если функция не вызывается прямо или косвенно из mainпрограммное обеспечение не анализирует функцию.
По умолчанию: unused
none Сгенерированный main не вызывает никакой функции.
unused Сгенерированный main вызывает только те функции, которые не вызываются в исходном коде. Это не вызывает встроенные функции.
all Сгенерированный main Вызовы все функции, кроме встроенных таковых.
custom Сгенерированный main вызывает функции, которые вы задаете.
Введите имена функции или выберите из списка.
Щелкните
, чтобы добавить поле и ввести имя функции.
Щелкните
, чтобы отобразить функции в коде. Выберите функции из списка.
Если вы используете оператор разрешения возможностей для задания функции из определенного пространства имен, введите полное имя, например myClass::myMethod(int). Если функция не имеет параметра, используйте пустую круглую скобку, например myClass::myMethod().
Эта опция доступна только при выборе Verify module or library (-main-generator).
Выберите unused при использовании Code Prover Verification > Verify files independently.
Если необходимо сгенерировать main чтобы вызвать встроенную функцию, выберите custom и укажите имя функции.
Чтобы проверить многозадачное приложение без основного, выберите none.
Сгенерированный main может вызвать функции в произвольном порядке. Если вы хотите вызвать свои функции в определенном порядке, вручную напишите main функцию, чтобы вызвать их.
Чтобы задать экземпляры шаблонов в качестве аргументов, запуск анализ один раз с опцией аргументом all. Поиск имени шаблона в журнале анализа и использование имени шаблона в том виде, в котором оно отображается в журнале анализа для аргумента опция.
Например, чтобы задать этот экземпляр функции шаблона как аргумент опции:
template <class T>
T GetMax (T a, T b) {
T result;
result = (a>b)? a : b;
return (result);
}
template int GetMax<int>(int, int); // explicit instantiation
-main-generator-calls all. Поиск getMax в журнале анализа. Вы видите формат функции:T1 getMax<int>(T1, T1)
-main-generator-calls custom="T1 getMax<int>(T1,T1)"
Параметр: -main-generator-calls |
Значение: none | unused | all | custom |
По умолчанию: unused |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |