-lang
)Задайте язык исходных файлов
Задайте язык своих исходных файлов. Прежде, чем задать другие параметры конфигурации, выберите эту опцию, потому что другие опции изменяются в зависимости от вашего выбора языка.
Если вы добавляете файлы во время настройки проекта, выбор языка может измениться от значения по умолчанию.
Добавленные файлы | Язык исходного кода |
---|---|
Только файлы с дополнительным .c | C |
Только файлы с дополнительным .cpp или .cc | CPP |
Файлы с дополнительным .c , .cpp , и .cc | C-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
используется. Во время анализа каждый файл скомпилирован на основе стандарта языка, определенного расширениями файла. После компиляции Polyspace проверяет такие смешанные проекты как проекты C++.
Параметр: -lang |
Значение: c | cpp| c-cpp |
Значение по умолчанию: На основе расширений файла |
Пример (Bug Finder):
Polyspace Bug Finder - Ленг c-cpp - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - Ленг cpp - источники |
Пример (Bug Finder):
Polyspace Bug Finder - Ленг c - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - Ленг c - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - Ленг c - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - Ленг c - источники |