-class-analyzer-calls)Укажите методы класса, которые вы хотите проверить
Эта опция влияет только на анализ Code Prover.
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте методы класса, которые Polyspace® использует, чтобы сгенерировать main. Сгенерированный main может вызывать статические, общие и защищенные методы в классах, которые вы задаете используя опцию Class.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -class-analyzer-calls. См. «Информация о командной строке».
Если вы проверяете модуль или библиотеку, Code Prover генерирует main функция, если она не существует. Если a 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 |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |
Class (-class-analyzer) | Verify module or library (-main-generator)