-class-analyzer-calls)Укажите методы классов, которые необходимо проверить
Этот параметр влияет только на анализ программы проверки кода.
Эта опция недоступна для кода, сгенерированного в моделях MATLAB ® или Simulink ®.
Укажите методы классов, используемые 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 -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |