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