Exponenta Banner

Язык исходного кода (-lang)

Задайте язык исходных файлов

Описание

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

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

Добавленные файлыЯзык исходного кода
Только файлы с дополнительным .cC
Только файлы с дополнительным .cpp или .ccCPP
Файлы с дополнительным .c, .cpp и .ccC-CPP

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

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

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

Настройки

Значение по умолчанию: На основе расширений файла.

C

Если ваш проект содержит только C файлы, выберите эту установку. Это значение ограничивает верификацию соглашениями языка C. Все файлы интерпретированы как C файлы, независимо от их расширения файла.

CPP

Если ваш проект содержит только файлы C++, выберите эту установку. Это значение ограничивает верификацию соглашениями языка C++. Все файлы интерпретированы как файлы C++, независимо от их расширения файла.

C-CPP

Если ваш проект содержит C и исходные файлы C++, выберите эту установку. Это значение допускает C и соглашения языка C++. файлы .c интерпретированы как C файлы. Другие расширения файла интерпретированы как файлы C++.

Зависимости

  • Опция языка позволяет и запрещает много опций и значений опции. Некоторые опции изменяются в зависимости от вашего выбора языка. Для получения дополнительной информации смотрите отдельные аналитические страницы опции.

  • Если вы создаете проект Polyspace® или файл опций от вашей системы сборки с помощью команды polyspace-configure или функции polyspaceConfigure, значение этой опции определяется расширениями файла.

    Для проекта и с .c и с файлами .cpp, опция языка используется C-CPP. В последующем анализе каждый файл скомпилирован на основе стандарта языка, определенного расширениями файла.

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

Параметр: -lang
Значение: c | cpp| c-cpp
Значение по умолчанию: На основе расширений файла
Пример (средство поиска ошибки): polyspace-bug-finder -lang c-cpp -sources "file1.c,file2.cpp"
Пример (программа автоматического доказательства кода): polyspace-code-prover -lang cpp -sources "file1.cpp,file2.cpp"
Пример (средство поиска ошибки): polyspace-bug-finder -lang c -sources "file1.c,file2.c"
Пример (программа автоматического доказательства кода): polyspace-code-prover -lang c -sources "file1.c,file2.c"
Пример (сервер средства поиска ошибки): polyspace-bug-finder-server -lang c -sources "file1.c,file2.c"
Пример (сервер программы автоматического доказательства кода): polyspace-code-prover-server -lang c -sources "file1.c,file2.c"

Смотрите также

|

Документация Polyspace Bug Finder
Поддержка