public class JPF_java_io_RandomAccessFile extends NativePeer
Constructor and Description |
---|
JPF_java_io_RandomAccessFile() |
Modifier and Type | Method and Description |
---|---|
int |
read___3BII__I(MJIEnv env,
int this_ptr,
int data_array,
int start,
int len) |
byte |
readByte____B(MJIEnv env,
int this_ptr) |
void |
setDataMap____V(MJIEnv env,
int this_ptr) |
void |
setLength__J__V(MJIEnv env,
int this_ptr,
long len) |
void |
write___3BII__V(MJIEnv env,
int this_ptr,
int data_array,
int start,
int len)
This is a bit lame doing it this way, but it is easy.
|
void |
writeByte__I__V(MJIEnv env,
int this_ptr,
int data) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public void setDataMap____V(MJIEnv env, int this_ptr)
public void writeByte__I__V(MJIEnv env, int this_ptr, int data)
public void write___3BII__V(MJIEnv env, int this_ptr, int data_array, int start, int len)
public void setLength__J__V(MJIEnv env, int this_ptr, long len)
public int read___3BII__I(MJIEnv env, int this_ptr, int data_array, int start, int len)
public byte readByte____B(MJIEnv env, int this_ptr)