後に取り組むかもしれないメモ（落書き）

JPFを使ってみた

時間があれば原因を調べる、可能性のありそうなものから
・バージョンの問題（eclipse側で追ってみる
・ファイルが欠損していなかったか

1. windows側 - tortoisehgより落としたもの

1_1cmdより

C:\Users\mar\sharefolder\jpf-symbc>ant
Buildfile: C:\Users\mar\sharefolder\jpf-symbc\build.xml

-init:

-compile-annotations:

-compile-main:
    [javac] Compiling 266 source files to C:\Users\mar\sharefolder\jpf-symbc\build\main
    [javac] 警告: [options] ブートストラップ・クラスパスが-source 1.6と一緒に設定されていません

    [javac] 警告: [options] ソース値1.6は廃止されていて、今後のリリースで削除される予定です
    [javac] 警告: [options] 廃止されたオプションについての警告を表示しないようにするには、-Xlin
t:オプションを使用します。

1_2 unix側(JDK1.8_40とJDK-7-oracle)

Buildfile: /mnt/sharefolder/jpf-symbc/build.xml

-init:

-compile-annotations:

-compile-main:
    [javac] Compiling 266 source files to /mnt/sharefolder/jpf-symbc/build/main
    [javac] 警告: [options] ブートストラップ・クラスパスが-source 1.6と一緒に設定されていません
    [javac] /mnt/sharefolder/jpf-symbc/src/main/gov/nasa/jpf/symbc/GreenListener.java:3: エラー: シンボルを見つけられません
    [javac] import gov.nasa.jpf.ListenerAdapter;
    [javac]                    ^
    [javac]   シンボル:   クラス ListenerAdapter
    [javac]   場所: パッケージ gov.nasa.jpf
    [javac] /mnt/sharefolder/jpf-symbc/src/main/gov/nasa/jpf/symbc/GreenListener.java:4: エラー: パッケージgov.nasa.jpf.searchは存在しません
    [javac] import gov.nasa.jpf.search.Search;
    [javac]                           ^
    [javac] /mnt/sharefolder/jpf-symbc/src/main/gov/nasa/jpf/symbc/GreenListener.java:7: エラー: シンボルを見つけられません
    [javac] public class GreenListener extends ListenerAdapter {
    [javac]                                    ^
    [javac]   シンボル: クラス ListenerAdapter
    [javac] /mnt/sharefolder/jpf-symbc/src/main/gov/nasa/jpf/symbc/GreenListener.java:12: エラー: シンボルを見つけられません
    [javac] 	public void searchFinished(Search s) {
    [javac] 	                           ^
    [javac]   シンボル:   クラス Search
    [javac]   場所: クラス GreenListener

2. windows - eclipseより落としたもの

2_1.eclipseでは通らない

 [javac] コンパイラで例外が発生しました(1.9.0-ea)。Bug Paradeに同じバグが登録されていないことをご確認の上、Java Developer Connection(http://java.sun.com/webapps/bugreport)でバグの登録をお願いいたします。レポートには、そのプログラムと下記の診断内容を含めてください。ご協力ありがとうございます。
    [javac] java.lang.NoSuchMethodError: java.nio.ByteBuffer.position(I)Ljava/nio/ByteBuffer;
    [javac] 	at com.sun.tools.javac.util.BaseFileManager.makeByteBuffer(BaseFileManager.java:336)
    [javac] 	at com.sun.tools.javac.file.RegularFileObject.getCharContent(RegularFileObject.java:118)
    [javac] 	at com.sun.tools.javac.file.RegularFileObject.getCharContent(RegularFileObject.java:56)

2_2.Dropbox経由では通った(JDK_7_oracle)
ただし1_2のシンボルを見つけられない（つまりファイルが存在しない点については同じ状況であった）