add PCLOC annotations. all three benchmarks are type-checked now.

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

diff --git a/Robust/src/ClassLibrary/BufferedInputStream.java b/Robust/src/ClassLibrary/BufferedInputStream.java
index 4eff370b1e96618b1d4c329aa7923882ca611762..da9bb190e0642007cbf2c728500aeebfbc494e27 100644 (file)
--- a/Robust/src/ClassLibrary/BufferedInputStream.java
+++ b/Robust/src/ClassLibrary/BufferedInputStream.java
@@ -1,13 +1,17 @@
 public class BufferedInputStream extends InputStream {
-    InputStream in;
-    public BufferedInputStream(InputStream in) {
-       this.in=in;
-    }
-    public int read() {
-       return in.read();
-    }
+  InputStream in;
+  public BufferedInputStream(InputStream in) {
+    this.in=in;
+  }
+  public int read() {
+    return in.read();
+  }
 
-    public int read(byte[] b) {
-       return in.read(b);
-    }
+  public int read(byte[] b) {
+    return in.read(b);
+  }
+
+  public void close() {
+    in.close();
+  }
 }