-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 |
| По умолчанию: На основе расширений файлов |
Пример (поиск ошибок):
polyspace-bug-finder -lang c-cpp -sources |
Пример (проверка кода):
polyspace-code-prover -lang cpp -sources |
Пример (поиск ошибок):
polyspace-bug-finder -lang c -sources |
Пример (проверка кода):
polyspace-code-prover -lang c -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -lang c -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -lang c -sources |