-class-analyzer)Задайте классы, которые вы хотите проверить
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Задайте классы что использование Polyspace®, чтобы сгенерировать main.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -class-analyzer. Смотрите информацию о Командной строке.
Если вы проверяете модуль или библиотеку, Программа автоматического доказательства Кода генерирует функцию main, если вы не существуете. Если 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.
Можно использовать эту опцию, только если все следующее верно:
Ваш код не содержит функцию main.
Source code language (-lang) установлен в CPP или C-CPP.
Если вы выберете none для этой опции, Polyspace не проверит методы класса, которые вы не вызываете явным образом в вашем коде.
Параметр: -class-analyzer |
Значение: all | none | |
Значение по умолчанию: all |
Пример (программа автоматического доказательства кода): |
Пример (сервер программы автоматического доказательства кода):
|