Added WildcardTypeImpl implementation (minimal support).

[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_sun_reflect_generics_reflectiveObjects_WildcardTypeImpl.java

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_sun_reflect_generics_reflectiveObjects_WildcardTypeImpl.java b/src/peers/gov/nasa/jpf/vm/JPF_sun_reflect_generics_reflectiveObjects_WildcardTypeImpl.java
index 89bab397c21d761acc6269319bdd590eff93c28d..b5ec06e0cc645a6713ac132bdb949a5699fddd65 100644 (file)
--- a/src/peers/gov/nasa/jpf/vm/JPF_sun_reflect_generics_reflectiveObjects_WildcardTypeImpl.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_sun_reflect_generics_reflectiveObjects_WildcardTypeImpl.java
@@ -20,11 +20,10 @@ package gov.nasa.jpf.vm;
 
 import gov.nasa.jpf.annotation.MJI;
 
-public class JPF_sun_reflect_generics_reflectiveObjects_WildcardTypeImpl {
+public class JPF_sun_reflect_generics_reflectiveObjects_WildcardTypeImpl extends NativePeer {
 
-    // TODO: Need to fix the following 2 methods!!!
-
-    @MJI
+    // TODO: Need to fix the following 2 methods if needed!!!
+    /*@MJI
     public int getUpperBounds_____3Ljava_lang_reflect_Type_2 (MJIEnv env, int objRef){
         ThreadInfo ti = env.getThreadInfo();
         ClassInfo ci = ClassLoaderInfo.getCurrentResolvedClassInfo("java.lang.Object");
@@ -48,5 +47,5 @@ public class JPF_sun_reflect_generics_reflectiveObjects_WildcardTypeImpl {
         env.setReferenceArrayElement(aRef, 0, MJIEnv.NULL);
 
         return aRef;
-    }
+    }*/
 }