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

Google Groups | manish singh | 1 year ago
tip
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards for you help.
  1. 0

    jpf-actor: Ant build fails . Need Help

    Google Groups | 1 year ago | manish singh
    gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement
  2. 0

    Not able to run jpf command :JPF exception, terminating: error reading class java.lang.reflect.AnnotatedElement

    Stack Overflow | 1 year ago | Zack
    gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement
  3. 0

    [JPF] Help about example listener

    Google Groups | 6 years ago | Pham Quang Thap
    gov.nasa.jpf.JPFException: not an int[]
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    jpf-symbc installation

    Google Groups | 6 years ago | Alex O.
    gov.nasa.jpf.JPFException: not a int field: m

    2 unregistered visitors

    Root Cause Analysis

    1. gov.nasa.jpf.classfile.ClassFileException

      illegal constpool tag

      at gov.nasa.jpf.classfile.ClassFile.error()
    2. gov.nasa.jpf
      JPF.start
      1. gov.nasa.jpf.classfile.ClassFile.error(ClassFile.java:168)
      2. gov.nasa.jpf.classfile.ClassFile.parseCp(ClassFile.java:1009)
      3. gov.nasa.jpf.classfile.ClassFile.parse(ClassFile.java:827)
      4. gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:803)
      5. gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1221)
      6. gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1207)
      7. gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:1994)
      8. gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:2000)
      9. gov.nasa.jpf.jvm.ClassInfo.getAllInterfaces(ClassInfo.java:2150)
      10. gov.nasa.jpf.jvm.JVM.registerStartupClass(JVM.java:531)
      11. gov.nasa.jpf.jvm.JVM.registerStartupClasses(JVM.java:510)
      12. gov.nasa.jpf.jvm.JVM.initialize(JVM.java:301)
      13. gov.nasa.jpf.JPF.run(JPF.java:616)
      14. gov.nasa.jpf.JPF.start(JPF.java:190)
      14 frames
    3. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:497)
      4 frames
    4. gov.nasa.jpf
      RunJPF.main
      1. gov.nasa.jpf.tool.Run.call(Run.java:76)
      2. gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)
      2 frames