-class-only)Не анализируйте код кроме методов класса
Эта опция влияет на анализ Code Prover только.
Эта опция не доступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте тот Polyspace® должен проверить только методы классов, что вы задаете использование опции Class (-class-analyzer).
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка и файл опций: Используйте опцию -class-only. Смотрите информацию о командной строке.
Используйте эту опцию, чтобы ограничить анализ определенными методами класса только.
Вы задаете эти методы через опции:
Когда вы анализируете модуль или библиотеку, Code Prover генерирует main функционируйте, если вы не существуете. main методы класса вызовов функции с помощью этих двух опций и функций, которые не являются методами класса с помощью других опций. Code Prover анализирует эти методы и функции для робастности ко всем входным параметрам. Если вы используете эту опцию, Code Prover анализирует методы только.
OnPolyspace проверяет методы класса только. Это блокирует функции из осциллографа класса, даже если функции заданы в вашем коде.
От (значения по умолчанию)Polyspace проверяет функции из осциллографа класса в дополнение к методам класса.
Можно использовать эту опцию, только если все следующее верно:
Ваш код не содержит main функция.
Source code language (-lang) установлен в CPP или C-CPP.
Если вы выбираете эту опцию, необходимо задать классы с помощью Class (-class-analyzer) опция.
Используйте эту опцию:
Для верификации робастности методов класса. Если вы не используете эту опцию, Polyspace проверяет методы, которые вы вызываете в своем коде только для ваших входных комбинаций.
В случае масштабирования.
Параметр: -class-only |
| Значение по умолчанию: Off |
Пример (Code Prover):
Polyspace Code Prover - источники |
Пример (Сервер Code Prover):
сервер программы автоматического доказательства полипробела кода - источники |
Verify module or library (-main-generator) | Class (-class-analyzer) | Functions to call within the specified classes (-class-analyzer-calls)