RandomAccessFile (JPF API)

Constructors
Constructor and Description
`RandomAccessFile(File name, String permissions)`

Methods
Modifier and Type	Method and Description
`void`	`close()`
`long`	`length()`
`int`	`read(byte[] data, int start, int len)`
`byte`	`readByte()`
`void`	`seek(long posn)`
`void`	`setDataMap()`
`void`	`setLength(long len)`
`void`	`write(byte[] data, int start, int len)`
`void`	`writeByte(int data)`

public RandomAccessFile(File name,
                String permissions)
                 throws FileNotFoundException

public void seek(long posn)
          throws IOException

public long length()
            throws IOException

public void writeByte(int data)
               throws IOException

public void write(byte[] data,
         int start,
         int len)
           throws IOException

public void setLength(long len)
               throws IOException

public int read(byte[] data,
       int start,
       int len)
         throws IOException

public byte readByte()
              throws IOException

public void close()
           throws IOException

Class RandomAccessFile