Package nhandler.conversion

Examples of nhandler.conversion.ConversionException

52
53
54
55
56
57
58
59
    } else if (fi.isFloatField()) {
      fld.setFloat(obj, ei.getFloatField(fi));
    } else if (fi.isDoubleField()) {
      fld.setDouble(obj, ei.getDoubleField(fi));
    } else {
      throw new ConversionException("Unknown premitive type " + fi.getType());
    }
  }
View Full Code Here
105
106
107
108
109
110
111
112
113
    }
    // boolean[]
    else if (type.equals("[Z")) {
      JVMObj = ((ArrayFields) ei.getFields()).asBooleanArray();
    } else {
      throw new ConversionException("Unknown array type " + type);
    }
    return JVMObj;
  }
View Full Code Here
216
217
218
219
220
221
222
223
224
225
226
  protected abstract Object instantiateFrom (Class<?> cl);

  protected Object createStringObject(int JPFRef, MJIEnv env) throws ConversionException {
    DynamicElementInfo str = (DynamicElementInfo) env.getHeap().get(JPFRef);
    if(!str.getClassInfo().isStringClassInfo()) {
      throw new ConversionException();
    }

    FieldInfo fi = str.getFieldInfo("value");
    int fieldValueRef = str.getFields().getReferenceValue(fi.getStorageOffset());
View Full Code Here
104
105
106
107
108
109
110
111
    } else if (fld.getType().getName().equals("float")){
      fields.setFloatValue(index, fld.getFloat(JVMObj));
    } else if (fld.getType().getName().equals("double")){
      fields.setDoubleValue(index, fld.getDouble(JVMObj));
    } else{
      throw new ConversionException("Unknown premitive type " + fld.getType().getName());
    }
  }
View Full Code Here
178
179
180
181
182
183
184
185
      boolean[] JVMArr = (boolean[]) JVMObj;
      for (int i = 0; i < JVMArr.length; i++){
        env.setBooleanArrayElement(ei.getObjectRef(), i, JVMArr[i]);
      }
    } else{
      throw new ConversionException("Unknown array type " + type);
    }
  }
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
            } else if (JPFfldValue == MJIEnv.NULL || ConverterBase.objMapJPF2JVM.get(JPFfldValue) != JVMfldValue){
              JPFfldValue = obtainJPFObj(JVMfldValue, env);
            } else if (ConverterBase.objMapJPF2JVM.get(JPFfldValue) == JVMfldValue){
              updateJPFObj(JVMfldValue, JPFfldValue, env);
            } else{
              throw new ConversionException("Unconsidered case observed! - JVM2JPF.getJPFCls()");
            }
            sei.setReferenceField(fi, JPFfldValue);
          }
          // If the current field is of primitive type
          else{
View Full Code Here
107
108
109
110
111
112
113
114
115
116
117
            } else if (JPFfldValue == MJIEnv.NULL || ConverterBase.objMapJPF2JVM.get(JPFfldValue) != JVMfldValue){
              JPFfldValue = obtainJPFObj(JVMfldValue, env);
            } else if (ConverterBase.objMapJPF2JVM.get(JPFfldValue) == JVMfldValue){
              updateJPFObj(JVMfldValue, JPFfldValue, env);
            } else{
              throw new ConversionException("Unconsidered case observed! - JVM2JPF.updateObj()");
            }
            dei.setReferenceField(fi, JPFfldValue);
          }
          // If the current field is of primitive type
          else{
View Full Code Here
282
283
284
285
286
287
288
289
290
291
292
            } else if (elementValueRef == MJIEnv.NULL || ConverterBase.objMapJPF2JVM.get(elementValueRef) != arrObj[i]){
              elementValueRef = obtainJPFObj(arrObj[i], env);
            } else if (ConverterBase.objMapJPF2JVM.get(elementValueRef) == arrObj[i]){
              updateJPFObj(arrObj[i], elementValueRef, env);
            } else{
              throw new ConversionException("Unconsidered case observed! - JVM2JPF.updateArr()");
            }
            dei.setReferenceElement(i, elementValueRef);
          }
        }
      }
View Full Code Here
TOP

Related Classes of nhandler.conversion.ConversionException

  • nhandler.conversion.jpf2jvm.JPF2JVMConverter
  • nhandler.conversion.jpf2jvm.Utilities
  • nhandler.conversion.jvm2jpf.JVM2JPFConverter
  • nhandler.conversion.jvm2jpf.JVM2JPFGenericConverter
  • nhandler.conversion.jvm2jpf.Utilities
    • 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.