包含路径 (-I)
指定包含文件所在文件夹的路径
自 R2023b 起
描述
具有此名称的选项仅在 Polyspace 平台 (Polyspace Test)用户界面中可用。在标准 Polyspace® 用户界面中，您需要在创建工程期间添加包含路径。有关详细信息，请参阅Add Source Files for Analysis in Polyspace User Interface。
Polyspace 在指定文件夹中查找源文件中通过 #include 语句包含的头文件。此选项等效于命令行命令 -I。此选项同时适用于静态分析和动态测试。您可以指定头文件的绝对路径或相对路径。
为何使用此选项
使用此选项可指定头文件的保存位置。然后，您可以将头文件包含在源代码中。
设置
指定包含头文件的文件夹的绝对路径或相对路径。要添加文件夹，请执行以下操作：
点击
，然后输入包含头文件的文件夹的路径。Polyspace 会解析相对于工程文件 (*.psprjx)的位置的相对路径。或者，您可以通过使用添加文件夹 (
) 或以相对路径方式添加文件夹 (
) 按钮浏览到该位置。
如果要以递归方式添加指定文件夹的子文件夹，请选中子文件夹列中的复选框。
提示
您可以在包含文件夹路径中使用系统环境变量作为简化形式。如果您与在不同根位置拥有包含文件夹的另一用户共享工程，则利用环境变量可以帮助确保工程与包含文件夹路径保持同步。有关详细信息，请参阅：
命令行信息
要在命令行中使用此选项，您可以直接使用此选项，也可以将此选项追加到选项文件中。
参数：-I |
| 默认值：无 |
值：file（对多个文件多次使用 -I） |
示例 (Bug Finder)：polyspace-bug-finder -I /com1/inc -I /com1/sys/inc |
示例 (Code Prover)：polyspace-code-prover -I /com1/inc -I /com1/sys/inc |
示例 (Bug Finder Server)：polyspace-bug-finder-server -I /com1/inc -I /com1/sys/inc |
示例 (Code Prover Server)：polyspace-code-prover-server -I /com1/inc -I /com1/sys/inc |
版本历史记录
在 R2023b 中推出
