Exponenta Banner

Source code language (-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 - Ленг c-cpp - источники "file1.c,file2.cpp"
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - Ленг cpp - источники "file1.cpp,file2.cpp"
Пример: сервер программы автоматического доказательства полипробела кода - Ленг cpp - источники "file1.cpp,file2.cpp"
Пример (Средство поиска Ошибки): Polyspace Bug Finder - Ленг c - источники "file1.c,file2.c"
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - Ленг c - источники "file1.c,file2.c"
Пример (Сервер Средства поиска Ошибки): сервер средства поиска ошибки полипробела - Ленг c - источники "file1.c,file2.c"
Пример (Сервер Программы автоматического доказательства Кода): сервер программы автоматического доказательства полипробела кода - Ленг c - источники "file1.c,file2.c"

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

|

Документация Polyspace Code Prover Server
Поддержка