-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 |
|
Значение по умолчанию: unused |
Пример (программа автоматического доказательства кода):
|
Пример (сервер программы автоматического доказательства кода):
|
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)