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

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/BitstreamErrors.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/BitstreamErrors.java
index 07114dbf0c4774b041eac67becb4270f43debe64..452711a1365efafa444608722c7e3c55bb12489c 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/BitstreamErrors.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/BitstreamErrors.java
@@ -20,51 +20,50 @@
  */\r
 \r
 /**\r
- * This interface describes all error codes that can be thrown \r
- * in <code>BistreamException</code>s.\r
+ * This interface describes all error codes that can be thrown in\r
+ * <code>BistreamException</code>s.\r
  * \r
  * @see BitstreamException\r
  * \r
- * @author     MDM             12/12/99\r
- * @since      0.0.6\r
+ * @author MDM 12/12/99\r
+ * @since 0.0.6\r
  */\r
 \r
-public interface BitstreamErrors extends JavaLayerErrors\r
-{\r
-       \r
-       /**\r
-        * An undeterminable error occurred. \r
-        */\r
-       static public final int UNKNOWN_ERROR = BITSTREAM_ERROR + 0;\r
-       \r
-       /**\r
-        * The header describes an unknown sample rate.\r
-        */\r
-       static public final int UNKNOWN_SAMPLE_RATE = BITSTREAM_ERROR + 1;\r
+public interface BitstreamErrors extends JavaLayerErrors {\r
 \r
-       /**\r
-        * A problem occurred reading from the stream.\r
-        */\r
-       static public final int STREAM_ERROR = BITSTREAM_ERROR + 2;\r
-       \r
-       /**\r
-        * The end of the stream was reached prematurely. \r
-        */\r
-       static public final int UNEXPECTED_EOF = BITSTREAM_ERROR + 3;\r
-       \r
-       /**\r
-        * The end of the stream was reached. \r
-        */\r
-       static public final int STREAM_EOF = BITSTREAM_ERROR + 4;\r
-       \r
-       /**\r
-        * Frame data are missing. \r
-        */\r
-       static public final int INVALIDFRAME = BITSTREAM_ERROR + 5;\r
+  /**\r
+   * An undeterminable error occurred.\r
+   */\r
+  static public final int UNKNOWN_ERROR = BITSTREAM_ERROR + 0;\r
 \r
-       /**\r
+  /**\r
+   * The header describes an unknown sample rate.\r
+   */\r
+  static public final int UNKNOWN_SAMPLE_RATE = BITSTREAM_ERROR + 1;\r
+\r
+  /**\r
+   * A problem occurred reading from the stream.\r
+   */\r
+  static public final int STREAM_ERROR = BITSTREAM_ERROR + 2;\r
+\r
+  /**\r
+   * The end of the stream was reached prematurely.\r
+   */\r
+  static public final int UNEXPECTED_EOF = BITSTREAM_ERROR + 3;\r
+\r
+  /**\r
+   * The end of the stream was reached.\r
+   */\r
+  static public final int STREAM_EOF = BITSTREAM_ERROR + 4;\r
+\r
+  /**\r
+   * Frame data are missing.\r
+   */\r
+  static public final int INVALIDFRAME = BITSTREAM_ERROR + 5;\r
+\r
+  /**\r
         * \r
         */\r
-       static public final int BITSTREAM_LAST = 0x1ff;\r
-       \r
+  static public final int BITSTREAM_LAST = 0x1ff;\r
+\r
 }\r