-class-analyzer-calls)Задайте методы класса, которые вы хотите проверить
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Задайте методы класса что использование Polyspace®, чтобы сгенерировать main. Сгенерированный main может вызвать статические, общедоступные и защищенные методы в классах, что вы задаете использование опции Class.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -class-analyzer-calls. Смотрите информацию о Командной строке.
Если вы проверяете модуль или библиотеку, Программа автоматического доказательства Кода генерирует функцию main, если вы не существуете. Если main существует, анализ использует существующий main.
Используйте эту опцию и опцию Class (-class-analyzer), чтобы задать методы класса, которые должен вызвать сгенерированный main. Если метод класса не называется прямо или косвенно от main, программное обеспечение не анализирует метод.
Значение по умолчанию: unused
allСгенерированный main вызывает все открытые и защищенные методы. Это не вызывает методы, наследованные от родительского класса.
all-publicСгенерированный main вызывает все открытые методы. Это не вызывает методы, наследованные от родительского класса.
inherited-allСгенерированный main вызывает все открытые и защищенные методы включая наследованных от родительского класса.
inherited-all-publicСгенерированный main вызывает все открытые методы включая наследованных от родительского класса.
unusedСгенерированный main вызывает открытые и защищенные методы, которые не называются в коде.
unused-publicСгенерированный main вызывает открытые методы, которые не называются в коде. Это не вызывает методы, наследованные от родительского класса.
inherited-unusedСгенерированный main вызывает открытые и защищенные методы, которые не называются в коде включая наследованных от родительского класса.
inherited-unused-publicСгенерированный main вызывает открытые методы, которые не называются в коде включая наследованных от родительского класса.
customСгенерированный main вызывает методы, которые вы задаете.
Введите имена функций или выберите из списка.
Щелкните
, чтобы добавить поле и ввести имя функции.
Щелкните
, чтобы перечислить функции в вашем коде. Выберите функции из списка.
Если вы используете оператор разрешения области видимости, чтобы задать функцию от конкретного пространства имен, введите полностью определенное имя, например, myClass::myMethod(int). Если функция не имеет параметра, используйте пустую круглую скобку, например, myClass::myMethod().
Можно использовать эту опцию только если:
Source code language (-lang) установлен в CPP или C-CPP.
Параметр: -class-analyzer-calls |
Значение: all | all-public | inherited-all | inherited-all-public | unused | unused-public | inherited-unused | inherited-unused-public | |
Значение по умолчанию: unused |
Пример (программа автоматического доказательства кода): |
Пример (сервер программы автоматического доказательства кода):
|
Class (-class-analyzer) | Verify module or library (-main-generator)