-class-only)Не анализируйте код, кроме методов класса
Эта опция влияет только на анализ Code Prover.
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте, что Polyspace® необходимо проверить только те методы классов, которые вы задаете используя опцию Class (-class-analyzer).
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -class-only. См. «Информация о командной строке».
Используйте эту опцию, чтобы ограничить анализ только определенными методами классов.
Вы задаете эти методы через опции:
Когда вы анализируете модуль или библиотеку, Code Prover генерирует main функция, если она не существует. The main функция вызывает методы класса, используя эти две опции и функции, которые не являются методами класса, используя другие опции. Code Prover анализирует эти методы и функции на предмет робастности для всех входов. Если вы используете эту опцию, Code Prover анализирует только методы.
НаPolyspace проверяет только методы класса. Он заглушает функции вне возможностей класса, даже если функции определены в вашем коде.
Off (по умолчанию)Polyspace проверяет функции вне возможностей классов в дополнение к методам классов.
Использовать эту опцию можно только в том случае, если все из следующих значений true:
Ваш код не содержит main функция.
Source code language (-lang) установлено в CPP или C-CPP.
Если вы выбираете эту опцию, необходимо задать классы с помощью Class (-class-analyzer) опция.
Используйте эту опцию:
Для робастности верификации методов класса. Если вы не используете эту опцию, Polyspace проверяет методы, которые вы вызываете в коде только для ваших входных комбинаций.
В случае масштабирования.
Параметр: -class-only |
| По умолчанию: Off |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |