-class-analyzer)Задайте классы, которые вы хотите проверить
Эта опция влияет только на анализ Code Prover.
Задайте классы, которые Polyspace® использует, чтобы сгенерировать main.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -class-analyzer. См. «Информация о командной строке».
Если вы проверяете модуль или библиотеку, Code Prover генерирует main функция, если она не существует. Если a main существует, в анализе используются существующие main.
Используйте эту опцию и опцию Functions to call within the specified classes (-class-analyzer-calls) чтобы задать методы классов, которые сгенерированы main должен вызвать. Если метод класса не вызывается прямо или косвенно из mainпрограммное обеспечение не анализирует метод.
По умолчанию: all
allPolyspace может использовать все классы для генерации main. Сгенерированный main вызывает методы, которые вы задаете, используя Functions to call within the specified classes.
noneСгенерированный main невозможно вызвать какой-либо метод класса.
customPolyspace может использовать классы, которые вы задаете, чтобы сгенерировать main. Сгенерированный main вызывает методы из классов, которые вы задаете используя Functions to call within the specified classes.
Использовать эту опцию можно только в том случае, если все из следующих значений true:
Ваш код не содержит main функция.
Source code language (-lang) установлено в CPP или C-CPP.
Если вы выбираете none для этой опции Polyspace не будет проверять методы класса, которые вы явным образом не вызываете в коде.
Параметр: -class-analyzer |
Значение: all | none | custom |
По умолчанию: all |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |