Interface RandomAccessFile

src/bin/io/RandomAccessFile.java:10–115

@author Bin

 * @author Bin
 */
public interface RandomAccessFile extends Closeable {

    void write(int value) throws IOException;

    void write(byte[] data) throws IOException;

    void write(byte[] data, int off, int len) throws IOException;

    int read() throws IOException;

    int read(byte[] data) throws IOException;

    int read(byte[] data, int off, int len) throws IOException;

    void readFully(byte[] data) throws IOException;

    void readFully(byte[] data, int off, int len) throws IOException;

    long length() throws IOException;

    void setLength(long newLength) throws IOException;

    void seek(long pos) throws IOException;

    int skipBytes(int n) throws IOException;

    long getFilePointer() throws IOException;

    String getName();

    RandomAccessFile getAnotherInSameParent(String name) throws IOException;

    RandomAccessFile newSameInstance() throws IOException;

    RandomAccessFile newFragment(long offset, long length) throws IOException;

    void flush() throws IOException;

    boolean isClosed();

    default void writeByte(byte b) throws IOException {
        write(b);
    }

    default void writeUShort(int i) throws IOException {
        write(i & 0xFF);
        write(i >>> 8 & 0xFF);
    }

    default void writeShort(short i) throws IOException {
        writeUShort(i);
    }

    default void writeChar(char c) throws IOException {
        writeUShort(c);
    }

    default void writeInt(int i) throws IOException {