Writer.java

package java.io;

import checkers.javari.quals.*;

public abstract class Writer implements Appendable, Closeable, Flushable {

    private char[] writeBuffer;
    private final int writeBufferSize = 1024;

    protected @ReadOnly Object lock;

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

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

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

    public void write(char @ReadOnly [] cbuf) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    abstract public void write(char @ReadOnly [] cbuf, int off, int len) throws IOException;

    public void write(String str) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public void write(String str, int off, int len) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public Writer append(@ReadOnly CharSequence csq) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public Writer append(@ReadOnly CharSequence csq, int start, int end) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public Writer append(char c) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    abstract public void flush() throws IOException;
    abstract public void close() throws IOException;
}