(1).javaプロジェクト(jpf-core,jpf-symbc)において、ビルドパスはどのように設定されているのか?

(2).eclipseにおいてビルドパスを通すにはどうすべきか?

大雑把な方針や、参考となるURLなどでも良いので教えて頂けると幸いです。(プロジェクトの詳細が分からずとも答えて頂けるように配慮しておりますが、不足する点がありましたらご連絡下さい。)

環境1.ubuntu上
環境2.windows_eclipse

ファイル構成
-java_orig
  -jpf-core
    -src/main/gov/nasa/jpf/search(参照したいパッケージ)
    -src/main/gov/nasa/jpf/vm(参照したいパッケージ)
  -jpf-symbc
    -build.xml(カレントフォルダ)
    -nbproject/ide-file-targets.xml
    -nbproject/project.xml

実際のファイル構成詳細:https://www.dropbox.com/sh/ncfru80csdn77tp/AACN_tG2kgOIpqz75ETt4AQFa?dl=0

[経緯]
環境.2でeclipse(marcurial-tortoisehg)を経由し、jpf-core,jpf-symbcプロジェクトをインポート。jpf-symbcプロジェクトを利用する際に、jpf-coreプロジェクトの一部を利用する形である。(http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/docのInstructionsパラグラフより)


※補足にエラー内容と、試した事などを記載させて頂きます。

回答の条件
  • 1人5回まで
  • 13歳以上
  • 登録:2014/12/28 19:15:33
  • 終了:2014/12/31 21:39:11
id:ruzxa

質問者から

ruzxa2014/12/29 10:18:06

しかし、eclipse上でインポートしアントすると下記エラーが発生した。

Buildfile: C:\Users\mar\Dropbox\java\jpf-symbc\build.xml
-init:
-compile-annotations:
-compile-main:

~省略~

    [javac] java_orig\jpf-symbc\src\main\gov\nasa\jpf\symbc\GreenListener.java:4: エラー: パッケージgov.nasa.jpf.searchは存在しません
    [javac] import gov.nasa.jpf.search.Search;

~省略~

    [javac] java_orig\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:29: エラー: パッケージgov.nasa.jpf.vmは存在しません
    [javac] import gov.nasa.jpf.vm.ChoiceGenerator;



[試した事]
一方環境.1にファイルをそのままコピーし、アントを実行するとビルドは成功する。

eclipseのビルドパスに問題があるのではないかと考え、
(1).Linux上で成功した理由を探るべくビルドパスを追ってみると共に、
(2).jpf-symbcプロジェクトを右クリックしプロパティ→Javaのビルド・パス→ソースにUsers/mar/Dropbox/java_orig/jpf-core/src/mainと追加するもうまく行かず、質問させて頂く事となりました。


なお(1).については
java_orig\jpf-symbc\nbproject\ide-file-targets.xml1(21行目)より

    <sourcepath id="source.path">
      <pathelement location="src/main"/>
      <!-- we don't have these
      <pathelement location="src/peers"/>
      -->
      <pathelement path="${jpf-core}/src/main;${jpf-core}/src/peers"/>   ←ココ!
    </sourcepath>

上記の${jpf-core}についてはjava_orig\jpf-symbc\build.xml(28行目)より

  <!-- if there is none, default to a 'jpf-core' peer dir -->
  <property name="jpf-core" value = "../jpf-core"/>      ←ココ!

  <!-- get the jpf-core path properties -->
  <property file="${jpf-core}/jpf.properties"/>

そしてide-file-targets.xmlはjava_orig\project.xmlにのみ読み込まれていて、コンパイル時に関係あるかどうかわかりませんが

                <action name="test">
                    <script>nbproject/ide-file-targets.xml</script>
                    <target>test-project</target>
                <action>

上記形式で扱われていました。
ただ、これがビルド時に、どのようにbuild.xmlと関係あるかについては追えていません。

回答(1件)

id:ruzxa

質問者から

ruzxa2014/12/28 19:22:22

質問文を編集しました。詳細はこちら

id:syamaoka No.1

syamaoka回答回数19ベストアンサー獲得回数82014/12/29 07:31:27

* (1).javaプロジェクト(jpf-core,jpf-symbc)において、ビルドパスはどのように設定されているのか?

Eclipse 上でプロジェクトを右クリックして、Properties > Java Build Path で確認できます。

* (2).eclipseにおいてビルドパスを通すにはどうすべきか?
以下のように jpf-core, jpf-symbc の Java Build Path を設定すれば Eclipse のクラスの参照周りでのエラーが出なくなります。

f:id:syamaoka:20141229063045p:image
f:id:syamaoka:20141229062910p:image
f:id:syamaoka:20141229062840p:image
f:id:syamaoka:20141229062839p:image

jpf-core, jpf-symbc の ant でのビルドについては最初から正しく設定されています。

他3件のコメントを見る
id:syamaoka

んー、どうしてでしょうね。検討が付かなくなりました。

2014/12/29 17:06:08
id:ruzxa

お手数おかけして申し訳ありません。

ツール導入をし、ご回答頂きありがとうございました!

2014/12/29 20:20:07

コメントはまだありません

この質問への反応(ブックマークコメント)

「あの人に答えてほしい」「この質問はあの人が答えられそう」というときに、回答リクエストを送ってみてましょう。

これ以上回答リクエストを送信することはできません。制限について

絞り込み :
はてなココの「ともだち」を表示します。
回答リクエストを送信したユーザーはいません