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