前のトピック: PBD Generator の設定次のトピック: PBD Generator の使用


必要な PBD Generator パラメータ

以下の主要 PBD Generator パラメータが必要になります。

sourcepath

Java ソース ツリーのルート ディレクトリ

destdir

ツールから出力される PBD ファイルのディレクトリ パス

packagenames

インスツルメント用に検査される Java パッケージのカンマ区切りのリスト

doclet path

このツールを含んでいる PBD Generator jar ファイルを参照するパス

param name="-d"

このパラメータは destdir と同じ値を含む必要があります