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

-author

プロジェクト作成者の指定

構文

-author "value"

説明

-author "value" は Polyspace® プロジェクトに作成者を割り当てます。名前は、生成されるレポートにプロジェクトのオーナーとして表示されます。

既定値は、DOS または UNIX のコマンド whoami で与えられる現在のユーザーのユーザー名です。

Polyspace デスクトップ製品のユーザー インターフェイスで を選択し、[Polyspace プロジェクト – プロパティ] ダイアログ ボックスでプロジェクト名、バージョンおよび作成者の各パラメーターを指定します。

例

Polyspace プロジェクトにプロジェクト作成者を割り当てます。

  • Bug Finder:

    polyspace-bug-finder -author "John Smith"

  • Code Prover:

    polyspace-code-prover -author "John Smith"

  • Bug Finder Server:

    polyspace-bug-finder-server -author "John Smith"

  • Code Prover Server:

    polyspace-code-prover-server -author "John Smith"

ヒント

このオプションは、Polyspace as You Code 解析では必要ありません。

参考

|

トピック