Robust/src/ClassLibrary/InputStream.java

   1 public class InputStream {
   2   public int read() {
   3     System.printString("called unimplemented read\n");
   4   }
   5   public int read(byte[] b) {
   6     System.printString("called unimplemented read(byte[]b)\n");
   7   }
   8
   9   public void close() {
  10     System.printString("Called unimplemented close()\n");
  11   }
  12 }