Package gov.nasa.jpf.vm

Examples of gov.nasa.jpf.vm.ArrayFields


        ConverterBase.updatedJPFObj.put(JPFArr, JVMArr);
        ConverterBase.objMapJPF2JVM.put(JPFArr, JVMArr);

        DynamicElementInfo dei = (DynamicElementInfo) env.getHeap().getModifiable(JPFArr);

        ArrayFields fields = (ArrayFields) dei.getFields();

        // Array of primitive type
        if (dei.getClassInfo().getComponentClassInfo().isPrimitive()){
          Utilities.setJPFPrimitiveArr(dei, JVMArr, env);
        }
        // Array of Non-primitives
        else{
          int arrSize = fields.arrayLength();
          Object[] arrObj = (Object[]) JVMArr;

          for (int i = 0; i < arrSize; i++){
            int elementValueRef = dei.getReferenceElement(i);
View Full Code Here

TOP

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

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.