Exponenta Banner
exponenta event banner

-generate-launking-script-for

Извлечение информации из файла проекта

Синтаксис

-generate-launching-script-for PRJFILE

Описание

-generate-launching-script-for PRJFILE извлекает информацию из файла проекта PRJFILE (созданный в интерфейсе пользователя продуктов Polyspace ® для настольных ПК), чтобы можно было выполнить анализ из командной строки. Для каждого модуля проекта и каждой конфигурации в каждом модуле создается папка, содержащая следующие файлы:

  • source_command.txt - Список исходных файлов для -sources-list-file вариант.

  • options_command.txt - Список вариантов анализа для -options-file вариант.

  • temporal_exclusions.txt - Список временных исключений, генерируемых только при указании Temporally exclusive tasks (-temporal-exclusions-file) вариант.

  • .polyspace_conf.psprj - копия файла проекта Polyspace, используемого для создания файлов сценариев.

  • launchingCommand.sh (UNIX) или launchingCommand.bat (DOS) - сценарий оболочки, вызывающий правильные команды. Сценарий также вызывает любые параметры, которые не могут быть предоставлены -options-file команда, например, -batch или -add-to-results-repository. В качестве параметров для этого файла можно задать дополнительные опции анализа.

После настройки проекта в интерфейсе пользователя Polyspace можно создать этот сценарий из результирующего файла проекта (с расширением .psprj). Сценарий, создаваемый Polyspace, выполняет тот же анализ, что и в пользовательском интерфейсе. Если проект выполняется без ошибок в интерфейсе пользователя Polyspace, сценарий запускается без ошибок в командной строке.

Для создания сценария необходимо выполнить команду из той же папки, что и файл проекта.

Примеры

Извлечение информации для выполнения myproject из командной строки. Использовать этот параметр с двоичным файлом рабочего стола polyspace:

  • Поиск ошибок:

    polyspace -generate-launching-script-for myproject.psprj -bug-finder

  • Проверка кода:

    polyspace -generate-launching-script-for myproject.psprj

См. также

Темы

Документация для поиска ошибок Polyspace

Поддержка