-report-output-name

レポート名の指定

構文

-report-output-name reportName

説明

-report-output-name reportName は、解析レポートの名前を指定します。

レポートの既定の名前は Prog_Template.Format です。

  • Prog は、-prog で指定されたプロジェクトの名前です。

  • TemplateName は、-report-template で指定されたレポート テンプレートのタイプです。

  • Format は、-report-output-format で指定されたレポートのファイル拡張子です。

ユーザー インターフェイス (Polyspace® デスクトップ製品のみ) では、[構成] ペインの [その他] フィールドにこのオプションを入力します。Otherを参照してください。

例

解析レポートの名前を指定します。

  • Bug Finder:

    polyspace-bug-finder -report-template Developer -report-output-name Airbag_v3.doc

  • Code Prover:

    polyspace-code-prover -report-template Developer -report-output-name Airbag_v3.doc

  • Bug Finder Server:

    polyspace-bug-finder-server -report-template Developer -report-output-name Airbag_v3.doc

  • Code Prover Server:

    polyspace-code-prover-server -report-template Developer -report-output-name Airbag_v3.doc

ヒント

Polyspace as You Code でレポートを生成することはできません。

参考

|

トピック