Robust/src/ClassLibrary/Writer.java

   1 public class Writer {
   2     public void write(String s) {
   3     }
   4
   5     public void write(String s, int off, int len) {
   6         write(s.substring(off, off+len));
   7     }
   8
   9     public void flush() {
  10     }
  11
  12     public void close() {
  13     }
  14 }