-functions-called-before-main)Задайте функции, что вы хотите сгенерированный main вызывать перед другими функциями
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Задайте функции, что вы хотите сгенерированный 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().
Эта опция включена, только если вы выбираете Verify module or library под Code Prover Verification, и ваш код не содержит main функция.
Несмотря на то, что эти функции вызваны перед другими функциями, они могут быть названы в произвольном порядке. Если вы хотите вызвать свои функции инициализации в определенном порядке, вручную запишите main функция, чтобы вызвать их.
Параметр: -functions-called-before-main |
Значение: |
| Никакое значение по умолчанию |
Пример 1 (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример 2 (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример 1 (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |
Пример 2 (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |