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

Google Groups | manish singh | 2 years 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

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

    Stack Overflow | 2 years ago | Zack
    gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement
  2. 0

    jpf-actor: Ant build fails . Need Help

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

    Version 7 of JPF

    Google Groups | 3 weeks ago | Linn Jensen
    gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    [JPF] Help about example listener

    Google Groups | 6 years ago | Pham Quang Thap
    gov.nasa.jpf.JPFException: not an int[]
  6. 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