Sets the current stream position to the desired location. The next read will occur at this location. The bit offset is set to 0.
An IndexOutOfBoundsException
will be thrown if pos
is smaller than the flushed position (as returned by getflushedPosition
).
It is legal to seek past the end of the file; an java.io.EOFException
will be thrown only if a read is performed.
@param pos a long
containing the desired filepointer position.
@exception IndexOutOfBoundsException if pos
is smallerthan the flushed position.
@exception IOException if any other I/O error occurs.