Merge pull request #123 from gayanW/java-10_106

Add NativePeer method for Reflection#getClassAccessFlags(Class)
javapathfinder · Jul 27, 2018 · 2fa3137 · 2fa3137
2 parents cca2316 + 8881277
commit 2fa3137
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_reflect_Reflection.java b/src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_reflect_Reflection.java
@@ -55,4 +55,13 @@ public int getCallerClass__I__Ljava_lang_Class_2(MJIEnv env, int clsObjRef, int
   public int getCallerClass____Ljava_lang_Class_2(MJIEnv env, int clsObjRef){
     return getCallerClass__I__Ljava_lang_Class_2( env, clsObjRef, 2);
   }
+
+  /**
+   * NativePeer method for {@link jdk.internal.reflect.Reflection#getClassAccessFlags(java.lang.Class)}
+   */
+  @MJI
+  public static int getClassAccessFlags__Ljava_lang_Class_2__I(MJIEnv env, int clsObjRef, int cRef) {
+    ClassInfo classInfo = env.getClassInfo(cRef);
+    return classInfo.getModifiers();
+  }
 }