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

Google Groups | manish singh | 1 year ago
tip
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  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