Package gov.nasa.jpf.vm

Examples of gov.nasa.jpf.vm.StaticElementInfo

66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
       */
      if (JVMCls == null) {
        ClassInfo ci = env.getReferredClassInfo(JPFRef);

        // Used to store static fields
        StaticElementInfo sei = ci.getStaticElementInfo();

        try {
          JVMCls = loadClass(sei.getClassInfo().getName(), env);
          ConverterBase.classMapJPF2JVM.put(JPFRef, JVMCls);
        } catch (ClassNotFoundException e) {
          throw new NoClassDefFoundError(sei.getClassInfo().getName());
        }

        assert (JVMCls.getName() != ci.getName());

        setStaticFields(JVMCls, sei, env);
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
      // retrieving the integer representing the Class in JPF
      JPFCls = ClassLoaderInfo.getCurrentResolvedClassInfo(JVMCls.getName());

      // First check if the class has been already updated
      if (!ConverterBase.updatedJPFCls.contains(JPFClsRef)){
        StaticElementInfo sei = null;
       
        /**
         * If the corresponding ClassInfo does not exist, a new ClassInfo object
         * is created and will be added to the loadedClasses.
         */
        if (!JPFCls.isRegistered()){
          JPFCls.registerClass(env.getThreadInfo());
          sei = JPFCls.getStaticElementInfo();
          JPFClsRef = sei.getObjectRef();
        } else {
          sei = JPFCls.getModifiableStaticElementInfo();
        }

        // This is to avoid JPF to initialized the class
View Full Code Here
TOP

Related Classes of gov.nasa.jpf.vm.StaticElementInfo

  • nhandler.conversion.jpf2jvm.JPF2JVMConverter
  • nhandler.conversion.jvm2jpf.JVM2JPFConverter
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.