Reader.java

package java.io;

import checkers.javari.quals.*;

public abstract class Reader implements Readable, Closeable {

    protected @ReadOnly Object lock;

    protected Reader() {
        throw new RuntimeException("skeleton method");
    }

    protected Reader(@ReadOnly Object lock) {
       throw new RuntimeException("skeleton method");
    }

    public int read(java.nio.CharBuffer target) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public int read() throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public int read(char cbuf[]) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    abstract public int read(char cbuf[], int off, int len) throws IOException;

    private static final int maxSkipBufferSize = 8192;

    private char skipBuffer[] = null;

    public long skip(long n) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public boolean ready() @ReadOnly throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public boolean markSupported() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public void mark(int readAheadLimit) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public void reset() throws IOException {
        throw new RuntimeException("skeleton method");
    }

    abstract public void close() throws IOException;
}