输出格式 (-report-output-format)
指定生成的报告的输出格式
描述
指定分析报告的输出格式。
设置选项
使用以下方法之一设置选项：
Polyspace® 用户界面（仅限桌面端产品）：在您的工程配置中，选择报告节点，然后为此选项选择一个值。有关您必须先启用的其他选项，请参阅依赖关系。
Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择报告节点，然后为此选项选择一个值。有关您必须先启用的其他选项，请参阅依赖关系。
为何使用此选项
使用此选项可指定是需要 PDF、HTML 还是其他格式的报告。
设置
默认值：Word
- HTML
以
.html格式生成报告以
.pdf格式生成报告- Word
以
.docx格式生成报告。
提示
此选项允许您在开始分析之前指定报告生成。
要在分析完成后生成报告，请在 Polyspace 桌面端产品的用户界面中选择报告 > 运行报告。或者，在命令行中使用
polyspace-report-generator命令。分析完成后，您还可以将结果导出为文本文件，以便进一步自定义。请将
-generate-results-list-file选项与polyspace-report-generator命令一起使用。如果
.docx报告中的目录或图形显示为已过时，请选择报告的内容并刷新文档。使用键盘快捷键 Ctrl+A 选择内容并按 F9 进行刷新。
依赖关系
在 Polyspace 桌面端产品的用户界面中，仅在您选择生成报告选项时才会启用此选项。
命令行信息
参数：-report-output-format |
值：html | pdf | word |
默认值：word |
示例 (Bug Finder)：polyspace-bug-finder -sources |
示例 (Code Prover)：polyspace-code-prover -sources |
示例 (Bug Finder Server)：polyspace-bug-finder-server -sources |
示例 (Code Prover Server)：polyspace-code-prover-server -sources |
