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 }