| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_Object
JPF_java_lang_Object | public class JPF_java_lang_Object (Code) | | MJI NativePeer class for java.lang.Object library abstraction
|
Method Summary | |
public static boolean | $isDeterministic_wait__J(MJIEnv env, int objref, long length) | public static boolean | $isExecutable_wait__J(MJIEnv env, int objref, long length) | public static int | clone(MJIEnv env, int objref) | public static int | getClass(MJIEnv env, int objref) | public static int | hashCode(MJIEnv env, int objref) | final public static void | notify(MJIEnv env, int objref) | public static void | notifyAll(MJIEnv env, int objref) | public static void | registerNatives(MJIEnv env, int clsObjRef) | public static void | wait__J(MJIEnv env, int objref, long length) |
$isDeterministic_wait__J | public static boolean $isDeterministic_wait__J(MJIEnv env, int objref, long length)(Code) | | |
$isExecutable_wait__J | public static boolean $isExecutable_wait__J(MJIEnv env, int objref, long length)(Code) | | |
getClass | public static int getClass(MJIEnv env, int objref)(Code) | | |
hashCode | public static int hashCode(MJIEnv env, int objref)(Code) | | |
notify | final public static void notify(MJIEnv env, int objref)(Code) | | |
notifyAll | public static void notifyAll(MJIEnv env, int objref)(Code) | | |
registerNatives | public static void registerNatives(MJIEnv env, int clsObjRef)(Code) | | |
wait__J | public static void wait__J(MJIEnv env, int objref, long length)(Code) | | |
|
|