public class JPF_java_lang_System extends NativePeer
Constructor and Description |
---|
JPF_java_lang_System() |
Modifier and Type | Method and Description |
---|---|
void |
arraycopy__Ljava_lang_Object_2ILjava_lang_Object_2II__V(MJIEnv env,
int clsObjRef,
int srcArrayRef,
int srcIdx,
int dstArrayRef,
int dstIdx,
int length) |
int |
createSystemErr____Ljava_io_PrintStream_2(MJIEnv env,
int clsObjRef) |
int |
createSystemOut____Ljava_io_PrintStream_2(MJIEnv env,
int clsObjRef) |
long |
currentTimeMillis____J(MJIEnv env,
int clsObjRef) |
void |
exit__I__V(MJIEnv env,
int clsObjRef,
int ret) |
void |
gc____V(MJIEnv env,
int clsObjRef) |
int |
getenv__Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env,
int clsObjRef,
int keyRef) |
int |
getKeyValuePairs_____3Ljava_lang_String_2(MJIEnv env,
int clsObjRef) |
String |
getSUTJavaClassPath(VM vm) |
int |
identityHashCode__Ljava_lang_Object_2__I(MJIEnv env,
int clsObjRef,
int objref) |
long |
nanoTime____J(MJIEnv env,
int clsObjRef) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public void arraycopy__Ljava_lang_Object_2ILjava_lang_Object_2II__V(MJIEnv env, int clsObjRef, int srcArrayRef, int srcIdx, int dstArrayRef, int dstIdx, int length)
public int getenv__Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env, int clsObjRef, int keyRef)
public int createSystemOut____Ljava_io_PrintStream_2(MJIEnv env, int clsObjRef)
public int createSystemErr____Ljava_io_PrintStream_2(MJIEnv env, int clsObjRef)
public int getKeyValuePairs_____3Ljava_lang_String_2(MJIEnv env, int clsObjRef)
public long currentTimeMillis____J(MJIEnv env, int clsObjRef)
public long nanoTime____J(MJIEnv env, int clsObjRef)
public void exit__I__V(MJIEnv env, int clsObjRef, int ret)
public void gc____V(MJIEnv env, int clsObjRef)
public int identityHashCode__Ljava_lang_Object_2__I(MJIEnv env, int clsObjRef, int objref)