-functions-called-before-main)Задайте функции, что вы хотите сгенерированный main вызывать перед другими функциями
Эта опция влияет на анализ Code Prover только.
Эта опция не доступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте функции, что вы хотите сгенерированный main вызывать перед другими функциями.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка и файл опций: Используйте опцию -functions-called-before-main. Смотрите информацию о командной строке.
Если вы проверяете модуль или библиотеку, Code Prover генерирует 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().
Эта опция включена, только если вы выбираете Verify module or library под Code Prover Verification, и ваш код не содержит main функция.
Несмотря на то, что эти функции вызваны перед другими функциями, они могут быть названы в произвольном порядке. Если вы хотите вызвать свои функции инициализации в определенном порядке, вручную запишите main функция, чтобы вызвать их.
Параметр: -functions-called-before-main |
Значение: |
| Никакое значение по умолчанию |
Пример 1 (Code Prover):
Polyspace Code Prover - источники |
Пример 2 (Code Prover):
Polyspace Code Prover - источники |
Пример 1 (Сервер Code Prover):
сервер программы автоматического доказательства полипробела кода - источники |
Пример 2 (Сервер Code Prover):
сервер программы автоматического доказательства полипробела кода - источники |
Verify module or library (-main-generator) | Variables to initialize (-main-generator-writes-variables) | Functions to call (-main-generator-calls) | Class (-class-analyzer) | Functions to call within the specified classes (-class-analyzer-calls)