主要内容

Polyspace 桌面端用户界面中更新工程

本主题展示了如何在 Polyspace® 桌面端产品的用户界面中更新工程。

要在 Polyspace 用户界面中使用 Bug Finder 或 Code Prover 分析 C/C++ 源文件,您需要创建一个 Polyspace 工程。在开发过程中,您只需更新该工程并重新运行分析即可获得更新的结果。本主题介绍您可以进行的更新。

要开始更新,请在工程浏览器窗格中右键点击您的工程。您会看到一组不同的选项,具体取决于您右键点击的节点。

更改文件夹路径

如果您移动了添加到工程中的源文件夹,则需要修改该文件夹在 Polyspace 工程中的路径。您还可以将该文件夹的路径修改为指向版本控制系统中其他版本的代码。

工程浏览器中,右键点击顶层源文件夹 ,然后选择修改路径。将路径更改到新位置。

要重新同步此源文件夹下的文件,请右键点击源文件夹,然后选择刷新源文件夹

刷新源列表

如果您对已添加到工程的文件夹中的文件进行了更改,则无需将该文件夹重新添加到工程中。刷新源文件列表可查找新文件、已删除的文件和已移动的文件。

右键点击源文件夹,然后选择刷新源文件夹。系统会刷新 Polyspace 工程中的文件,使其与文件系统一致。

刷新使用编译命令创建的工程

如果您的工程是从编译系统自动创建的,若要稍后通过重新运行编译命令来更新工程,请右键点击工程文件夹,然后选择更新工程

您会看到在创建原始工程时输入的信息。点击运行以回溯编译命令并重新创建 Polyspace 工程。

添加源文件夹和包含文件夹

如果您想更改工程中处于活动状态的文件或文件夹,但不将其从工程树中删除,请右键点击相应文件或文件夹,然后选择排除文件。相应文件在工程中会显示 符号,表示系统不会对其进行分析。您可以右键点击这些文件,然后选择包含文件,重新包含这些文件以进行分析。

如果要添加其他源文件夹或包含文件夹,请右键点击工程或工程中的包含文件夹。选择添加源文件夹添加包含文件夹

在运行分析之前,必须将源文件复制到模块。选择要复制的源文件。要同时选择多个文件,请按住 Ctrl 键并选择文件。右键点击您选择的文件。选择复制到 > Module_nn 是模块编号。

管理包含文件的顺序

您可以更改包含文件夹的顺序,以管理编译包含文件的顺序。

当不同文件夹中有多个同名包含文件时,您可能希望更改包含文件夹的顺序,而不是重新组织文件夹的内容。对于特定的包含文件名,软件会将该文件包含在 Project_Name > 包含下的第一个包含文件夹中。

在下图中,Folder_1Folder_2 包含同一个包含文件 include.h。如果您的源代码包含此头文件,则在编译过程中,Folder_2/include.h 将优先于 Folder_1/include.h 被包含。

要更改包含文件夹的顺序,请在工程中展开包含文件夹。选择要移动的一个或多个包含文件夹。要移动文件夹,请点击

另请参阅

主题