Java Pathfinder

久々の更新です。課題で使って引っかかったので、今回は Java Pathfinder ( JPF ) の使い方。
環境は Mac OS X Lion です。
Java のバージョンは Java6 。まだ Java7 では動かない模様。
+追記 03/10 動くみたいです。java7 。

JPF公式サイト

http://babelfish.arc.nasa.gov/trac/jpf

がっつり英語です。

Mercurial から

Mercurial が必要です。

% hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-core

実行した階層に、jpf-core というディレクトリが作られます。

site.properties ファイルを作る

ホームディレクトリの下に、.jpf というディレクトリを作ってその中に入れます。

% cd ~
% mkdir .jpf

とかってやります。

下記のように、site.properties を作って編集。
下記は projects の下に hg clone してます。

# JPF site configuration

jpf-core = ${user.home}/projects/jpf/jpf-core

# numeric extension
jpf-numeric = ${user.home}/projects/jpf/jpf-numeric

# annotation-based program properties extension
jpf-aprop = ${user.home}/projects/jpf/jpf-aprop

extensions=${jpf-core},${jpf-aprop}

#... and all your other installed projects

Build

jpf-core へ移動します。

% bin/ant test

やってみます。私はこれが通らなかったけど使えるようにはなりました。

使い方

% [jpf-core path]/bin/jpf +classpath=. [package name].[main class name]

みたいに実行します。ほかにも実行の仕方はあるようですが、私が使ったのはこれだけでした。
build.xml を使って実行している場合、build.xml と同じ階層で実行します。

[SEVERE] can't find startup class .

[SEVERE] error initializing startup classes (check 'classpath' and 'target')

のようなエラーが出たら、階層がちがう、という感じです。