-sources-encoding
)Задайте кодирование что аналитическое использование, чтобы интерпретировать символы non-ASCII в исходном коде
Задайте кодирование своих исходных файлов. Анализ использует эту информацию, чтобы интерпретировать символы non-ASCII в вашем исходном коде.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле 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, войдите - кодирующий источники
в encodingname
Other
Поле (Polyspace Bug Finder). В частности, если ваши исходные файлы содержат соединение различной кодировки, можно использовать -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
команда. Передайте выход по каналу к файлу и ищите файл кодирование, которое вы используете.