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 }