public interface RandomAccess extends ArrayDataInput
long
getFilePointer()
void
seek(long offsetFromStart)
close, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, readArray, readLArray, skip, skipBytes
readBoolean, readByte, readChar, readDouble, readFloat, readFully, readFully, readInt, readLine, readLong, readShort, readUnsignedByte, readUnsignedShort, readUTF, skipBytes
void seek(long offsetFromStart) throws java.io.IOException
java.io.IOException
long getFilePointer()