主要内容

源代码编码 (-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 编码,该字符编码用于对称为“1 号拉丁字母”的字符集(包括拉丁字母中的 191 个字符)进行编码。

windows-1252

分析操作使用 Windows-1252 编码,这是适用于拉丁字母表的一种单字节字符编码,Windows® 的旧式组件默认情况下将其用于英语和某些其他西方语言。

UTF-8

分析操作使用 UTF-8 编码,这是一种可变宽度的字符编码,能够对 Unicode 中的全部有效代码点进行编码。

Auto

(仅限 Polyspace 平台 (Polyspace Test))分析操作会使用内部启发式方法根据源文件的内容来确定源文件的编码。如果您的源文件混合使用了不同的编码,这会很有用。

Polyspace 还支持许多其他编码。要在 Polyspace 用户界面中指定不在以上列表中的编码,请在工程配置中为 Other 选项输入 -sources-encoding encodingname。需要特别说明的是,如果您的源文件混合使用了不同的编码,则您可以使用 -sources-encoding auto。有关详细信息,请参阅其他

要获取支持的编码的完整列表,请在命令行中输入:

-list-all-values -sources-encoding
以及 polyspace-bug-finderpolyspace-code-proverpolyspace-bug-finder-serverpolyspace-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
示例 (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-finderpolyspace-code-proverpolyspace-bug-finder-serverpolyspace-code-prover-server 命令。使用管道符将输出转存到文件,然后搜索该文件以获取所使用的编码。