-functions-called-before-main)Задайте функции, которые вы хотите сгенерировать main вызов перед другими функциями
Эта опция влияет только на анализ Code Prover.
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте функции, которые вы хотите сгенерировать main вызов перед другими функциями.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -functions-called-before-main. См. «Информация о командной строке».
Если вы проверяете модуль или библиотеку, Code Prover генерирует main функция, если она не существует. Если a main существует, в анализе используются существующие main.
Используйте эту опцию вместе с опцией Functions to call (-main-generator-calls) чтобы указать, какие функции сгенерированы main должен вызвать. Если функция не вызывается прямо или косвенно из mainпрограммное обеспечение не анализирует функцию.
По умолчанию нет
Введите имена функции или выберите из списка.
Щелкните
, чтобы добавить поле и ввести имя функции.
Щелкните
, чтобы отобразить функции в коде. Выберите функции из списка.
Если функция или метод не перегружены, задайте имя функции. В противном случае задайте прототип функции с аргументами. Например, в следующем коде необходимо задать прототипы func(int) и func(double).
int func(int x) {
return(x * 2);
}
double func(double x) {
return(x * 2);
}Метод класса: Сгенерированный main вызывает конструктор классов перед вызовом этой функции.
Не метод класса: Сгенерированный main вызывает эту функцию перед вызовом методов класса.
Если вы используете оператор разрешения возможностей для задания функции из определенного пространства имен, введите полное имя, например myClass::init(int). Если функция не имеет параметра, используйте пустую круглую скобку, например myClass::init().
Эта опция включена, только если вы выбираете Verify module or library под Code Prover Verification и ваш код не содержит main функция.
Хотя эти функции вызываются раньше других функций, их можно вызвать в произвольном порядке. Если вы хотите вызвать функцию инициализации в определенном порядке, вручную напишите main функцию, чтобы вызвать их.
Параметр: -functions-called-before-main |
Значение: |
| По умолчанию нет |
Пример 1 (Code Prover):
Polyspace Code Prover -sources |
Пример 2 (Code Prover):
Polyspace Code Prover -sources |
Пример 1 (Код Prover Server):
Полипространство -code-prover-server -sources |
Пример 2 (Код Prover Server):
Полипространство -code-prover-server -sources |