Функции, чтобы вызвать в заданных классах (-class-analyzer-calls)

Задайте методы класса, которые вы хотите проверить

Описание

Эта опция влияет на анализ Программы автоматического доказательства Кода только.

Задайте методы класса что использование Polyspace®, чтобы сгенерировать main. Сгенерированный main может вызвать статические, общедоступные и защищенные методы в классах, что вы задаете использование опции Class.

Установите опцию

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые необходимо также включить.

Командная строка: Используйте опцию -class-analyzer-calls. Смотрите информацию о Командной строке.

Почему использование эта опция

Если вы проверяете модуль или библиотеку, Программа автоматического доказательства Кода генерирует функцию main, если вы не существуете. Если main существует, анализ использует существующий main.

Используйте эту опцию и опцию Class (-class-analyzer), чтобы задать методы класса, которые должен вызвать сгенерированный main. Если метод класса не называется прямо или косвенно от main, программное обеспечение не анализирует метод.

Настройки

Значение по умолчанию: unused

all

Сгенерированный main вызывает все открытые и защищенные методы. Это не вызывает методы, наследованные от родительского класса.

all-public

Сгенерированный main вызывает все открытые методы. Это не вызывает методы, наследованные от родительского класса.

inherited-all

Сгенерированный main вызывает все открытые и защищенные методы включая наследованных от родительского класса.

inherited-all-public

Сгенерированный main вызывает все открытые методы включая наследованных от родительского класса.

unused

Сгенерированный main вызывает открытые и защищенные методы, которые не называются в коде.

unused-public

Сгенерированный main вызывает открытые методы, которые не называются в коде. Это не вызывает методы, наследованные от родительского класса.

inherited-unused

Сгенерированный main вызывает открытые и защищенные методы, которые не называются в коде включая наследованных от родительского класса.

inherited-unused-public

Сгенерированный main вызывает открытые методы, которые не называются в коде включая наследованных от родительского класса.

custom

Сгенерированный main вызывает методы, которые вы задаете.

Введите имена функций или выберите из списка.

  • Щелкните, чтобы добавить поле и ввести имя функции.

  • Щелкните, чтобы перечислить функции в вашем коде. Выберите функции из списка.

Если вы используете оператор разрешения области видимости, чтобы задать функцию от конкретного пространства имен, введите полностью определенное имя, например, myClass::myMethod(int). Если функция не имеет параметра, используйте пустую круглую скобку, например, myClass::myMethod().

Зависимости

Можно использовать эту опцию только если:

Информация о командной строке

Параметр: -class-analyzer-calls
Значение: all | all-public | inherited-all | inherited-all-public | unused | unused-public | inherited-unused | inherited-unused-public | custom=method1[,method2,...]
Значение по умолчанию: unused
Пример (программа автоматического доказательства кода): polyspace-code-prover -sources file_name -main-generator -class-analyzer custom=myClass1,myClass2 -class-analyzer-calls unused-public
Пример (сервер программы автоматического доказательства кода): polyspace-code-prover-server -sources file_name -main-generator -class-analyzer custom=myClass1,myClass2 -class-analyzer-calls unused-public