reformat benchmark source codes to meet the requirements of the annotation generation.

[IRC.git] / Robust / src / ClassLibrary / SSJavaInfer / OutputStream.java

diff --git a/Robust/src/ClassLibrary/SSJavaInfer/OutputStream.java b/Robust/src/ClassLibrary/SSJavaInfer/OutputStream.java
new file mode 100644 (file)
index 0000000..eee7fce
--- /dev/null
+++ b/Robust/src/ClassLibrary/SSJavaInfer/OutputStream.java
@@ -0,0 +1,23 @@
+public class OutputStream {
+  public OutputStream() {
+  }
+
+  public void write(int ch) {
+    System.printString("Called unimplemented write(int)\n");
+  }
+
+  public void write(byte[] b) {
+    System.printString("Called unimplemented write(byte[])\n");
+  }
+
+  public void write(byte[] b, int off, int len) {
+    System.printString("Called unimplemented write(byte[],int,int)\n");
+  }
+
+  public void flush() {
+  }
+
+  public void close() {
+    System.printString("Called unimplemented close()\n");
+  }
+}