public class JPF_java_io_OutputStreamWriter extends NativePeer
Constructor and Description |
---|
JPF_java_io_OutputStreamWriter() |
Modifier and Type | Method and Description |
---|---|
int |
encode___3CII_3B__I(MJIEnv env,
int objref,
int cref,
int off,
int len,
int bref) |
int |
encode__C_3B__I(MJIEnv env,
int objref,
char c,
int bufref) |
int |
encode__Ljava_lang_String_2II_3B__I(MJIEnv env,
int objref,
int sref,
int off,
int len,
int bref) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public int encode___3CII_3B__I(MJIEnv env, int objref, int cref, int off, int len, int bref)
public int encode__Ljava_lang_String_2II_3B__I(MJIEnv env, int objref, int sref, int off, int len, int bref)
public int encode__C_3B__I(MJIEnv env, int objref, char c, int bufref)