public class JPF_gov_nasa_jpf_ConsoleOutputStream extends NativePeer
Constructor and Description |
---|
JPF_gov_nasa_jpf_ConsoleOutputStream() |
Modifier and Type | Method and Description |
---|---|
void |
$init____V(MJIEnv env,
int objref)
these are the native methods we intercept
|
void |
print__C__V(MJIEnv env,
int objref,
char c) |
void |
print__D__V(MJIEnv env,
int objref,
double d) |
void |
print__F__V(MJIEnv env,
int objref,
float f) |
void |
print__I__V(MJIEnv env,
int objref,
int i) |
void |
print__J__V(MJIEnv env,
int objref,
long j) |
void |
print__Ljava_lang_String_2__V(MJIEnv env,
int objRef,
int strRef) |
void |
print__Z__V(MJIEnv env,
int objref,
boolean z) |
int |
printf__Ljava_lang_String_2_3Ljava_lang_Object_2__Ljava_io_PrintStream_2(MJIEnv env,
int objref,
int fmtRef,
int argRef) |
void |
println____V(MJIEnv env,
int objRef) |
void |
println__C__V(MJIEnv env,
int objref,
char c) |
void |
println__D__V(MJIEnv env,
int objref,
double d) |
void |
println__F__V(MJIEnv env,
int objref,
float f) |
void |
println__I__V(MJIEnv env,
int objref,
int i) |
void |
println__J__V(MJIEnv env,
int objref,
long j) |
void |
println__Ljava_lang_String_2__V(MJIEnv env,
int objRef,
int strRef) |
void |
println__Z__V(MJIEnv env,
int objref,
boolean z) |
void |
write___3BII__V(MJIEnv env,
int objRef,
int bufRef,
int off,
int len) |
void |
write__I__V(MJIEnv env,
int objRef,
int b) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public JPF_gov_nasa_jpf_ConsoleOutputStream()
public void $init____V(MJIEnv env, int objref)
public void print__C__V(MJIEnv env, int objref, char c)
public void print__D__V(MJIEnv env, int objref, double d)
public void print__F__V(MJIEnv env, int objref, float f)
public void print__I__V(MJIEnv env, int objref, int i)
public void print__J__V(MJIEnv env, int objref, long j)
public void print__Ljava_lang_String_2__V(MJIEnv env, int objRef, int strRef)
public void print__Z__V(MJIEnv env, int objref, boolean z)
public void println____V(MJIEnv env, int objRef)
public void println__C__V(MJIEnv env, int objref, char c)
public void println__D__V(MJIEnv env, int objref, double d)
public void println__F__V(MJIEnv env, int objref, float f)
public void println__I__V(MJIEnv env, int objref, int i)
public void println__J__V(MJIEnv env, int objref, long j)
public void println__Ljava_lang_String_2__V(MJIEnv env, int objRef, int strRef)
public void write__I__V(MJIEnv env, int objRef, int b)
public void write___3BII__V(MJIEnv env, int objRef, int bufRef, int off, int len)
public void println__Z__V(MJIEnv env, int objref, boolean z)
public int printf__Ljava_lang_String_2_3Ljava_lang_Object_2__Ljava_io_PrintStream_2(MJIEnv env, int objref, int fmtRef, int argRef)