-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++.
Опция language позволяет и запрещает многие опции и значения опций. Некоторые опции изменяются в зависимости от выбора языка. Для получения дополнительной информации см. отдельные страницы опций анализа.
Если вы создаете Polyspace® файл проекта или опций из системы сборки с помощью polyspace-configure команда или polyspaceConfigure function, значение этой опции определяется расширениями файлов.
Для проекта с обоими .c и .cpp Файлы, язык опции C-CPP используется. Во время анализа каждый файл компилируется на основе языкового стандарта, определяемого расширениями файлов. После компиляции Polyspace проверяет такие смешанные проекты, как проекты C++.
Параметр: -lang |
Значение: c | cpp| c-cpp |
| По умолчанию: Основано на расширениях файлов |
Пример (Bug Finder):
Polyspace Bug Finder -lang c-cpp -sources |
Пример (Code Prover):
Polyspace Code Prover -lang cpp -sources |
Пример (Bug Finder):
Polyspace Bug Finder -lang c -sources |
Пример (Code Prover):
Polyspace Code Prover -lang c -sources |
Пример (Bug Finder Server):
polyspace-bug-finder-server -lang c -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -lang c -sources |