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