jpf-actor: Ant build fails . Need Help

[manish singh]

Hi All,

         When I try to run "ant" command in the jpf-actor , it fails as below. I was able to build successfully in jpf-core folder though. Any idea where i am going wrong?

 ✘  ~/b/p/j/jpf-actor  ant -version

Apache Ant(TM) version 1.9.6 compiled on June 29 2015

 ~/b/p/j/jpf-actor  java -version

java version "1.8.0_65"

Java(TM) SE Runtime Environment (build 1.8.0_65-b17)

Java HotSpot(TM) 64-Bit Server VM (build 25.65-b01, mixed mode)

 ~/b/p/j/jpf-actor  javac -version

javac 1.8.0_65

****ERROR BELOW *****

Buildfile: /Users/zack/bosset/projects/jpf/jpf-actor/build.xml

-init:

-compile-annotations:

-compile-main:

    [javac] Compiling 7 source files to /Users/zack/bosset/projects/jpf/jpf-actor/build/main

    [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorDcute.java:23: error: package gov.nasa.jpf.jvm.choice does not exist

    [javac] import gov.nasa.jpf.jvm.choice.IntIntervalGenerator;

    [javac]                               ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorDcute.java:38: error: cannot find symbol

    [javac] public class DPORIntChoiceGeneratorDcute extends IntIntervalGenerator { //IntChoiceGenerator {

    [javac]                                                  ^

    [javac]   symbol: class IntIntervalGenerator

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistent.java:25: error: package gov.nasa.jpf.jvm.choice does not exist

    [javac] import gov.nasa.jpf.jvm.choice.IntIntervalGenerator;

    [javac]                               ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistent.java:41: error: cannot find symbol

    [javac] public class DPORIntChoiceGeneratorPersistent extends IntIntervalGenerator { //IntChoiceGenerator {

    [javac]                                                       ^

    [javac]   symbol: class IntIntervalGenerator

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:28: error: package gov.nasa.jpf.jvm.choice does not exist

    [javac] import gov.nasa.jpf.jvm.choice.IntIntervalGenerator;

    [javac]                               ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:44: error: cannot find symbol

    [javac] public class DPORIntChoiceGeneratorPersistentSleep extends IntIntervalGenerator { //IntChoiceGenerator {

    [javac]                                                            ^

    [javac]   symbol: class IntIntervalGenerator

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistent.java:22: error: package gov.nasa.jpf.jvm.choice does not exist

    [javac] import gov.nasa.jpf.jvm.choice.IntIntervalGenerator;

    [javac]                               ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistent.java:42: error: cannot find symbol

    [javac] public class DPORIntChoiceGeneratorTransistent extends IntIntervalGenerator { //IntChoiceGenerator {

    [javac]                                                        ^

    [javac]   symbol: class IntIntervalGenerator

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:22: error: package gov.nasa.jpf.jvm.choice does not exist

    [javac] import gov.nasa.jpf.jvm.choice.IntIntervalGenerator;

    [javac]                               ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:44: error: cannot find symbol

    [javac] public class DPORIntChoiceGeneratorTransistentSleep extends IntIntervalGenerator { //IntChoiceGenerator {

    [javac]                                                             ^

    [javac]   symbol: class IntIntervalGenerator

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorDcute.java:72: error: cannot find symbol

    [javac]     if (isDone) {

    [javac]         ^

    [javac]   symbol:   variable isDone

    [javac]   location: class DPORIntChoiceGeneratorDcute

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorDcute.java:72: error: illegal start of type

    [javac]     if (isDone) {

    [javac]        ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorDcute.java:107: error: cannot find symbol

    [javac]     StringBuilder sb = new StringBuilder(getClass().getName());

    [javac]                                          ^

    [javac]   symbol:   method getClass()

    [javac]   location: class DPORIntChoiceGeneratorDcute

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorDcute.java:108: error: cannot find symbol

    [javac]     if (id == null) {

    [javac]         ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorDcute

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorDcute.java:112: error: cannot find symbol

    [javac]       sb.append(id);

    [javac]                 ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorDcute

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistent.java:104: error: cannot find symbol

    [javac]     if (isDone) {

    [javac]         ^

    [javac]   symbol:   variable isDone

    [javac]   location: class DPORIntChoiceGeneratorPersistent

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistent.java:104: error: illegal start of type

    [javac]     if (isDone) {

    [javac]        ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistent.java:137: error: cannot find symbol

    [javac]     StringBuilder sb = new StringBuilder(getClass().getName());

    [javac]                                          ^

    [javac]   symbol:   method getClass()

    [javac]   location: class DPORIntChoiceGeneratorPersistent

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistent.java:138: error: cannot find symbol

    [javac]     if (id == null) {

    [javac]         ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorPersistent

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistent.java:142: error: cannot find symbol

    [javac]       sb.append(id);

    [javac]                 ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorPersistent

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:117: error: cannot find symbol

    [javac]     if (this.getPreviousChoiceGeneratorOfType(this.getClass()) != null

    [javac]                                                   ^

    [javac]   symbol: method getClass()

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:118: error: cannot find symbol

    [javac]     && (this.getPreviousChoiceGeneratorOfType(this.getClass()) instanceof DPORIntChoiceGeneratorPersistentSleep)) {

    [javac]                                                   ^

    [javac]   symbol: method getClass()

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:120: error: cannot find symbol

    [javac]         getPreviousChoiceGeneratorOfType(this.getClass()))).getSleepSet());

    [javac]                                              ^

    [javac]   symbol: method getClass()

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:122: error: cannot find symbol

    [javac]         getPreviousChoiceGeneratorOfType(this.getClass()))).getLastChosenActor());

    [javac]                                              ^

    [javac]   symbol: method getClass()

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:183: error: cannot find symbol

    [javac]     if (isDone) {

    [javac]         ^

    [javac]   symbol:   variable isDone

    [javac]   location: class DPORIntChoiceGeneratorPersistentSleep

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:183: error: illegal start of type

    [javac]     if (isDone) {

    [javac]        ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:213: error: cannot find symbol

    [javac]     StringBuilder sb = new StringBuilder(getClass().getName());

    [javac]                                          ^

    [javac]   symbol:   method getClass()

    [javac]   location: class DPORIntChoiceGeneratorPersistentSleep

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:214: error: cannot find symbol

    [javac]     if (id == null) {

    [javac]         ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorPersistentSleep

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorPersistentSleep.java:218: error: cannot find symbol

    [javac]       sb.append(id);

    [javac]                 ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorPersistentSleep

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistent.java:116: error: cannot find symbol

    [javac]     if (isDone) {

    [javac]         ^

    [javac]   symbol:   variable isDone

    [javac]   location: class DPORIntChoiceGeneratorTransistent

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistent.java:116: error: illegal start of type

    [javac]     if (isDone) {

    [javac]        ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistent.java:146: error: cannot find symbol

    [javac]     StringBuilder sb = new StringBuilder(getClass().getName());

    [javac]                                          ^

    [javac]   symbol:   method getClass()

    [javac]   location: class DPORIntChoiceGeneratorTransistent

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistent.java:147: error: cannot find symbol

    [javac]     if (id == null) {

    [javac]         ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorTransistent

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistent.java:151: error: cannot find symbol

    [javac]       sb.append(id);

    [javac]                 ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorTransistent

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:98: error: cannot find symbol

    [javac]     if (this.getPreviousChoiceGeneratorOfType(this.getClass()) != null

    [javac]                                                   ^

    [javac]   symbol: method getClass()

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:99: error: cannot find symbol

    [javac]             && (this.getPreviousChoiceGeneratorOfType(this.getClass()) instanceof DPORIntChoiceGeneratorTransistentSleep)) {

    [javac]                                                           ^

    [javac]   symbol: method getClass()

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:101: error: cannot find symbol

    [javac]                 getPreviousChoiceGeneratorOfType(this.getClass()))).getSleepSet());

    [javac]                                                      ^

    [javac]   symbol: method getClass()

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:103: error: cannot find symbol

    [javac]                 getPreviousChoiceGeneratorOfType(this.getClass()))).getLastChosenActor());

    [javac]                                                      ^

    [javac]   symbol: method getClass()

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:163: error: cannot find symbol

    [javac]     if (isDone) {

    [javac]         ^

    [javac]   symbol:   variable isDone

    [javac]   location: class DPORIntChoiceGeneratorTransistentSleep

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:163: error: illegal start of type

    [javac]     if (isDone) {

    [javac]        ^

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:193: error: cannot find symbol

    [javac]     StringBuilder sb = new StringBuilder(getClass().getName());

    [javac]                                          ^

    [javac]   symbol:   method getClass()

    [javac]   location: class DPORIntChoiceGeneratorTransistentSleep

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:194: error: cannot find symbol

    [javac]     if (id == null) {

    [javac]         ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorTransistentSleep

    [javac] /Users/zack/bosset/projects/jpf/jpf-actor/src/main/gov/nasa/jpf/actor/common/DPORIntChoiceGeneratorTransistentSleep.java:198: error: cannot find symbol

    [javac]       sb.append(id);

    [javac]                 ^

    [javac]   symbol:   variable id

    [javac]   location: class DPORIntChoiceGeneratorTransistentSleep

    [javac] 43 errors

    [javac] 1 warning

BUILD FAILED

/Users/zack/bosset/projects/jpf/jpf-actor/build.xml:148: Compile failed; see the compiler error output for details.

Total time: 1 second

 ✘  ~/b/p/j/jpf-actor

[Quoc-Sang Phan]

Hi,

jpf-actor is no longer supported. You should compile it with older version of jpf-core, e.g. version 6.

The errors occurred when you compiled because java couldn't find some classes in the package "jvm" of jpf-core. Actually those classes were moved to the package "vm" in a newer (and current) version of jpf-core.

Best wishes,

--Sang

[manish singh]

Thanks Sang. 

So the current version is as below . How do I install a specific version of jpf-core ? example: version 6?

 ✘  ~/b/p/j/jpf-core  bin/jpf -version

JPF version: 29

[SEVERE] JPF configuration error: no target class specified, terminating

> used within "vm.class" instantiation of class gov.nasa.jpf.vm.SingleProcessVM

[SEVERE] JPF terminated

 ~/b/p/j/jpf-core 

[Quoc-Sang Phan]

Sorry, I've just checked and the v6 branch of jpf-core has been removed from the repository.

Maybe only Peter Mehlitz can tell if you can find the v6 branch somewhere.

You may also try to make jpf-actor compatible with the latest jpf-core.

[manish singh]

Thanks Sang. How do I make the jpf-actor compatible with the latest jpf-core? Will that be too much of effort ?

[Steven Lauterburg]

jpf-actor does not work with the latest version of jpf-core (one of these days I will have to rectify that).  You can, however, access a snapshot of an older jpf-core version that it will work with at http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-core .  Scroll to the bottom of the screen and expand the attachments tab.  jpf-actor will work with jpf-core-r1038-src.zip

-Steve Lauterburg

[manish singh]

Hello Steve,

                     Thanks. I downloaded the version of jpf-core that you mentioned and did the build. Now I was able to do ant build of both jpf-core and jpf-actor successfully. However, now I am facing the below error. Did I miss anything? Appreciate your reply. Thank you.

 ~/b/p/j/jpf-core  bin/jpf gov.nasa.jpf.actor.Basset pi.Driver 3

[SEVERE] JPF exception, terminating: error reading class java.lang.reflect.AnnotatedElement

gov.nasa.jpf.classfile.ClassFileException: illegal constpool tag

at gov.nasa.jpf.classfile.ClassFile.error(ClassFile.java:168)

at gov.nasa.jpf.classfile.ClassFile.parseCp(ClassFile.java:1009)

at gov.nasa.jpf.classfile.ClassFile.parse(ClassFile.java:827)

at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:803)

at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1221)

at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1207)

at gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:1994)

at gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:2000)

at gov.nasa.jpf.jvm.ClassInfo.getAllInterfaces(ClassInfo.java:2150)

at gov.nasa.jpf.jvm.JVM.registerStartupClass(JVM.java:531)

at gov.nasa.jpf.jvm.JVM.registerStartupClasses(JVM.java:510)

at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:301)

at gov.nasa.jpf.JPF.run(JPF.java:616)

at gov.nasa.jpf.JPF.start(JPF.java:190)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)

at java.lang.reflect.Method.invoke(Method.java:497)

at gov.nasa.jpf.tool.Run.call(Run.java:76)

at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)

---------------------- JPF error stack trace ---------------------

gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement

at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1231)

at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1207)

at gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:1994)

at gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:2000)

at gov.nasa.jpf.jvm.ClassInfo.getAllInterfaces(ClassInfo.java:2150)

at gov.nasa.jpf.jvm.JVM.registerStartupClass(JVM.java:531)

at gov.nasa.jpf.jvm.JVM.registerStartupClasses(JVM.java:510)

at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:301)

at gov.nasa.jpf.JPF.run(JPF.java:616)

at gov.nasa.jpf.JPF.start(JPF.java:190)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)

at java.lang.reflect.Method.invoke(Method.java:497)

at gov.nasa.jpf.tool.Run.call(Run.java:76)

at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)

Caused by: gov.nasa.jpf.classfile.ClassFileException: illegal constpool tag

at gov.nasa.jpf.classfile.ClassFile.error(ClassFile.java:168)

at gov.nasa.jpf.classfile.ClassFile.parseCp(ClassFile.java:1009)

at gov.nasa.jpf.classfile.ClassFile.parse(ClassFile.java:827)

at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:803)

at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1221)

... 15 more

 ~/b/p/j/jpf-core 

[manish singh]

Anyone faced this issue before? With what version of java is this supposed to work?

[manish singh]

Okay. I will try with java 6 and java 7 both and let you know if it works.

[Cambridge Yang]

I'm trying to bring jpf-actor up to date. Any help would be appreciated!

thread: https://groups.google.com/forum/#!topic/java-pathfinder/xPEFfNJ2NyQ