Robust/src/ClassLibrary/BufferedWriter.java

   1 public class BufferedWriter extends Writer {
   2   Writer out;
   3
   4   public BufferedWriter(Writer out) {
   5     this.out=out;
   6   }
   7
   8   public void write(String s) {
   9     out.write(s);
  10   }
  11
  12   public void newLine() {
  13     out.write("\n");
  14   }
  15
  16   public void flush() {
  17     out.flush();
  18   }
  19
  20   public void close() {
  21     out.close();
  22   }
  23
  24 }