-functions-called-before-main)Укажите функции, которые должны быть созданы main вызов перед другими функциями
Этот параметр влияет только на анализ программы проверки кода.
Эта опция недоступна для кода, сгенерированного в моделях MATLAB ® или Simulink ®.
Укажите функции, которые должны быть созданы main вызов перед другими функциями.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Проверка проверочного кода (Code Prover Verification). Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -functions-called-before-main. См. раздел Сведения о командной строке.
При проверке модуля или библиотеки средство проверки кода генерирует main функция, если она не существует. Если 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().
Эта опция включена только в том случае, если в разделе «Проверка проверочного кода» выбран параметр «Проверить модуль или библиотеку», а код не содержит main функция.
Хотя эти функции называются впереди других функций, они могут вызываться в произвольном порядке. При необходимости вызова функций инициализации в определенном порядке вручную напишите main функция их вызова.
Параметр: -functions-called-before-main |
Значение: |
| По умолчанию нет |
Пример 1 (проверка кода):
polyspace-code-prover -sources |
Пример 2 (проверка кода):
polyspace-code-prover -sources |
Пример 1 (сервер проверки кода):
polyspace-code-prover-server -sources |
Пример 2 (сервер проверки кода):
polyspace-code-prover-server -sources |