corda/classpath/java/io/BufferedWriter.java

package java.io;

public class BufferedWriter extends Writer {
  private final Writer out;
  private final char[] buffer;
  private int position;

  public BufferedWriter(Writer out, int size) {
    this.out = out;
    this.buffer = new char[size];
  }
  
  public BufferedWriter(Writer out) {
    this(out, 4096);
  }
  
  private void drain() throws IOException {
    if (position > 0) {
      out.write(buffer, 0, position);
      position = 0;
    }
  }

  public void write(char[] b, int offset, int length) throws IOException {
    if (length > buffer.length - position) {
      drain();
      out.write(b, offset, length);      
    } else {
      System.arraycopy(b, offset, buffer, position, length);
      position += length;
    }
  }

  public void flush() throws IOException {
    drain();
    out.flush();
  }

  public void close() throws IOException {
    flush();
    out.close();
  }
}