-main-generator-calls
)Задайте функции, что вы хотите сгенерированный main
вызывать после функций инициализации
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Эта опция не доступна для кода, сгенерированного из кода MATLAB® или моделей Simulink®.
Задайте функции, что вы хотите сгенерированный 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)