このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

-sources

ソース ファイルの指定

構文

-sources file1[,file2,...]
-sources file1 -sources file2

説明

-sources file1[,file2,...] または -sources file1 -sources file2 は、解析するソース ファイルのリストを指定します。このオプションでは、UNIX® ワイルドカードを引用符で囲んで使用してソースを指定できます。たとえば、現在のフォルダーにある、拡張子が .c のソース ファイルをすべて指定するには、次のように入力します。

-sources "*.c"

ソース ファイルは指定順にコンパイルされます。

例

ファイル mymain.c、funAlgebra.c および funGeometry.c を解析します。

  • Bug Finder:

    polyspace-bug-finder -sources mymain.c,funAlgebra.c,funGeometry.c

  • Code Prover:

    polyspace-code-prover -sources mymain.c,funAlgebra.c,funGeometry.c

  • Bug Finder Server:

    polyspace-bug-finder-server -sources mymain.c,funAlgebra.c,funGeometry.c

  • Code Prover Server:

    polyspace-code-prover-server -sources mymain.c,funAlgebra.c,funGeometry.c

  • Polyspace as You Code:

    polyspace-bug-finder-access -sources myfile.c

    Polyspace as You Code で解析できるファイルの数は、一度に 1 つに限られます。

ヒント

このオプションは、Polyspace® 解析をコマンド ラインから実行するときに役立ちます。Polyspace ユーザー インターフェイスで、プロジェクトの設定時にソース ファイルを追加します。ユーザー インターフェイスでの Polyspace の実行を参照してください。

参考

|

トピック