-sources-encoding)Укажите кодировку исходных файлов
Укажите кодировку исходных файлов, анализируемых с помощью Polyspace.
Эта опция используется только в том случае, если в исходных файлах обнаружены ошибки компиляции или проблемы с отображением символов, отличных от ASCII. Параметр принудительно выполняет внутреннее преобразование исходных файлов из указанной кодировки в UTF-8 кодировку и может помочь решить проблему.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле «Параметры среды».
файл командной строки и параметров: Использовать параметр -sources-encoding. См. раздел Сведения о командной строке.
Анализ использует кодировку операционной системы по умолчанию в качестве кодировки исходного кода. В большинстве случаев, если исходный код содержит символы, отличные от ASCII, например, японские или корейские символы, анализ Polyspace ® может интерпретировать символы и впоследствии правильно отображать исходный код.
При наличии ошибок компиляции или проблем с отображением символов, отличных от ASCII, можно использовать кодировку, отличную от кодировки по умолчанию. Затем с помощью этого параметра можно явно указать кодировку исходного кода.
По умолчанию:
system
system
В анализе используется кодировка операционной системы по умолчанию.
shift-jis
В анализе используется кодировка Shift JIS (Shift Japanese Industrial Standards) - кодировка символов для японского языка.
iso-8859-1
В анализе используется кодировка ISO/IEC 8859-1: 1998 - кодировка символов, которая кодирует то, что называется «латинским алфавитом No1», состоящим из 191 символов из латинской письменности.
windows-1252
В анализе используется кодировка Windows-1252, однобайтовая кодировка латинского алфавита, используемая по умолчанию в устаревших компонентах Windows ® для английского и некоторых других западных языков.
UTF-8
Анализ использует кодировку UTF-8, кодировку символов переменной ширины, способную кодировать все допустимые кодовые точки в Юникоде.
Polyspace поддерживает гораздо больше кодировок. Чтобы указать кодировку, отсутствующую в приведенном выше списке в интерфейсе пользователя Polyspace, введите -sources-encoding в encodingnameOther поле. В частности, если исходные файлы содержат комбинацию различных кодировок, можно использовать -sources-encoding auto. В этом режиме анализ использует внутреннюю эвристику для определения кодировки исходных файлов по их содержимому.
Для получения полного списка поддерживаемых кодировок в командной строке введите:
-list-all-values -sources-encoding
polyspace-bug-finder, polyspace-code-prover, polyspace-bug-finder-server или polyspace-code-prover-server команда. Переместите выходные данные в файл и найдите в нем используемую кодировку.Параметр: -sources-encoding |
По умолчанию:
system |
Значение:
auto | system | shift-jis | iso-8859-1 | windows-1252 | UTF-8 |
Пример (поиск ошибок):
polyspace-bug-finder -sources-encoding windows-1252 |
Пример (проверка кода):
polyspace-code-prover -sources-encoding windows-1252 |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -sources-encoding windows-1252 |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources-encoding windows-1252 |
Polyspace поддерживает гораздо больше кодировок помимо приведенного выше списка. Для получения полного списка поддерживаемых кодировок в командной строке введите:
-list-all-values -sources-encoding
polyspace-bug-finder, polyspace-code-prover, polyspace-bug-finder-server или polyspace-code-prover-server команда. Переместите выходные данные в файл и найдите в нем используемую кодировку.