public class BufferedRandomAccessFile
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean |
check |
Constructor and Description |
---|
BufferedRandomAccessFile(java.io.File file,
java.lang.String mode)
Invariant: the current file position = bufferOffset +
bufferPosition.
|
BufferedRandomAccessFile(java.lang.String path,
java.lang.String mode) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
flush() |
long |
getFilePointer() |
boolean |
hasMore() |
long |
length() |
static void |
main(java.lang.String[] args) |
byte |
peek() |
int |
read() |
boolean |
readBoolean() |
byte |
readByte() |
double |
readDouble() |
float |
readFloat() |
void |
readFully(byte[] b) |
void |
readFully(byte[] b,
int offset,
int length) |
int |
readInt() |
java.lang.String |
readLine() |
java.lang.String |
readLineCheck() |
long |
readLong() |
short |
readShort() |
java.lang.String |
readUTF() |
void |
seek(long pos) |
void |
write(byte v) |
void |
write(byte[] src,
int offset,
int writelen) |
void |
write(int v) |
void |
writeBoolean(boolean b) |
void |
writeDouble(double f) |
void |
writeFloat(float f) |
void |
writeInt(long v) |
void |
writeLong(long v) |
void |
writeShort(short v) |
void |
writeUTF(java.lang.String s) |
public BufferedRandomAccessFile(java.io.File file, java.lang.String mode) throws java.io.IOException
java.io.IOException
public BufferedRandomAccessFile(java.lang.String path, java.lang.String mode) throws java.io.IOException
java.io.IOException
public void close() throws java.io.IOException
java.io.IOException
public long getFilePointer()
public long length() throws java.io.IOException
java.io.IOException
public void seek(long pos) throws java.io.IOException
java.io.IOException
public void flush() throws java.io.IOException
java.io.IOException
public final int read() throws java.io.IOException
java.io.IOException
public boolean hasMore() throws java.io.IOException
java.io.IOException
public byte peek() throws java.io.IOException
java.io.IOException
public void write(int v) throws java.io.IOException
java.io.IOException
public void writeBoolean(boolean b) throws java.io.IOException
java.io.IOException
public boolean readBoolean() throws java.io.IOException
java.io.IOException
public void writeShort(short v) throws java.io.IOException
java.io.IOException
public byte readByte() throws java.io.IOException
java.io.IOException
public short readShort() throws java.io.IOException
java.io.IOException
public void readFully(byte[] b, int offset, int length) throws java.io.IOException
java.io.IOException
public void readFully(byte[] b) throws java.io.IOException
java.io.IOException
public void writeInt(long v) throws java.io.IOException
java.io.IOException
public int readInt() throws java.io.IOException
java.io.IOException
public void writeLong(long v) throws java.io.IOException
java.io.IOException
public long readLong() throws java.io.IOException
java.io.IOException
public void writeFloat(float f) throws java.io.IOException
java.io.IOException
public float readFloat() throws java.io.IOException
java.io.IOException
public void writeDouble(double f) throws java.io.IOException
java.io.IOException
public double readDouble() throws java.io.IOException
java.io.IOException
public void writeUTF(java.lang.String s) throws java.io.IOException
java.io.IOException
public java.lang.String readUTF() throws java.io.IOException
java.io.IOException
public void write(byte[] src, int offset, int writelen) throws java.io.IOException
java.io.IOException
public void write(byte v) throws java.io.IOException
java.io.IOException
public java.lang.String readLineCheck() throws java.io.IOException
java.io.IOException
public java.lang.String readLine() throws java.io.IOException
java.io.IOException
public static void main(java.lang.String[] args)