-I

コンパイル用インクルードフォルダーの指定

構文

-I folder

-I folder は、ソースをコンパイルするために必要なインクルードファイルを含むフォルダーを指定します。-I の各インスタンスにつき 1 フォルダーのみ指定可能です。ただし、このオプションは複数回指定できます。

解析では、指定したフォルダーパスを基準にインクルードファイルを探します。たとえば、コードにプリプロセッサ命令 #include<../mylib.h> が含まれ、次のフォルダーをインクルードする場合、

C:\My_Project\MySourceFiles\Includes

フォルダー C:\My_Project\MySourceFiles にはファイル mylib.h が含まれていなければなりません。

./sources フォルダーがある場合、解析では、指定したインクルードフォルダーの後にこれを自動的にインクルードします。

解析で 2 つのフォルダーをインクルードします。

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

ソースフォルダーは暗黙的にインクルードされます。-I オプションを使用してソースフォルダーを明示的にインクルードしなくても、ソースフォルダーのインクルードファイルは自動的に検出可能です。

このオプションは、Polyspace^® 解析をコマンドラインから実行するときに役立ちます。Polyspace ユーザーインターフェイスで、プロジェクトの設定時にインクルードフォルダーを追加します。ユーザーインターフェイスでの Polyspace の実行を参照してください。
IDE で Polyspace as You Code の拡張機能を使用する場合は、このオプションを解析オプションファイルに入力します。オプションファイルを参照してください。
オプション -I は再帰的に機能しません。このオプションを使用してフォルダーパスを追加すると、解析では、フォルダー直下にあるインクルードファイルのみが考慮され、"フォルダーのサブフォルダーにあるファイルは考慮されません"。インクルードの検索パスにサブフォルダーも含めるには、サブフォルダーに対して -I を使用し、サブフォルダーパスを明示的に追加します。便宜上、フォルダー内を再帰的に検索し、フォルダーのサブフォルダーに対する -I を生成するスクリプトを作成できます。