人力検索はてな
モバイル版を表示しています。PC版はこちら
i-mobile

(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パラグラフより)


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


●質問者: ruzxa
●カテゴリ:コンピュータ
○ 状態 :キャンセル
└ 回答数 : 1/1件

▽最新の回答へ

質問者から

しかし、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 ● syamaoka

* (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 でのビルドについては最初から正しく設定されています。


syamaokaさんのコメント
もし jpf-core, jpf-symbc をプロジェクトとして参照する新規プロジェクトを追加する場合、肝になる設定は Java Build Path > Projects です。ここに jpf-core, jpf-symbc を入れる必要があります。さらに、ant でビルドできるようにしたい場合は、build.xml にも jpf-core, jpf-symbc を参照できるように設定を追加する必要があります。 この説明で Eclipse の設定と ant の設定の違いについてなんとなく理解して頂けるかと思います。

ruzxaさんのコメント
syamaokaさん、ご回答ありがとうございます。 jpf-core,jpf-symbcプロジェクト共にビルドパスの設定はされておりました。 その上で、jpf-symbcプロジェクトをビルド(ant実行)すると >|| [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\GreenListener.java:4: エラー: パッケージgov.nasa.jpf.searchは存在しません [javac] import gov.nasa.jpf.search.Search; ||< と、jpf-core側のパッケージにはある一方、jpf-symbc側のパッケージには含まれていないものを指しています。そこで、ビルドパスをjpf-core側に通す必要があるかと考えたのですが、間違いでしたでしょうか? エラー詳細は下記となっております。 >|| Buildfile: C:\Users\mar\Dropbox\java\jpf-symbc\build.xml -init: -compile-annotations: -compile-main: [javac] Compiling 266 source files to C:\Users\mar\Dropbox\java\jpf-symbc\build\main [javac] 警告: [options] ブートストラップ・クラスパスが-source 1.6と一緒に設定されていません [javac] 警告: [options] ソース値1.6は廃止されていて、今後のリリースで削除される予定です [javac] 警告: [options] 廃止されたオプションについての警告を表示しないようにするには、-Xlint:オプションを使用します。 [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\ProblemCompare.java:710: 警告: 識別子として'_'が使用されました [javac] } catch(Exception _){ [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\ProblemCompare.java:1484: 警告: 識別子として'_'が使用されました [javac] catch(Exception _){ [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\ProblemCompare.java:1487: 警告: 識別子として'_'が使用されました [javac] _.printStackTrace(); [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\ProblemCompare.java:1533: 警告: 識別子として'_'が使用されました [javac] } catch (IOException _) { [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\ProblemCoral.java:646: 警告: 識別子として'_'が使用されました [javac] } catch (Exception _) { [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\ProblemCoral.java:707: 警告: 識別子として'_'が使用されました [javac] } catch (NullPointerException _) { [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\ProblemCoral.java:708: 警告: 識別子として'_'が使用されました [javac] throw _; [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\TablePrinter.java:55: 警告: 識別子として'_'が使用されました [javac] } catch (IOException _) { [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\TablePrinter.java:57: 警告: 識別子として'_'が使用されました [javac] _.printStackTrace(); [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\TablePrinter.java:59: 警告: 識別子として'_'が使用されました [javac] } catch (ClassNotFoundException _) { [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\numeric\solvers\TablePrinter.java:63: 警告: 識別子として'_'が使用されました [javac] _.printStackTrace(); [javac] ^ [javac] (識別子としての'_'の使用は、Java SE 8より後のリリースではサポートされない可能性があります) [javac] C:\Users\mar\Dropbox\java\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] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\GreenListener.java:4: エラー: パッケージgov.nasa.jpf.searchは存在しません [javac] import gov.nasa.jpf.search.Search; [javac] ^ [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\GreenListener.java:7: エラー: シンボルを見つけられません [javac] public class GreenListener extends ListenerAdapter { [javac] ^ [javac] シンボル: クラス ListenerAdapter [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\GreenListener.java:12: エラー: シンボルを見つけられません [javac] public void searchFinished(Search s) { [javac] ^ [javac] シンボル: クラス Search [javac] 場所: クラス GreenListener [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:24: エラー: シンボルを見つけられません [javac] import gov.nasa.jpf.Config; [javac] ^ [javac] シンボル: クラス Config [javac] 場所: パッケージ gov.nasa.jpf [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:25: エラー: シンボルを見つけられません [javac] import gov.nasa.jpf.JPF; [javac] ^ [javac] シンボル: クラス JPF [javac] 場所: パッケージ gov.nasa.jpf [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:26: エラー: シンボルを見つけられません [javac] import gov.nasa.jpf.PropertyListenerAdapter; [javac] ^ [javac] シンボル: クラス PropertyListenerAdapter [javac] 場所: パッケージ gov.nasa.jpf [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:27: エラー: パッケージgov.nasa.jpf.searchは存在しません [javac] import gov.nasa.jpf.search.Search; [javac] ^ [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:29: エラー: パッケージgov.nasa.jpf.vmは存在しません [javac] import gov.nasa.jpf.vm.ChoiceGenerator; [javac] ^ [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:31: エラー: シンボルを見つけられません [javac] public class HeuristicListener extends PropertyListenerAdapter { [javac] ^ [javac] シンボル: クラス PropertyListenerAdapter [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:34: エラー: シンボルを見つけられません [javac] public HeuristicListener(Config conf, JPF jpf) { [javac] ^ [javac] シンボル: クラス Config [javac] 場所: クラス HeuristicListener [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:34: エラー: シンボルを見つけられません [javac] public HeuristicListener(Config conf, JPF jpf) { [javac] ^ [javac] シンボル: クラス JPF [javac] 場所: クラス HeuristicListener [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:38: エラー: シンボルを見つけられません [javac] public void stateAdvanced(Search search) { [javac] ^ [javac] シンボル: クラス Search [javac] 場所: クラス HeuristicListener [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:25: エラー: シンボルを見つけられません [javac] import gov.nasa.jpf.Config; [javac] ^ [javac] シンボル: クラス Config [javac] 場所: パッケージ gov.nasa.jpf [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:30: エラー: パッケージgov.nasa.jpf.utilは存在しません [javac] import gov.nasa.jpf.util.ClassInfoFilter; [javac] ^ [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:31: エラー: パッケージgov.nasa.jpf.vmは存在しません [javac] import gov.nasa.jpf.vm.ClassInfo; [javac] ^ [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:32: エラー: パッケージgov.nasa.jpf.vmは存在しません [javac] import gov.nasa.jpf.vm.Instruction; [javac] ^ [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:35: エラー: パッケージgov.nasa.jpf.jvm.bytecodeは存在しません [javac] public class SymbolicInstructionFactory extends gov.nasa.jpf.jvm.bytecode.InstructionFactory { [javac] ^ [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:37: エラー: シンボルを見つけられません [javac] public Instruction aload(int localVarIndex) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:43: エラー: シンボルを見つけられません [javac] public Instruction aload_0() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:48: エラー: シンボルを見つけられません [javac] public Instruction aload_1() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:53: エラー: シンボルを見つけられません [javac] public Instruction aload_2() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:58: エラー: シンボルを見つけられません [javac] public Instruction aload_3() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:63: エラー: シンボルを見つけられません [javac] public Instruction iadd() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:68: エラー: シンボルを見つけられません [javac] public Instruction iand() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:73: エラー: シンボルを見つけられません [javac] public Instruction iinc(int localVarIndex, int incConstant) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:78: エラー: シンボルを見つけられません [javac] public Instruction isub() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:83: エラー: シンボルを見つけられません [javac] public Instruction imul() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:88: エラー: シンボルを見つけられません [javac] public Instruction ineg() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:93: エラー: シンボルを見つけられません [javac] public Instruction ifle(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:98: エラー: シンボルを見つけられません [javac] public Instruction iflt(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:103: エラー: シンボルを見つけられません [javac] public Instruction ifge(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:108: エラー: シンボルを見つけられません [javac] public Instruction ifgt(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:113: エラー: シンボルを見つけられません [javac] public Instruction ifeq(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:118: エラー: シンボルを見つけられません [javac] public Instruction ifne(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:123: エラー: シンボルを見つけられません [javac] public Instruction invokestatic(String clsName, String methodName, String methodSignature) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:129: エラー: シンボルを見つけられません [javac] public Instruction invokevirtual(String clsName, String methodName, String methodSignature) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:133: エラー: シンボルを見つけられません [javac] public Instruction invokeinterface(String clsName, String methodName, String methodSignature) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:137: エラー: シンボルを見つけられません [javac] public Instruction invokespecial(String clsName, String methodName, String methodSignature) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:142: エラー: シンボルを見つけられません [javac] public Instruction if_icmpge(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:147: エラー: シンボルを見つけられません [javac] public Instruction if_icmpgt(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:152: エラー: シンボルを見つけられません [javac] public Instruction if_icmple(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:157: エラー: シンボルを見つけられません [javac] public Instruction if_icmplt(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:162: エラー: シンボルを見つけられません [javac] public Instruction idiv() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:167: エラー: シンボルを見つけられません [javac] public Instruction ishl() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:172: エラー: シンボルを見つけられません [javac] public Instruction ishr() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:177: エラー: シンボルを見つけられません [javac] public Instruction iushr() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:182: エラー: シンボルを見つけられません [javac] public Instruction ixor() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:187: エラー: シンボルを見つけられません [javac] public Instruction ior() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:192: エラー: シンボルを見つけられません [javac] public Instruction irem() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:197: エラー: シンボルを見つけられません [javac] public Instruction if_icmpeq(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:202: エラー: シンボルを見つけられません [javac] public Instruction if_icmpne(int targetPc) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:208: エラー: シンボルを見つけられません [javac] public Instruction fadd() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:213: エラー: シンボルを見つけられません [javac] public Instruction fdiv() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:218: エラー: シンボルを見つけられません [javac] public Instruction fmul() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:223: エラー: シンボルを見つけられません [javac] public Instruction fneg() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:228: エラー: シンボルを見つけられません [javac] public Instruction frem() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:233: エラー: シンボルを見つけられません [javac] public Instruction fsub() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:238: エラー: シンボルを見つけられません [javac] public Instruction fcmpg() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:244: エラー: シンボルを見つけられません [javac] public Instruction fcmpl() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:249: エラー: シンボルを見つけられません [javac] public Instruction dadd() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:254: エラー: シンボルを見つけられません [javac] public Instruction dcmpg() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:259: エラー: シンボルを見つけられません [javac] public Instruction dcmpl() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:264: エラー: シンボルを見つけられません [javac] public Instruction ddiv() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:269: エラー: シンボルを見つけられません [javac] public Instruction dmul() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:274: エラー: シンボルを見つけられません [javac] public Instruction dneg() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:279: エラー: シンボルを見つけられません [javac] public Instruction drem() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:284: エラー: シンボルを見つけられません [javac] public Instruction dsub() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:289: エラー: シンボルを見つけられません [javac] public Instruction ladd() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:294: エラー: シンボルを見つけられません [javac] public Instruction land() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:299: エラー: シンボルを見つけられません [javac] public Instruction lcmp() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:304: エラー: シンボルを見つけられません [javac] public Instruction ldiv() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:309: エラー: シンボルを見つけられません [javac] public Instruction lmul() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:314: エラー: シンボルを見つけられません [javac] public Instruction lneg() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:319: エラー: シンボルを見つけられません [javac] public Instruction lor() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:324: エラー: シンボルを見つけられません [javac] public Instruction lrem() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:329: エラー: シンボルを見つけられません [javac] public Instruction lshl() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:334: エラー: シンボルを見つけられません [javac] public Instruction lshr() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:339: エラー: シンボルを見つけられません [javac] public Instruction lsub() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:344: エラー: シンボルを見つけられません [javac] public Instruction lushr() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:349: エラー: シンボルを見つけられません [javac] public Instruction lxor() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:354: エラー: シンボルを見つけられません [javac] public Instruction i2d() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:359: エラー: シンボルを見つけられません [javac] public Instruction d2i() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:364: エラー: シンボルを見つけられません [javac] public Instruction d2l() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:369: エラー: シンボルを見つけられません [javac] public Instruction i2f() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:374: エラー: シンボルを見つけられません [javac] public Instruction l2d() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:379: エラー: シンボルを見つけられません [javac] public Instruction l2f() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:384: エラー: シンボルを見つけられません [javac] public Instruction f2l() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:389: エラー: シンボルを見つけられません [javac] public Instruction f2i() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:394: エラー: シンボルを見つけられません [javac] public Instruction lookupswitch(int defaultTargetPc, int nEntries) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:399: エラー: シンボルを見つけられません [javac] public Instruction tableswitch(int defaultTargetPc, int low, int high) { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:404: エラー: シンボルを見つけられません [javac] public Instruction d2f() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:409: エラー: シンボルを見つけられません [javac] public Instruction f2d() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:414: エラー: シンボルを見つけられません [javac] public Instruction i2b() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:419: エラー: シンボルを見つけられません [javac] public Instruction i2c() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:424: エラー: シンボルを見つけられません [javac] public Instruction i2s() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:429: エラー: シンボルを見つけられません [javac] public Instruction i2l() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:434: エラー: シンボルを見つけられません [javac] public Instruction l2i() { [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:439: エラー: シンボルを見つけられません [javac] public Instruction getfield(String fieldName, String clsName, String fieldDescriptor){ [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] C:\Users\mar\Dropbox\java\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:443: エラー: シンボルを見つけられません [javac] public Instruction getstatic(String fieldName, String clsName, String fieldDescriptor){ [javac] ^ [javac] シンボル: クラス Instruction [javac] 場所: クラス SymbolicInstructionFactory [javac] 注意:入力ファイルの操作のうち、未チェックまたは安全ではないものがあります。 [javac] 注意:詳細は、-Xlint:uncheckedオプションを指定して再コンパイルしてください。 [javac] エラー100個 [javac] 警告14個 BUILD FAILED C:\Users\mar\Dropbox\java\jpf-symbc\build.xml:122: Compile failed; see the compiler error output for details. ||<

ruzxaさんのコメント
現状の設定は下記のようになっております。 [f:id:ruzxa:20141229144805j:image] [f:id:ruzxa:20141229144803j:image] [f:id:ruzxa:20141229144804j:image] [f:id:ruzxa:20141229144805j:image] jpf-symbcプロジェクトのJavaのビルド・パス→ソースにUsers/mar/Dropbox/java_orig/jpf-core/src/mainと追加するもうまく行きませんでした。

syamaokaさんのコメント
んー、どうしてでしょうね。検討が付かなくなりました。

ruzxaさんのコメント
お手数おかけして申し訳ありません。 ツール導入をし、ご回答頂きありがとうございました!
関連質問

●質問をもっと探す●



0.人力検索はてなトップ
8.このページを友達に紹介
9.このページの先頭へ
対応機種一覧
お問い合わせ
ヘルプ/お知らせ
ログイン
無料ユーザー登録
はてなトップ