Robust/src/ClassLibrary/Writer.java

   1 public class Writer {
   2   public void write(String s) {
   3     System.printString("Unimplemented write(String) in Writer\n");
   4   }
   5
   6   public void write(String s, int off, int len) {
   7     write(s.substring(off, off+len));
   8   }
   9
  10   public void flush() {
  11     System.printString("Unimplemented flush in Writer\n");
  12   }
  13
  14   public void close() {
  15     System.printString("Unimplemented close in Writer\n");
  16   }
  17 }