StringWriter.java

package java.io;
import checkers.javari.quals.*;

public class StringWriter extends Writer {
    public StringWriter() {
        throw new RuntimeException("skeleton method");
    }

    public StringWriter(int initialSize) {
        throw new RuntimeException("skeleton method");
    }

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

    public void write(char cbuf @ReadOnly [], int off, int len) {
        throw new RuntimeException("skeleton method");
    }

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

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

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

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

    public StringWriter append(char c) {
        throw new RuntimeException("skeleton method");
    }

    public String toString() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public StringBuffer getBuffer() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public void flush() {
        throw new RuntimeException("skeleton method");
    }

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