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

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Source.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Source.java
index ad2f0c91856c10882db820ec2d75e98f9452fb89..ce8874b27d2d4dda5ada443c2fd74f529530e9cb 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Source.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Source.java
@@ -17,32 +17,28 @@
  *----------------------------------------------------------------------\r
  */\r
 \r
-\r
 import java.io.IOException;\r
 \r
 /**\r
  * Work in progress.\r
  * \r
- * Class to describe a seekable data source. \r
- *  \r
+ * Class to describe a seekable data source.\r
+ * \r
  */\r
-public interface Source\r
-{\r
-       \r
-       public static final long        LENGTH_UNKNOWN = -1;\r
-       \r
-       public int read(byte[] b, int offs, int len)\r
-               throws IOException;\r
-       \r
-       \r
-       public boolean  willReadBlock();\r
-                       \r
-       public boolean  isSeekable();\r
-               \r
-       public long             length();\r
-       \r
-       public long             tell();\r
-       \r
-       public long             seek(long pos);\r
-       \r
+public interface Source {\r
+\r
+  public static final long LENGTH_UNKNOWN = -1;\r
+\r
+  public int read(byte[] b, int offs, int len) throws IOException;\r
+\r
+  public boolean willReadBlock();\r
+\r
+  public boolean isSeekable();\r
+\r
+  public long length();\r
+\r
+  public long tell();\r
+\r
+  public long seek(long pos);\r
+\r
 }\r