public class RandomAccessFile
extends java.lang.Object
implements java.io.DataInput, java.io.DataOutput
DataInput,
DataOutput,
RandomAccessFile| Modifier and Type | Field and Description |
|---|---|
protected byte[] |
buffer
The buffer used to load the data.
|
protected long |
bufferStart
The offset in bytes of the start of the buffer, from the start of the file.
|
static int |
CREATE
Create the file rather than overwriting it.
|
protected long |
dataEnd
The offset in bytes of the end of the data in the buffer, from the start of
the file.
|
protected int |
dataSize
The size of the data stored in the buffer, in bytes.
|
protected static int |
defaultBufferSize
The default buffer size, in bytes.
|
protected boolean |
endOfFile
True if we are at the end of the file.
|
protected java.io.RandomAccessFile |
file
The underlying java.io.RandomAccessFile.
|
protected long |
filePosition
The offset in bytes from the file start, of the next read or write
operation.
|
protected int |
mode
The access mode of the file.
|
static int |
READ
Read from the file.
|
static int |
WRITE
Write to the file.
|
| Modifier | Constructor and Description |
|---|---|
|
RandomAccessFile(java.io.File file,
java.lang.String modeString)
Creates a random access file stream to read from, and optionally to write
to, the file specified by the
File argument. |
protected |
RandomAccessFile(int bufferSize)
An implementation of a buffered RandomAccessFile.
|
|
RandomAccessFile(java.lang.String filename,
int mode)
Create a new buffered random-access file with a default buffer size.
|
|
RandomAccessFile(java.lang.String filename,
int mode,
int bufferSize)
Create a new buffered random-access file with a specified buffer size.
|
|
RandomAccessFile(java.lang.String filename,
java.lang.String modeString)
Creates a random access file stream to read from, and optionally to write
to, a file with the specified name.
|
|
RandomAccessFile(java.lang.String filename,
java.lang.String modeString,
int bufferSize)
Creates a random access file stream to read from, and optionally to write
to, a file with the specified name.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
benchmark(java.lang.String filename,
int bufferSize)
Benchmark the performance of the new RandomAccessFile class.
|
void |
close()
Close the file, and release any associated system resources.
|
void |
flush()
Copy the contents of the buffer to the disk.
|
java.io.FileDescriptor |
getFD()
Returns the opaque file descriptor object associated with this file.
|
long |
getFilePointer()
Returns the current position in the file, where the next read or write will
occur.
|
long |
length()
Get the length of the file.
|
static void |
main(java.lang.String[] argv)
Test the RandomAccessFile class.
|
protected int |
read_(long pos,
byte[] b,
int offset,
int len)
Undocumented.
|
int |
read()
Read a byte of data from the file, blocking until data is available.
|
int |
read(byte[] b)
Read up to
b.length( ) bytes into an array. |
int |
read(byte[] b,
int off,
int len)
Read up to
len bytes into an array, at a specified offset. |
boolean |
readBoolean()
Reads a
boolean from this file. |
byte |
readByte()
Reads a signed 8-bit value from this file.
|
char |
readChar()
Reads a Unicode character from this file.
|
double |
readDouble()
Reads a
double from this file. |
float |
readFloat()
Reads a
float from this file. |
void |
readFully(byte[] b)
Reads
b.length bytes from this file into the byte array. |
void |
readFully(byte[] b,
int off,
int len)
Reads exactly
len bytes from this file into the byte array. |
int |
readInt()
Reads a signed 32-bit integer from this file.
|
java.lang.String |
readLine()
Reads the next line of text from this file.
|
long |
readLong()
Reads a signed 64-bit integer from this file.
|
short |
readShort()
Reads a signed 16-bit number from this file.
|
int |
readUnsignedByte()
Reads an unsigned 8-bit number from this file.
|
int |
readUnsignedShort()
Reads an unsigned 16-bit number from this file.
|
java.lang.String |
readUTF()
Reads in a string from this file.
|
java.lang.String |
readUTF(java.io.DataInput in) |
void |
seek(long pos)
Set the position in the file for the next read or write.
|
int |
skipBytes(int n)
Skips exactly
n bytes of input. |
static void |
testBlocks(java.lang.String filename)
Test the block operations of the RandomAccessFile class.
|
static void |
testBytes(java.lang.String filename,
int bufferSize)
Test the byte operations of the RandomAccessFile class.
|
java.lang.String |
toString()
Create a string representation of this object.
|
void |
unread()
Unread the last byte read.
|
void |
write(byte[] b)
Writes
b.length bytes from the specified byte array starting
at offset off to this file. |
void |
write(byte[] b,
int off,
int len)
Writes
len bytes from the specified byte array starting at
offset off to this file. |
void |
write(int b)
Write a byte to the file.
|
void |
writeBoolean(boolean v)
Writes a
boolean to the file as a 1-byte value. |
void |
writeByte(int v)
Writes a
byte to the file as a 1-byte value. |
void |
writeBytes(byte[] b,
int off,
int len)
Write
len bytes from an array to the file. |
void |
writeBytes(char[] b,
int off,
int len)
Writes the character array to the file as a sequence of bytes.
|
void |
writeBytes(java.lang.String s)
Writes the string to the file as a sequence of bytes.
|
void |
writeChar(int v)
Writes a
char to the file as a 2-byte value, high byte
first. |
void |
writeChars(char[] c)
Writes a char[] to the file as a sequence of characters.
|
void |
writeChars(java.lang.String s)
Writes a string to the file as a sequence of characters.
|
void |
writeDouble(double v)
Converts the double argument to a
long using the
doubleToLongBits method in class Double, and
then writes that long value to the file as an 8-byte
quantity, high byte first. |
void |
writeFloat(float v)
Converts the float argument to an
int using the
floatToIntBits method in class Float, and
then writes that int value to the file as a 4-byte quantity,
high byte first. |
void |
writeInt(int v)
Writes an
int to the file as four bytes, high byte first. |
void |
writeLong(long v)
Writes a
long to the file as eight bytes, high byte first. |
void |
writeShort(int v)
Writes a
short to the file as two bytes, high byte first. |
void |
writeUTF(java.lang.String str)
Writes a string to the file using UTF-8 encoding in a machine-independent
manner.
|
public static final int READ
public static final int WRITE
public static final int CREATE
protected static final int defaultBufferSize
protected java.io.RandomAccessFile file
protected long filePosition
protected byte[] buffer
protected long bufferStart
protected long dataEnd
bufferStart + dataSize,
but it is cached to speed up the read( ) method.protected int dataSize
protected boolean endOfFile
protected int mode
protected RandomAccessFile(int bufferSize)
bufferSize - The size of the buffer.public RandomAccessFile(java.lang.String filename,
int mode)
throws java.io.IOException
filename - the name of the file.mode - how the file is to be opened. This may be a combination (logical
OR) of CREATE, WRITE, and READ.java.io.IOException - if an I/O error occurrs.public RandomAccessFile(java.lang.String filename,
java.lang.String modeString)
throws java.io.IOException
The mode argument must either be equal to "r" or
"rw", indicating that the file is to be opened for input
only or for both input and output, respectively. If the mode is
"rw" and the file does not exist, then an attempt is made to
create it.
filename - A String for the file name.modeString - A String for the mode in which to open the file.java.io.IOException - if an I/O error occurs.SecurityException,
SecurityManager.checkRead(java.lang.String)public RandomAccessFile(java.lang.String filename,
java.lang.String modeString,
int bufferSize)
throws java.io.IOException
The mode argument must either be equal to "r" or
"rw", indicating that the file is to be opened for input
only or for both input and output, respectively. If the mode is
"rw" and the file does not exist, then an attempt is made to
create it.
filename - A String containing the file name.modeString - A string containing the mode in which to open the file.bufferSize - The size of the buffer.java.io.IOException - if an I/O error occurs.SecurityException,
SecurityManager.checkRead(java.lang.String)public RandomAccessFile(java.io.File file,
java.lang.String modeString)
throws java.io.IOException
File argument. A new
FileDescriptor object is created to represent this file connection.
The mode argument must either be equal to "r" or
"rw", indicating that the file is to be opened for input
only or for both input and output, respectively. The write methods on this
object will always throw an IOException if the file is
opened with a mode of "r". If the mode is "rw"
and the file does not exist, then an attempt is made to create it.
modeString - A string containing the mode in which to open the file.file - the file object.java.io.IOException - if an I/O error occurs.File.getPath(),
SecurityManager.checkRead(java.lang.String)public RandomAccessFile(java.lang.String filename,
int mode,
int bufferSize)
throws java.io.FileNotFoundException,
java.io.IOException
filename - the name of the file.mode - how the file is to be opened. This may be a combination (logical
OR) of CREATE, WRITE, and READ.bufferSize - the size of the temporary buffer, in bytes.java.io.FileNotFoundException - if the access is readonly and the file doesn't exist.java.io.IOException - if an I/O error occurrs.public void close()
throws java.io.IOException
java.io.IOException - if an I/O error occurrs.public void seek(long pos)
throws java.io.IOException
pos - the offset (in bytes) from the start of the file.java.io.IOException - if an I/O error occurrs.public long getFilePointer()
throws java.io.IOException
java.io.IOException - if an I/O error occurrs.public long length()
throws java.io.IOException
java.io.IOException - if an I/O error occurrs.public java.io.FileDescriptor getFD()
throws java.io.IOException
java.io.IOException - if an I/O error occurs.public void flush()
throws java.io.IOException
java.io.IOException - if an I/O error occurrs.public final int read()
throws java.io.IOException
java.io.IOException - if an I/O error occurrs.protected int read_(long pos,
byte[] b,
int offset,
int len)
throws java.io.IOException
pos - Undocumented.b - Undocumented.offset - Undocumented.len - Undocumented.java.io.IOException - Undocumented.public int read(byte[] b,
int off,
int len)
throws java.io.IOException
len bytes into an array, at a specified offset.
This will block until at least one byte has been read.b - the byte array to receive the bytes.off - the offset in the array where copying will start.len - the number of bytes to copy.java.io.IOException - if an I/O error occurrs.public int read(byte[] b)
throws java.io.IOException
b.length( ) bytes into an array. This will block
until at least one byte has been read.b - the byte array to receive the bytes.java.io.IOException - if an I/O error occurrs.public final void readFully(byte[] b)
throws java.io.IOException
b.length bytes from this file into the byte array.
This method reads repeatedly from the file until all the bytes are read.
This method blocks until all the bytes are read, the end of the stream is
detected, or an exception is thrown.readFully in interface java.io.DataInputb - the buffer into which the data is read.java.io.IOException - if an I/O error occurs.public final void readFully(byte[] b,
int off,
int len)
throws java.io.IOException
len bytes from this file into the byte array.
This method reads repeatedly from the file until all the bytes are read.
This method blocks until all the bytes are read, the end of the stream is
detected, or an exception is thrown.readFully in interface java.io.DataInputb - the buffer into which the data is read.off - the start offset of the data.len - the number of bytes to read.java.io.IOException - if an I/O error occurs.public int skipBytes(int n)
throws java.io.IOException
n bytes of input. This method blocks until all
the bytes are skipped, the end of the stream is detected, or an exception
is thrown.skipBytes in interface java.io.DataInputn - the number of bytes to be skipped.n.java.io.IOException - if an I/O error occurs.public final void unread()
public final void write(int b)
throws java.io.IOException
Caveat: the effects of seek( )ing beyond the end of the file are undefined.
write in interface java.io.DataOutputb - The byte to write.java.io.IOException - if an I/O error occurrs.public final void writeBytes(byte[] b,
int off,
int len)
throws java.io.IOException
len bytes from an array to the file.b - the array containing the data.off - the offset in the array to the data.len - the length of the data.java.io.IOException - if an I/O error occurrs.public void write(byte[] b)
throws java.io.IOException
b.length bytes from the specified byte array starting
at offset off to this file.write in interface java.io.DataOutputb - the data.java.io.IOException - if an I/O error occurs.public void write(byte[] b,
int off,
int len)
throws java.io.IOException
len bytes from the specified byte array starting at
offset off to this file.write in interface java.io.DataOutputb - the data.off - the start offset in the data.len - the number of bytes to write.java.io.IOException - if an I/O error occurs.public final boolean readBoolean()
throws java.io.IOException
boolean from this file. This method reads a single
byte from the file. A value of 0 represents
false. Any other value represents true.
This method blocks until the byte is read, the end of the stream is
detected, or an exception is thrown.readBoolean in interface java.io.DataInputboolean value read.java.io.IOException - if an I/O error occurs.public final byte readByte()
throws java.io.IOException
readByte in interface java.io.DataInputbyte.java.io.IOException - if an I/O error occurs.public final int readUnsignedByte()
throws java.io.IOException
This method blocks until the byte is read, the end of the stream is detected, or an exception is thrown.
readUnsignedByte in interface java.io.DataInputjava.io.IOException - if an I/O error occurs.public final short readShort()
throws java.io.IOException
readShort in interface java.io.DataInputjava.io.IOException - if an I/O error occurs.public final int readUnsignedShort()
throws java.io.IOException
readUnsignedShort in interface java.io.DataInputjava.io.IOException - if an I/O error occurs.public final char readChar()
throws java.io.IOException
This method blocks until the two bytes are read, the end of the stream is detected, or an exception is thrown.
readChar in interface java.io.DataInputjava.io.IOException - if an I/O error occurs.public final int readInt()
throws java.io.IOException
This method blocks until the four bytes are read, the end of the stream is detected, or an exception is thrown.
readInt in interface java.io.DataInputint.java.io.IOException - if an I/O error occurs.public final long readLong()
throws java.io.IOException
This method blocks until the eight bytes are read, the end of the stream is detected, or an exception is thrown.
readLong in interface java.io.DataInputlong.java.io.IOException - if an I/O error occurs.public final float readFloat()
throws java.io.IOException
float from this file. This method reads an
int value as if by the readInt method and
then converts that int to a float using the
intBitsToFloat method in class Float.
This method blocks until the four bytes are read, the end of the stream is detected, or an exception is thrown.
readFloat in interface java.io.DataInputfloat.java.io.IOException - if an I/O error occurs.RandomAccessFile.readInt(),
Float.intBitsToFloat(int)public final double readDouble()
throws java.io.IOException
double from this file. This method reads a
long value as if by the readLong method and
then converts that long to a double using the
longBitsToDouble method in class Double.
This method blocks until the eight bytes are read, the end of the stream is detected, or an exception is thrown.
readDouble in interface java.io.DataInputdouble.java.io.IOException - if an I/O error occurs.RandomAccessFile.readLong(),
Double.longBitsToDouble(long)public final java.lang.String readLine()
throws java.io.IOException
A line of text is terminated by a carriage-return character ('\r'),
a newline character ('\n'), a carriage-return
character immediately followed by a newline character, or the end of the
input stream. The line-terminating character(s), if any, are included as
part of the string returned.
This method blocks until a newline character is read, a carriage return and the byte following it are read (to see if it is a newline), the end of the stream is detected, or an exception is thrown.
readLine in interface java.io.DataInputjava.io.IOException - if an I/O error occurs.public final java.lang.String readUTF()
throws java.io.IOException
The first two bytes are read as if by readUnsignedShort.
This value gives the number of following bytes that are in the encoded
string, not the length of the resulting string. The following bytes are
then interpreted as bytes encoding characters in the UTF-8 format and are
converted into characters.
This method blocks until all the bytes are read, the end of the stream is detected, or an exception is thrown.
readUTF in interface java.io.DataInputjava.io.IOException - if an I/O error occurs.RandomAccessFile.readUnsignedShort()public final java.lang.String readUTF(java.io.DataInput in)
throws java.io.IOException
java.io.IOExceptionpublic final void writeBoolean(boolean v)
throws java.io.IOException
boolean to the file as a 1-byte value. The value
true is written out as the value (byte)1;
the value false is written out as the value
(byte)0.writeBoolean in interface java.io.DataOutputv - a boolean value to be written.java.io.IOException - if an I/O error occurs.public final void writeByte(int v)
throws java.io.IOException
byte to the file as a 1-byte value.writeByte in interface java.io.DataOutputv - a byte value to be written.java.io.IOException - if an I/O error occurs.public final void writeShort(int v)
throws java.io.IOException
short to the file as two bytes, high byte first.writeShort in interface java.io.DataOutputv - a short to be written.java.io.IOException - if an I/O error occurs.public final void writeChar(int v)
throws java.io.IOException
char to the file as a 2-byte value, high byte
first.writeChar in interface java.io.DataOutputv - a char value to be written.java.io.IOException - if an I/O error occurs.public final void writeInt(int v)
throws java.io.IOException
int to the file as four bytes, high byte first.writeInt in interface java.io.DataOutputv - an int to be written.java.io.IOException - if an I/O error occurs.public final void writeLong(long v)
throws java.io.IOException
long to the file as eight bytes, high byte first.writeLong in interface java.io.DataOutputv - a long to be written.java.io.IOException - if an I/O error occurs.public final void writeFloat(float v)
throws java.io.IOException
int using the
floatToIntBits method in class Float, and
then writes that int value to the file as a 4-byte quantity,
high byte first.writeFloat in interface java.io.DataOutputv - a float value to be written.java.io.IOException - if an I/O error occurs.Float.floatToIntBits(float)public final void writeDouble(double v)
throws java.io.IOException
long using the
doubleToLongBits method in class Double, and
then writes that long value to the file as an 8-byte
quantity, high byte first.writeDouble in interface java.io.DataOutputv - a double value to be written.java.io.IOException - if an I/O error occurs.Double.doubleToLongBits(double)public final void writeBytes(java.lang.String s)
throws java.io.IOException
writeBytes in interface java.io.DataOutputs - a string of bytes to be written.java.io.IOException - if an I/O error occurs.public final void writeBytes(char[] b,
int off,
int len)
throws java.io.IOException
b - a character array of bytes to be written.off - the index of the first character to write.len - the number of characters to write.java.io.IOException - if an I/O error occurs.public final void writeChars(java.lang.String s)
throws java.io.IOException
writeChar
method.writeChars in interface java.io.DataOutputs - a String value to be written.java.io.IOException - if an I/O error occurs.RandomAccessFile.writeChar(int)public final void writeChars(char[] c)
throws java.io.IOException
writeChar
method.c - an array of char to be writen.java.io.IOException - if an I/O error occurs.RandomAccessFile.writeChar(int)public final void writeUTF(java.lang.String str)
throws java.io.IOException
First, two bytes are written to the file as if by the
writeShort method giving the number of bytes to follow. This
value is the number of bytes actually written out, not the length of the
string. Following the length, each character of the string is output, in
sequence, using the UTF-8 encoding for each character.
writeUTF in interface java.io.DataOutputstr - a string to be written.java.io.IOException - if an I/O error occurs.public java.lang.String toString()
toString in class java.lang.Objectpublic static void testBytes(java.lang.String filename,
int bufferSize)
filename - the name of the test file to generate.bufferSize - the size of the buffer to use.public static void testBlocks(java.lang.String filename)
filename - the name of the test file to generate.public static void benchmark(java.lang.String filename,
int bufferSize)
filename - the name of the test file.bufferSize - the buffer size to use.public static void main(java.lang.String[] argv)
JSpell SDK - Spell Checker for the Java Platform
Copyright © 2009-2019 Page Scholar Inc, All Rights Reserved - https://www.jspell.com