StringWriter.java :  » Testing » KeY » java » io » Java Open Source

package java.io;
public class StringWriter extends Writer {
    public void close() throws IOException {}
    public void flush() {}
    public StringBuffer getBuffer() {}
    public StringWriter() {}
    public StringWriter(int size) {}
    public String toString() {}
    public void write(int oneChar) {}
    public void write(char[] chars, int offset, int len) {}
    public void write(String str) {}
    public void write(String str, int offset, int len) {}
}