public class JPF_java_lang_Object extends NativePeer
Constructor and Description |
---|
JPF_java_lang_Object() |
Modifier and Type | Method and Description |
---|---|
int |
clone____Ljava_lang_Object_2(MJIEnv env,
int objref) |
int |
getClass____Ljava_lang_Class_2(MJIEnv env,
int objref) |
int |
hashCode____I(MJIEnv env,
int objref) |
void |
notify____V(MJIEnv env,
int objref) |
void |
notifyAll____V(MJIEnv env,
int objref) |
int |
toString____Ljava_lang_String_2(MJIEnv env,
int objref) |
void |
wait____V(MJIEnv env,
int objref) |
void |
wait__J__V(MJIEnv env,
int objref,
long timeout) |
void |
wait__JI__V(MJIEnv env,
int objref,
long timeout,
int nanos) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public int getClass____Ljava_lang_Class_2(MJIEnv env, int objref)
public int clone____Ljava_lang_Object_2(MJIEnv env, int objref)
public int hashCode____I(MJIEnv env, int objref)
public void wait____V(MJIEnv env, int objref)
public void wait__J__V(MJIEnv env, int objref, long timeout)
public void wait__JI__V(MJIEnv env, int objref, long timeout, int nanos)
public void notify____V(MJIEnv env, int objref)
public void notifyAll____V(MJIEnv env, int objref)
public int toString____Ljava_lang_String_2(MJIEnv env, int objref)