Robust/src/ClassLibrary/Writer.java

   1 public class Writer {
   2
   3     public void write(String s) {
   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     }
  12 }