uk.ac.gla.terrier.utility.io
Interface RandomDataInput

All Superinterfaces:

java.io.Closeable, java.io.DataInput

All Known Subinterfaces:

RandomDataOutput

public interface RandomDataInput
extends java.io.DataInput, java.io.Closeable

Method Summary

long	getFilePointer() Return the current position in the file
long	length() Returns the length of the file
void	seek(long pos) Seek to specified position in the file

Methods inherited from interface java.io.DataInput

readBoolean, readByte, readChar, readDouble, readFloat, readFully, readFully, readInt, readLine, readLong, readShort, readUnsignedByte, readUnsignedShort, readUTF, skipBytes

Methods inherited from interface java.io.Closeable

close

Method Detail

getFilePointer

long getFilePointer()
                    throws java.io.IOException

Return the current position in the file

Throws:

java.io.IOException

seek

void seek(long pos)
          throws java.io.IOException

Seek to specified position in the file

Throws:

java.io.IOException

length

long length()
            throws java.io.IOException

Returns the length of the file

Throws:

java.io.IOException