// $Id: StringWriter.refines-spec,v 1.1 2006/11/28 00:13:54 chalin Exp $

package java.io;

public class StringWriter extends java.io.Writer {

    // private java.lang.StringBuffer buf;

    public StringWriter();

    public void close()
        throws java.io.IOException;

    public void flush();

    public StringWriter(int Param0);

    public void write(int Param0);

    public void write(/*@non_null*/ char[] Param0, int Param1, int Param2);

    public /*@non_null*/ java.lang.String toString();

    public void write(/*@non_null*/ java.lang.String Param0);

    public void write(/*@non_null*/ java.lang.String Param0, int Param1, int Param2);

    public /*@non_null*/ java.lang.StringBuffer getBuffer();
}