| java.lang.Object
 java.io.RandomAccessFile
| RandomAccessFile | | public class RandomAccessFile implements DataOutput,DataInput,Closeable(Code) | | Instances of this class support both reading and writing to a
random access file. A random access file behaves like a large
array of bytes stored in the file system. There is a kind of cursor,
or index into the implied array, called the file pointer;
input operations read bytes starting at the file pointer and advance
the file pointer past the bytes read. If the random access file is
created in read/write mode, then output operations are also available;
output operations write bytes starting at the file pointer and advance
the file pointer past the bytes written. Output operations that write
past the current end of the implied array cause the array to be
extended. The file pointer can be read by the
getFilePointer method and set by the seek
method.
It is generally true of all the reading routines in this class that
if end-of-file is reached before the desired number of bytes has been
read, an EOFException (which is a kind of
IOException) is thrown. If any byte cannot be read for
any reason other than end-of-file, an IOException other
than EOFException is thrown. In particular, an
IOException may be thrown if the stream has been closed.
author:
unascribed
version:
1.90, 06/13/07
since:
JDK1.0 |
| Constructor Summary | |
| public | RandomAccessFile(String name, String mode)
Creates a random access file stream to read from, and optionally
to write to, a file with the specified name. | | public | RandomAccessFile(File file, String mode)
Creates a random access file stream to read from, and optionally to
write to, the file specified by the
File argument. |
| Method Summary | |
| public void | close()
Closes this random access file stream and releases any system
resources associated with the stream. | | final public FileChannel | getChannel()
Returns the unique
java.nio.channels.FileChannel FileChannel object associated with this file.
The
java.nio.channels.FileChannel.positionposition of the returned channel will always be equal to
this object's file-pointer offset as returned by the
RandomAccessFile.getFilePointer getFilePointer method. | | final public FileDescriptor | getFD()
Returns the opaque file descriptor object associated with this
stream. | | native public long | getFilePointer()
Returns the current offset in this file. | | native public long | length()
Returns the length of this file. | | native public int | read()
Reads a byte of data from this file. | | public int | read(byte b, int off, int len)
Reads up to len bytes of data from this file into an
array of bytes. | | public int | read(byte b)
Reads up to b.length bytes of data from this file
into an array of bytes. | | final public boolean | readBoolean()
Reads a boolean from this file. | | final public byte | readByte()
Reads a signed eight-bit value from this file. | | final public char | readChar()
Reads a character from this file. | | final public double | readDouble()
Reads a double from this file. | | final public float | readFloat()
Reads a float from this file. | | final public void | readFully(byte b)
Reads b.length bytes from this file into the byte
array, starting at the current file pointer. | | final public void | readFully(byte b, int off, int len)
Reads exactly len bytes from this file into the byte
array, starting at the current file pointer. | | final public int | readInt()
Reads a signed 32-bit integer from this file. | | final public String | readLine()
Reads the next line of text from this file. | | final public long | readLong()
Reads a signed 64-bit integer from this file. | | final public short | readShort()
Reads a signed 16-bit number from this file. | | final public String | readUTF()
Reads in a string from this file. | | final public int | readUnsignedByte()
Reads an unsigned eight-bit number from this file. | | final public int | readUnsignedShort()
Reads an unsigned 16-bit number from this file. | | native public void | seek(long pos)
Sets the file-pointer offset, measured from the beginning of this
file, at which the next read or write occurs. | | native public void | setLength(long newLength)
Sets the length of this file.
If the present length of the file as returned by the
length method is greater than the newLength
argument then the file will be truncated. | | public int | skipBytes(int n)
Attempts to skip over n bytes of input discarding the
skipped bytes. | | native public void | write(int b)
Writes the specified byte to this file. | | public void | write(byte b)
Writes b.length bytes from the specified byte array
to this file, starting at the current file pointer. | | public void | write(byte b, int off, int len)
Writes len bytes from the specified byte array
starting at offset off to this file. | | final public void | writeBoolean(boolean v)
Writes a boolean to the file as a one-byte value. | | final public void | writeByte(int v)
Writes a byte to the file as a one-byte value. | | final public void | writeBytes(String s)
Writes the string to the file as a sequence of bytes. | | final public void | writeChar(int v)
Writes a char to the file as a two-byte value, high
byte first. | | final public void | writeChars(String s)
Writes a string to the file as a sequence of characters. | | final public 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
eight-byte quantity, high byte first. | | final public 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
four-byte quantity, high byte first. | | final public void | writeInt(int v)
Writes an int to the file as four bytes, high byte first. | | final public void | writeLong(long v)
Writes a long to the file as eight bytes, high byte first. | | final public void | writeShort(int v)
Writes a short to the file as two bytes, high byte first. | | final public void | writeUTF(String str)
Writes a string to the file using
modified UTF-8
encoding in a machine-independent manner. |
| RandomAccessFile | | public RandomAccessFile(String name, String mode) throws FileNotFoundException(Code) | | Creates a random access file stream to read from, and optionally
to write to, a file with the specified name. A new
FileDescriptor object is created to represent the
connection to the file.
The mode argument specifies the access mode with which the
file is to be opened. The permitted values and their meanings are as
specified for the RandomAccessFile(File,String) constructor.
If there is a security manager, its checkRead method
is called with the name argument
as its argument to see if read access to the file is allowed.
If the mode allows writing, the security manager's
checkWrite method
is also called with the name argument
as its argument to see if write access to the file is allowed.
Parameters:
name - the system-dependent filename
Parameters:
mode - the access mode
exception:
IllegalArgumentException - if the mode argument is not equalto one of "r", "rw", "rws", or"rwd"
exception:
FileNotFoundException - if the mode is "r" but the given string does notdenote an existing regular file, or if the mode begins with"rw" but the given string does not denote anexisting, writable regular file and a new regular file ofthat name cannot be created, or if some other error occurswhile opening or creating the file
exception:
SecurityException - if a security manager exists and itscheckRead method denies read access to the fileor the mode is "rw" and the security manager'scheckWrite method denies write access to the file
See Also: java.lang.SecurityException
See Also: java.lang.SecurityManager.checkRead(java.lang.String)
See Also: java.lang.SecurityManager.checkWrite(java.lang.String) |
| RandomAccessFile | | public RandomAccessFile(File file, String mode) throws FileNotFoundException(Code) | | Creates a random access file stream to read from, and optionally to
write to, the file specified by the
File argument. A new
FileDescriptor object is created to represent this file connection.
The mode argument specifies the access mode
in which the file is to be opened. The permitted values and their
meanings are:
Value | Meaning |
|---|
| "r" |
Open for reading only. Invoking any of the write
methods of the resulting object will cause an
java.io.IOException to be thrown. |
| "rw" |
Open for reading and writing. If the file does not already
exist then an attempt will be made to create it. |
| "rws" |
Open for reading and writing, as with "rw", and also
require that every update to the file's content or metadata be
written synchronously to the underlying storage device. |
| "rwd" |
Open for reading and writing, as with "rw", and also
require that every update to the file's content be written
synchronously to the underlying storage device. |
The "rws" and "rwd" modes work much like the
java.nio.channels.FileChannel.force(boolean) force(boolean) method of
the
java.nio.channels.FileChannel class, passing arguments of
true and false, respectively, except that they always
apply to every I/O operation and are therefore often more efficient. If
the file resides on a local storage device then when an invocation of a
method of this class returns it is guaranteed that all changes made to
the file by that invocation will have been written to that device. This
is useful for ensuring that critical information is not lost in the
event of a system crash. If the file does not reside on a local device
then no such guarantee is made.
The "rwd" mode can be used to reduce the number of I/O
operations performed. Using "rwd" only requires updates to the
file's content to be written to storage; using "rws" requires
updates to both the file's content and its metadata to be written, which
generally requires at least one more low-level I/O operation.
If there is a security manager, its checkRead method is
called with the pathname of the file argument as its
argument to see if read access to the file is allowed. If the mode
allows writing, the security manager's checkWrite method is
also called with the path argument to see if write access to the file is
allowed.
Parameters:
file - the file object
Parameters:
mode - the access mode, as describedabove
exception:
IllegalArgumentException - if the mode argument is not equalto one of "r", "rw", "rws", or"rwd"
exception:
FileNotFoundException - if the mode is "r" but the given file object doesnot denote an existing regular file, or if the mode beginswith "rw" but the given file object does not denotean existing, writable regular file and a new regular file ofthat name cannot be created, or if some other error occurswhile opening or creating the file
exception:
SecurityException - if a security manager exists and itscheckRead method denies read access to the fileor the mode is "rw" and the security manager'scheckWrite method denies write access to the file
See Also: java.lang.SecurityManager.checkRead(java.lang.String)
See Also: java.lang.SecurityManager.checkWrite(java.lang.String)
See Also: java.nio.channels.FileChannel.force(boolean) |
| close | | public void close() throws IOException(Code) | | Closes this random access file stream and releases any system
resources associated with the stream. A closed random access
file cannot perform input or output operations and cannot be
reopened.
If this file has an associated channel then the channel is closed
as well.
exception:
IOException - if an I/O error occurs. |
| getChannel | | final public FileChannel getChannel()(Code) | | Returns the unique
java.nio.channels.FileChannel FileChannel object associated with this file.
The
java.nio.channels.FileChannel.positionposition of the returned channel will always be equal to
this object's file-pointer offset as returned by the
RandomAccessFile.getFilePointer getFilePointer method. Changing this object's
file-pointer offset, whether explicitly or by reading or writing bytes,
will change the position of the channel, and vice versa. Changing the
file's length via this object will change the length seen via the file
channel, and vice versa.
the file channel associated with this file
since:
1.4 |
| getFD | | final public FileDescriptor getFD() throws IOException(Code) | | Returns the opaque file descriptor object associated with this
stream.
the file descriptor object associated with this stream.
exception:
IOException - if an I/O error occurs.
See Also: java.io.FileDescriptor |
| getFilePointer | | native public long getFilePointer() throws IOException(Code) | | Returns the current offset in this file.
the offset from the beginning of the file, in bytes,at which the next read or write occurs.
exception:
IOException - if an I/O error occurs. |
| length | | native public long length() throws IOException(Code) | | Returns the length of this file.
the length of this file, measured in bytes.
exception:
IOException - if an I/O error occurs. |
| read | | native public int read() throws IOException(Code) | | Reads a byte of data from this file. The byte is returned as an
integer in the range 0 to 255 (0x00-0x0ff). This
method blocks if no input is yet available.
Although RandomAccessFile is not a subclass of
InputStream, this method behaves in exactly the same
way as the
InputStream.read method of
InputStream.
the next byte of data, or -1 if the end of thefile has been reached.
exception:
IOException - if an I/O error occurs. Not thrown if end-of-file has been reached. |
| read | | public int read(byte b, int off, int len) throws IOException(Code) | | Reads up to len bytes of data from this file into an
array of bytes. This method blocks until at least one byte of input
is available.
Although RandomAccessFile is not a subclass of
InputStream, this method behaves in exactly the
same way as the
InputStream.read(byte[]intint) method of
InputStream.
Parameters:
b - the buffer into which the data is read.
Parameters:
off - the start offset in array bat which the data is written.
Parameters:
len - the maximum number of bytes read. the total number of bytes read into the buffer, or-1 if there is no more data because the end ofthe file has been reached.
exception:
IOException - If the first byte cannot be read for any reasonother than end of file, or if the random access file has been closed, or ifsome other I/O error occurs.
exception:
NullPointerException - If b is null.
exception:
IndexOutOfBoundsException - If off is negative, len is negative, or len is greater than b.length - off |
| read | | public int read(byte b) throws IOException(Code) | | Reads up to b.length bytes of data from this file
into an array of bytes. This method blocks until at least one byte
of input is available.
Although RandomAccessFile is not a subclass of
InputStream, this method behaves in exactly the
same way as the
InputStream.read(byte[]) method of
InputStream.
Parameters:
b - the buffer into which the data is read. the total number of bytes read into the buffer, or-1 if there is no more data because the end ofthis file has been reached.
exception:
IOException - If the first byte cannot be read for any reasonother than end of file, or if the random access file has been closed, or ifsome other I/O error occurs.
exception:
NullPointerException - If b is null. |
| readBoolean | | final public boolean readBoolean() throws IOException(Code) | | Reads a boolean from this file. This method reads a
single byte from the file, starting at the current file pointer.
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.
the boolean value read.
exception:
EOFException - if this file has reached the end.
exception:
IOException - if an I/O error occurs. |
| readByte | | final public byte readByte() throws IOException(Code) | | Reads a signed eight-bit value from this file. This method reads a
byte from the file, starting from the current file pointer.
If the byte read is b, where
0 <= b <= 255,
then the result is:
(byte)(b)
This method blocks until the byte is read, the end of the stream
is detected, or an exception is thrown.
the next byte of this file as a signed eight-bitbyte.
exception:
EOFException - if this file has reached the end.
exception:
IOException - if an I/O error occurs. |
| readChar | | final public char readChar() throws IOException(Code) | | Reads a character from this file. This method reads two
bytes from the file, starting at the current file pointer.
If the bytes read, in order, are
b1 and b2, where
0 <= b1, b2 <= 255,
then the result is equal to:
(char)((b1 << 8) | b2)
This method blocks until the two bytes are read, the end of the
stream is detected, or an exception is thrown.
the next two bytes of this file, interpreted as achar.
exception:
EOFException - if this file reaches the end before readingtwo bytes.
exception:
IOException - if an I/O error occurs. |
| readDouble | | final public double readDouble() throws IOException(Code) | | Reads a double from this file. This method reads a
long value, starting at the current file pointer,
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.
the next eight bytes of this file, interpreted as adouble.
exception:
EOFException - if this file reaches the end before readingeight bytes.
exception:
IOException - if an I/O error occurs.
See Also: java.io.RandomAccessFile.readLong
See Also: java.lang.Double.longBitsToDouble(long) |
| readFloat | | final public float readFloat() throws IOException(Code) | | Reads a float from this file. This method reads an
int value, starting at the current file pointer,
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.
the next four bytes of this file, interpreted as afloat.
exception:
EOFException - if this file reaches the end before readingfour bytes.
exception:
IOException - if an I/O error occurs.
See Also: java.io.RandomAccessFile.readInt
See Also: java.lang.Float.intBitsToFloat(int) |
| readFully | | final public void readFully(byte b) throws IOException(Code) | | Reads b.length bytes from this file into the byte
array, starting at the current file pointer. This method reads
repeatedly from the file until the requested number of bytes are
read. This method blocks until the requested number of bytes are
read, the end of the stream is detected, or an exception is thrown.
Parameters:
b - the buffer into which the data is read.
exception:
EOFException - if this file reaches the end before readingall the bytes.
exception:
IOException - if an I/O error occurs. |
| readFully | | final public void readFully(byte b, int off, int len) throws IOException(Code) | | Reads exactly len bytes from this file into the byte
array, starting at the current file pointer. This method reads
repeatedly from the file until the requested number of bytes are
read. This method blocks until the requested number of bytes are
read, the end of the stream is detected, or an exception is thrown.
Parameters:
b - the buffer into which the data is read.
Parameters:
off - the start offset of the data.
Parameters:
len - the number of bytes to read.
exception:
EOFException - if this file reaches the end before readingall the bytes.
exception:
IOException - if an I/O error occurs. |
| readInt | | final public int readInt() throws IOException(Code) | | Reads a signed 32-bit integer from this file. This method reads 4
bytes from the file, starting at the current file pointer.
If the bytes read, in order, are b1,
b2, b3, and b4, where
0 <= b1, b2, b3, b4 <= 255,
then the result is equal to:
(b1 << 24) | (b2 << 16) + (b3 << 8) + b4
This method blocks until the four bytes are read, the end of the
stream is detected, or an exception is thrown.
the next four bytes of this file, interpreted as anint.
exception:
EOFException - if this file reaches the end before readingfour bytes.
exception:
IOException - if an I/O error occurs. |
| readLine | | final public String readLine() throws IOException(Code) | | Reads the next line of text from this file. This method successively
reads bytes from the file, starting at the current file pointer,
until it reaches a line terminator or the end
of the file. Each byte is converted into a character by taking the
byte's value for the lower eight bits of the character and setting the
high eight bits of the character to zero. This method does not,
therefore, support the full Unicode character set.
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 file. Line-terminating characters are discarded and
are not 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 file is reached, or an exception is thrown.
the next line of text from this file, or null if endof file is encountered before even one byte is read.
exception:
IOException - if an I/O error occurs. |
| readLong | | final public long readLong() throws IOException(Code) | | Reads a signed 64-bit integer from this file. This method reads eight
bytes from the file, starting at the current file pointer.
If the bytes read, in order, are
b1, b2, b3,
b4, b5, b6,
b7, and b8, where:
0 <= b1, b2, b3, b4, b5, b6, b7, b8 <=255,
then the result is equal to:
((long)b1 << 56) + ((long)b2 << 48)
+ ((long)b3 << 40) + ((long)b4 << 32)
+ ((long)b5 << 24) + ((long)b6 << 16)
+ ((long)b7 << 8) + b8
This method blocks until the eight bytes are read, the end of the
stream is detected, or an exception is thrown.
the next eight bytes of this file, interpreted as along.
exception:
EOFException - if this file reaches the end before readingeight bytes.
exception:
IOException - if an I/O error occurs. |
| readShort | | final public short readShort() throws IOException(Code) | | Reads a signed 16-bit number from this file. The method reads two
bytes from this file, starting at the current file pointer.
If the two bytes read, in order, are
b1 and b2, where each of the two values is
between 0 and 255, inclusive, then the
result is equal to:
(short)((b1 << 8) | b2)
This method blocks until the two bytes are read, the end of the
stream is detected, or an exception is thrown.
the next two bytes of this file, interpreted as a signed16-bit number.
exception:
EOFException - if this file reaches the end before readingtwo bytes.
exception:
IOException - if an I/O error occurs. |
| readUTF | | final public String readUTF() throws IOException(Code) | | Reads in a string from this file. The string has been encoded
using a
modified UTF-8
format.
The first two bytes are read, starting from the current file
pointer, 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 modified 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.
a Unicode string.
exception:
EOFException - if this file reaches the end beforereading all the bytes.
exception:
IOException - if an I/O error occurs.
exception:
UTFDataFormatException - if the bytes do not represent valid modified UTF-8 encoding of a Unicode string.
See Also: java.io.RandomAccessFile.readUnsignedShort |
| readUnsignedByte | | final public int readUnsignedByte() throws IOException(Code) | | Reads an unsigned eight-bit number from this file. This method reads
a byte from this file, starting at the current file pointer,
and returns that byte.
This method blocks until the byte is read, the end of the stream
is detected, or an exception is thrown.
the next byte of this file, interpreted as an unsignedeight-bit number.
exception:
EOFException - if this file has reached the end.
exception:
IOException - if an I/O error occurs. |
| readUnsignedShort | | final public int readUnsignedShort() throws IOException(Code) | | Reads an unsigned 16-bit number from this file. This method reads
two bytes from the file, starting at the current file pointer.
If the bytes read, in order, are
b1 and b2, where
0 <= b1, b2 <= 255,
then the result is equal to:
(b1 << 8) | b2
This method blocks until the two bytes are read, the end of the
stream is detected, or an exception is thrown.
the next two bytes of this file, interpreted as an unsigned16-bit integer.
exception:
EOFException - if this file reaches the end before readingtwo bytes.
exception:
IOException - if an I/O error occurs. |
| seek | | native public void seek(long pos) throws IOException(Code) | | Sets the file-pointer offset, measured from the beginning of this
file, at which the next read or write occurs. The offset may be
set beyond the end of the file. Setting the offset beyond the end
of the file does not change the file length. The file length will
change only by writing after the offset has been set beyond the end
of the file.
Parameters:
pos - the offset position, measured in bytes from the beginning of the file, at which to set the file pointer.
exception:
IOException - if pos is less than 0 or if an I/O error occurs. |
| setLength | | native public void setLength(long newLength) throws IOException(Code) | | Sets the length of this file.
If the present length of the file as returned by the
length method is greater than the newLength
argument then the file will be truncated. In this case, if the file
offset as returned by the getFilePointer method is greater
than newLength then after this method returns the offset
will be equal to newLength.
If the present length of the file as returned by the
length method is smaller than the newLength
argument then the file will be extended. In this case, the contents of
the extended portion of the file are not defined.
Parameters:
newLength - The desired length of the file
exception:
IOException - If an I/O error occurs
since:
1.2 |
| skipBytes | | public int skipBytes(int n) throws IOException(Code) | | Attempts to skip over n bytes of input discarding the
skipped bytes.
This method may skip over some smaller number of bytes, possibly zero.
This may result from any of a number of conditions; reaching end of
file before n bytes have been skipped is only one
possibility. This method never throws an EOFException.
The actual number of bytes skipped is returned. If n
is negative, no bytes are skipped.
Parameters:
n - the number of bytes to be skipped. the actual number of bytes skipped.
exception:
IOException - if an I/O error occurs. |
| write | | native public void write(int b) throws IOException(Code) | | Writes the specified byte to this file. The write starts at
the current file pointer.
Parameters:
b - the byte to be written.
exception:
IOException - if an I/O error occurs. |
| write | | public void write(byte b) throws IOException(Code) | | Writes b.length bytes from the specified byte array
to this file, starting at the current file pointer.
Parameters:
b - the data.
exception:
IOException - if an I/O error occurs. |
| write | | public void write(byte b, int off, int len) throws IOException(Code) | | Writes len bytes from the specified byte array
starting at offset off to this file.
Parameters:
b - the data.
Parameters:
off - the start offset in the data.
Parameters:
len - the number of bytes to write.
exception:
IOException - if an I/O error occurs. |
| writeBoolean | | final public void writeBoolean(boolean v) throws IOException(Code) | | Writes a boolean to the file as a one-byte value. The
value true is written out as the value
(byte)1; the value false is written out
as the value (byte)0. The write starts at
the current position of the file pointer.
Parameters:
v - a boolean value to be written.
exception:
IOException - if an I/O error occurs. |
| writeByte | | final public void writeByte(int v) throws IOException(Code) | | Writes a byte to the file as a one-byte value. The
write starts at the current position of the file pointer.
Parameters:
v - a byte value to be written.
exception:
IOException - if an I/O error occurs. |
| writeBytes | | final public void writeBytes(String s) throws IOException(Code) | | Writes the string to the file as a sequence of bytes. Each
character in the string is written out, in sequence, by discarding
its high eight bits. The write starts at the current position of
the file pointer.
Parameters:
s - a string of bytes to be written.
exception:
IOException - if an I/O error occurs. |
| writeChar | | final public void writeChar(int v) throws IOException(Code) | | Writes a char to the file as a two-byte value, high
byte first. The write starts at the current position of the
file pointer.
Parameters:
v - a char value to be written.
exception:
IOException - if an I/O error occurs. |
| writeChars | | final public void writeChars(String s) throws IOException(Code) | | Writes a string to the file as a sequence of characters. Each
character is written to the data output stream as if by the
writeChar method. The write starts at the current
position of the file pointer.
Parameters:
s - a String value to be written.
exception:
IOException - if an I/O error occurs.
See Also: java.io.RandomAccessFile.writeChar(int) |
| writeDouble | | final public void writeDouble(double v) throws IOException(Code) | | 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
eight-byte quantity, high byte first. The write starts at the current
position of the file pointer.
Parameters:
v - a double value to be written.
exception:
IOException - if an I/O error occurs.
See Also: java.lang.Double.doubleToLongBits(double) |
| writeFloat | | final public void writeFloat(float v) throws IOException(Code) | | 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
four-byte quantity, high byte first. The write starts at the
current position of the file pointer.
Parameters:
v - a float value to be written.
exception:
IOException - if an I/O error occurs.
See Also: java.lang.Float.floatToIntBits(float) |
| writeInt | | final public void writeInt(int v) throws IOException(Code) | | Writes an int to the file as four bytes, high byte first.
The write starts at the current position of the file pointer.
Parameters:
v - an int to be written.
exception:
IOException - if an I/O error occurs. |
| writeLong | | final public void writeLong(long v) throws IOException(Code) | | Writes a long to the file as eight bytes, high byte first.
The write starts at the current position of the file pointer.
Parameters:
v - a long to be written.
exception:
IOException - if an I/O error occurs. |
| writeShort | | final public void writeShort(int v) throws IOException(Code) | | Writes a short to the file as two bytes, high byte first.
The write starts at the current position of the file pointer.
Parameters:
v - a short to be written.
exception:
IOException - if an I/O error occurs. |
| writeUTF | | final public void writeUTF(String str) throws IOException(Code) | | Writes a string to the file using
modified UTF-8
encoding in a machine-independent manner.
First, two bytes are written to the file, starting at the
current file pointer, 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 modified UTF-8 encoding
for each character.
Parameters:
str - a string to be written.
exception:
IOException - if an I/O error occurs. |
|
|