包括 (-include)
指定分析中的每个 C 文件要 #include 的文件
描述
指定分析中涉及的每个 C 文件要 #include 的文件。软件会在用于分析的已预处理代码中输入 #include 语句，但不会修改原始的源代码。
设置选项
使用以下方法之一设置选项：
Polyspace® 用户界面（仅限桌面端产品）：在您的工程配置中，选择环境设置节点，然后为该选项输入文件名。
Polyspace 平台用户界面（仅限桌面端产品）：请参阅
强制包含文件。
为何使用此选项
有很多原因会导致您需要在所有源文件中 #include 文件。
例如，您可以在一个头文件中收集编译错误的所有解决方法。然后，使用此选项提供该头文件进行分析。假设因为 Polyspace 不能识别某些编译器特定关键字而产生编译错误。要解决这些问题，可在一个头文件中 #define 这些关键字，并使用此选项提供该头文件。
设置
无默认值
指定分析中涉及的每个文件要包括的文件名。
Polyspace 仍然会对其他指令采取操作，例如 #include <include_file.h>。
命令行信息
参数：-include |
| 默认值：无 |
值：file（对多个文件多次使用 -include） |
示例 (Bug Finder)：polyspace-bug-finder -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
示例 (Code Prover)：polyspace-code-prover -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
示例 (Bug Finder Server)：polyspace-bug-finder-server -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
示例 (Code Prover Server)：polyspace-code-prover-server -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
