[Javapathfinder-devel] javapathfinder/env/jvm/gov/nasa/jpf/jvm JPF_java_lang_Class.java,1.2,1.3

[pcm <pcm...@us...>]

Update of /cvsroot/javapathfinder/javapathfinder/env/jvm/gov/nasa/jpf/jvm
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1242/jvm/gov/nasa/jpf/jvm

Modified Files:
	JPF_java_lang_Class.java 
Log Message:
nce it is easy enough and we needed a quick solution, today's 5min hack is to add Class.getSuperclass()


Index: JPF_java_lang_Class.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- JPF_java_lang_Class.java	5 May 2005 01:03:54 -0000	1.2
+++ JPF_java_lang_Class.java	23 Sep 2005 17:12:45 -0000	1.3
@@ -121,6 +121,16 @@
     return ref;
   }
   
+  public static int getSuperclass (MJIEnv env, int robj) {
+    ClassInfo ci = getReferringClassInfo(env, robj);
+    ClassInfo sci = ci.getSuperClass();
+    if (sci != null) {
+      return sci.getClassObjectRef();
+    } else {
+      return MJIEnv.NULL;
+    }
+  }
+  
   static ClassInfo getReferringClassInfo (MJIEnv env, int robj) {
     // this is only the ElementInfo for the java.lang.Class object
     ElementInfo ei = env.getElementInfo(robj);