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

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / InputStreamSource.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/InputStreamSource.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/InputStreamSource.java
index 3945c3d0dafe6e911096ad3643e9ba378dc6bab7..079a5c891d917c2e5d339179f0b8cbf2b55e7deb 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/InputStreamSource.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/InputStreamSource.java
@@ -26,53 +26,44 @@ import java.io.InputStream;
  * \r
  * An instance of <code>InputStreamSource</code> implements a\r
  * <code>Source</code> that provides data from an <code>InputStream\r
- * </code>. Seeking functionality is not supported. \r
+ * </code>. Seeking functionality is not supported.\r
  * \r
  * @author MDM\r
  */\r
-public class InputStreamSource implements Source\r
-{\r
-       private final InputStream               in;\r
-       \r
-       public InputStreamSource(InputStream in)\r
-       {\r
-               if (in==null)\r
-                       throw new NullPointerException("in");\r
-               \r
-               this.in = in;           \r
-       }\r
-       \r
-       public int read(byte[] b, int offs, int len)\r
-               throws IOException\r
-       {\r
-               int read = in.read(b, offs, len);\r
-               return read;\r
-       }\r
-       \r
-       public boolean willReadBlock()\r
-       {\r
-               return true;\r
-               //boolean block = (in.available()==0);\r
-               //return block;\r
-       }\r
-       \r
-       public boolean isSeekable()\r
-       {\r
-               return false;   \r
-       }\r
-       \r
-       public long     tell()\r
-       {\r
-               return -1;      \r
-       }\r
-       \r
-       public long     seek(long to)\r
-       {\r
-               return -1;      \r
-       }\r
-       \r
-       public long length()\r
-       {\r
-               return -1;\r
-       }\r
+public class InputStreamSource implements Source {\r
+  private final InputStream in;\r
+\r
+  public InputStreamSource(InputStream in) {\r
+    if (in == null)\r
+      throw new NullPointerException("in");\r
+\r
+    this.in = in;\r
+  }\r
+\r
+  public int read(byte[] b, int offs, int len) throws IOException {\r
+    int read = in.read(b, offs, len);\r
+    return read;\r
+  }\r
+\r
+  public boolean willReadBlock() {\r
+    return true;\r
+    // boolean block = (in.available()==0);\r
+    // return block;\r
+  }\r
+\r
+  public boolean isSeekable() {\r
+    return false;\r
+  }\r
+\r
+  public long tell() {\r
+    return -1;\r
+  }\r
+\r
+  public long seek(long to) {\r
+    return -1;\r
+  }\r
+\r
+  public long length() {\r
+    return -1;\r
+  }\r
 }\r