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 }