Method getFilePointer

classpath/java/io/RandomAccessFile.java:62–64

()

  }

  public long getFilePointer() throws IOException {
    return position;
  }

  public void seek(long position) throws IOException {
    if (position < 0 || (!allowWrite && position > length())) throw new IOException();