PBD Generator の使用 › PBD Generator の設定 › 必要な PBD Generator パラメータ
以下の主要 PBD Generator パラメータが必要になります。
Java ソース ツリーのルート ディレクトリ
ツールから出力される PBD ファイルのディレクトリ パス
インスツルメント用に検査される Java パッケージのカンマ区切りのリスト
このツールを含んでいる PBD Generator jar ファイルを参照するパス
このパラメータは destdir と同じ値を含む必要があります