-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. В последующем анализе каждый файл скомпилирован на основе стандарта языка, определенного расширениями файла.
Параметр: -lang |
Значение: c | cpp| c-cpp |
| Значение по умолчанию: На основе расширений файла |
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода):
|
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода):
|
Пример (сервер средства поиска ошибки):
|
Пример (сервер программы автоматического доказательства кода):
|