| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_Class
JPF_java_lang_Class | public class JPF_java_lang_Class (Code) | | MJI NativePeer class for java.lang.Class library abstraction
|
Method Summary | |
public static boolean | desiredAssertionStatus(MJIEnv env, int robj) | public static int | forName__Ljava_lang_String_2(MJIEnv env, int rcls, int stringRef) | public static int | getComponentType(MJIEnv env, int robj) | public static int | getPrimitiveClass__Ljava_lang_String_2(MJIEnv env, int rcls, int stringRef) | static ClassInfo | getReferringClassInfo(MJIEnv env, int robj) | public static int | getSuperclass(MJIEnv env, int robj) | public static boolean | isArray(MJIEnv env, int robj) | public static boolean | isAssignableFrom__Ljava_lang_Class_2(MJIEnv env, int rcls, int r1) | public static boolean | isInstance__Ljava_lang_Object_2(MJIEnv env, int robj, int r1) | public static boolean | isPrimitiveClass__(MJIEnv env, int robj) | public static int | newInstance(MJIEnv env, int robj) |
desiredAssertionStatus | public static boolean desiredAssertionStatus(MJIEnv env, int robj)(Code) | | |
forName__Ljava_lang_String_2 | public static int forName__Ljava_lang_String_2(MJIEnv env, int rcls, int stringRef)(Code) | | |
getComponentType | public static int getComponentType(MJIEnv env, int robj)(Code) | | |
getPrimitiveClass__Ljava_lang_String_2 | public static int getPrimitiveClass__Ljava_lang_String_2(MJIEnv env, int rcls, int stringRef)(Code) | | |
getSuperclass | public static int getSuperclass(MJIEnv env, int robj)(Code) | | |
isArray | public static boolean isArray(MJIEnv env, int robj)(Code) | | |
isAssignableFrom__Ljava_lang_Class_2 | public static boolean isAssignableFrom__Ljava_lang_Class_2(MJIEnv env, int rcls, int r1)(Code) | | |
isInstance__Ljava_lang_Object_2 | public static boolean isInstance__Ljava_lang_Object_2(MJIEnv env, int robj, int r1)(Code) | | |
isPrimitiveClass__ | public static boolean isPrimitiveClass__(MJIEnv env, int robj)(Code) | | |
newInstance | public static int newInstance(MJIEnv env, int robj)(Code) | | |
|
|