public class JPF_java_io_FileDescriptor extends NativePeer
Constructor and Description |
---|
JPF_java_io_FileDescriptor(Config conf) |
Modifier and Type | Method and Description |
---|---|
int |
available____I(MJIEnv env,
int objref) |
void |
close0(MJIEnv env,
int objref) |
int |
open__Ljava_lang_String_2I__I(MJIEnv env,
int objref,
int fnameRef,
int mode) |
int |
openRead(String fname) |
int |
openWrite(String fname) |
int |
read____I(MJIEnv env,
int objref) |
int |
read___3BII__I(MJIEnv env,
int objref,
int bufref,
int offset,
int len) |
long |
skip__J__J(MJIEnv env,
int objref,
long nBytes) |
void |
sync____(MJIEnv env,
int objref) |
void |
write___3BII__(MJIEnv env,
int objref,
int bref,
int offset,
int len) |
void |
write__I__(MJIEnv env,
int objref,
int b) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public JPF_java_io_FileDescriptor(Config conf)
public int open__Ljava_lang_String_2I__I(MJIEnv env, int objref, int fnameRef, int mode)
public int openRead(String fname)
public int openWrite(String fname)
public void close0(MJIEnv env, int objref)
public void write__I__(MJIEnv env, int objref, int b)
public void write___3BII__(MJIEnv env, int objref, int bref, int offset, int len)
public int read____I(MJIEnv env, int objref)
public int read___3BII__I(MJIEnv env, int objref, int bufref, int offset, int len)
public long skip__J__J(MJIEnv env, int objref, long nBytes)
public void sync____(MJIEnv env, int objref)
public int available____I(MJIEnv env, int objref)