-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 | custom= |
Значение по умолчанию: unused |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |
Class (-class-analyzer) | Verify module or library (-main-generator)