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]