Robust/src/ClassLibrary/BufferedOutputStream.java

   1 public class BufferedOutputStream extends OutputStream {
   2   OutputStream o;
   3
   4   public BufferedOutputStream(OutputStream o) {
   5     this.o=o;
   6   }
   7
   8   public void write(byte [] b, int off, int len) {
   9     o.write(b, off, len);
  10   }
  11
  12   public void flush() {
  13     o.flush();
  14   }
  15
  16   public void close() {
  17     o.close();
  18   }
  19 }