public static Class<?> obtainJVMCls(int JPFRef, MJIEnv env, FeatureExpr ctx)
throws ConversionException {
if (JPFRef == MJIEnv.NULL) {
return null;
}
ClassInfo ci = env.getReferredClassInfo(ctx, JPFRef);
JPF2JVMConverter converter = ConverterBase.converterFactory.getJPF2JVMConverter(ci.getName());
return converter.getJVMCls(JPFRef, env, ctx);
}
public static Object obtainJVMObj(int JPFRef, MJIEnv env, FeatureExpr ctx)
throws ConversionException {
if (JPFRef == MJIEnv.NULL) {
return null;
}
DynamicElementInfo dei = (DynamicElementInfo) env.getHeap().get(JPFRef);
ClassInfo ci = dei.getClassInfo();
JPF2JVMConverter converter = ConverterBase.converterFactory.getJPF2JVMConverter(ci.getName());
return converter.getJVMObj(JPFRef, env, ctx);
}