changes + add two more benchmarks without annotations

[IRC.git] / Robust / src / ClassLibrary / Writer.java

diff --git a/Robust/src/ClassLibrary/Writer.java b/Robust/src/ClassLibrary/Writer.java
index 2c3000f914ef715e4de727082facf3dd854c88d4..d070bb335781389ec7bff8805bccc3a94b58fa58 100644 (file)
--- a/Robust/src/ClassLibrary/Writer.java
+++ b/Robust/src/ClassLibrary/Writer.java
@@ -1,9 +1,17 @@
 public class Writer {
+  public void write(String s) {
+    System.printString("Unimplemented write(String) in Writer\n");
+  }
 
-    public void write(String s) {
-    }
+  public void write(String s, int off, int len) {
+    write(s.substring(off, off+len));
+  }
 
-    public void write(String s, int off, int len) {
-       write(s.substring(off, off+len));
-    }
+  public void flush() {
+    System.printString("Unimplemented flush in Writer\n");
+  }
+
+  public void close() {
+    System.printString("Unimplemented close in Writer\n");
+  }
 }