| java.lang.Object gov.nasa.jpf.jvm.JPF_java_io_PrintStream
JPF_java_io_PrintStream | class JPF_java_io_PrintStream (Code) | | MJI NativePeer class for java.io.PrintStream library abstraction
|
Method Summary | |
public static void | print__C(MJIEnv env, int objref, char c) | public static void | print__D(MJIEnv env, int objref, double d) | public static void | print__F(MJIEnv env, int objref, float f) | public static void | print__I(MJIEnv env, int objref, int i) | public static void | print__J(MJIEnv env, int objref, long j) | public static void | print__Ljava_lang_String_2(MJIEnv env, int objRef, int strRef) | public static void | print__Z(MJIEnv env, int objref, boolean z) | public static void | println__(MJIEnv env, int objRef) | public static void | println__C(MJIEnv env, int objref, char c) | public static void | println__D(MJIEnv env, int objref, double d) | public static void | println__F(MJIEnv env, int objref, float f) | public static void | println__I(MJIEnv env, int objref, int i) | public static void | println__J(MJIEnv env, int objref, long j) | public static void | println__Ljava_lang_String_2(MJIEnv env, int objRef, int strRef) | public static void | println__Z(MJIEnv env, int objref, boolean z) | public static void | write__Ljava_lang_String_2(MJIEnv env, int objref, int strRef) |
print__C | public static void print__C(MJIEnv env, int objref, char c)(Code) | | these are the native methods we intercept
|
print__D | public static void print__D(MJIEnv env, int objref, double d)(Code) | | |
print__F | public static void print__F(MJIEnv env, int objref, float f)(Code) | | |
print__I | public static void print__I(MJIEnv env, int objref, int i)(Code) | | |
print__J | public static void print__J(MJIEnv env, int objref, long j)(Code) | | |
print__Ljava_lang_String_2 | public static void print__Ljava_lang_String_2(MJIEnv env, int objRef, int strRef)(Code) | | |
print__Z | public static void print__Z(MJIEnv env, int objref, boolean z)(Code) | | |
println__ | public static void println__(MJIEnv env, int objRef)(Code) | | |
println__C | public static void println__C(MJIEnv env, int objref, char c)(Code) | | |
println__D | public static void println__D(MJIEnv env, int objref, double d)(Code) | | |
println__F | public static void println__F(MJIEnv env, int objref, float f)(Code) | | |
println__I | public static void println__I(MJIEnv env, int objref, int i)(Code) | | |
println__J | public static void println__J(MJIEnv env, int objref, long j)(Code) | | |
println__Ljava_lang_String_2 | public static void println__Ljava_lang_String_2(MJIEnv env, int objRef, int strRef)(Code) | | |
println__Z | public static void println__Z(MJIEnv env, int objref, boolean z)(Code) | | |
write__Ljava_lang_String_2 | public static void write__Ljava_lang_String_2(MJIEnv env, int objref, int strRef)(Code) | | |
|
|