-sources-encoding)Задайте кодировку исходных файлов
Задайте кодировку исходных файлов, которые вы анализируете с Polyspace.
Используйте эту опцию, только если вы видите ошибки компиляции или отображаете проблемы с символами, отличными от ASCII, в ваших исходных файлах. Это опция приводит к внутреннему преобразованию ваших исходных файлов из указанной кодировки в UTF-8 кодировку и может помочь решить проблему.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Environment Settings.
Командная строка и файл опций: Используйте опцию -sources-encoding. См. «Информация о командной строке».
Анализ использует кодировку по умолчанию вашей операционной системы в качестве кодировки исходного кода. В большинстве случаев, если ваш исходный код содержит символы, отличные от ASCII, например, японские или корейские символы, Polyspace® анализ может интерпретировать символы и позже правильно отобразить исходный код.
Если у вас все еще есть ошибки компиляции или отображаются проблемы с символами, отличными от ASCII, возможно, вы используете кодировку, отличную от кодировки по умолчанию. Затем можно явным образом задать кодировку исходного кода, используя эту опцию.
По умолчанию:
system
system
В анализе используется кодировка операционной системы по умолчанию.
shift-jis
Анализ использует кодировку Shift JIS (Shift Japanese Industrial Standards), кодировку символов для японского языка.
iso-8859-1
В анализе используется кодировка ISO/IEC 8859-1: 1998, кодировка символов, которая кодируется как «латинский алфавит № 1», состоящий из 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 |
Значение:
autosystem | shift-jis | iso-8859-1 | windows-1252 | UTF-8 |
Пример (Bug Finder):
polyspace-bug-finder -sources-encoding windows-1252 |
Пример (Code Prover):
polyspace-code-prover -sources-encoding windows-1252 |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources-encoding windows-1252 |
Пример (Code Prover Server):
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 команда. Отправьте выход в файл и выполните поиск в файле кодировки, которую вы используете.