Robust/src/ClassLibrary/OutputStreamWriter.java

   1 public class OutputStreamWriter extends Writer {
   2     OutputStream fos;
   3     public OutputStreamWriter(OutputStream fos)  {
   4         this.fos=fos;
   5     }
   6
   7     public void write(String s) {
   8         fos.write(s.getBytes());
   9     }
  10
  11     public void flush() {
  12         fos.flush();
  13     }
  14 }