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

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/FrameDecoder.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/FrameDecoder.java
index 9c7029dd5ba5bcbab2ba8c60bdd716d1b12a2c63..777a1d3cd4d4e045452a45dee789e77c118847e7 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/FrameDecoder.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/FrameDecoder.java
@@ -19,20 +19,18 @@
  *----------------------------------------------------------------------\r
  */\r
 \r
-\r
 /**\r
- * Implementations of FrameDecoder are responsible for decoding\r
- * an MPEG audio frame.\r
- *  \r
+ * Implementations of FrameDecoder are responsible for decoding an MPEG audio\r
+ * frame.\r
+ * \r
  */\r
-//REVIEW: the interface currently is too thin. There should be\r
+// REVIEW: the interface currently is too thin. There should be\r
 // methods to specify the output buffer, the synthesis filters and\r
-// possibly other objects used by the decoder. \r
-public interface FrameDecoder\r
-{\r
-       /**\r
-        * Decodes one frame of MPEG audio. \r
-        */\r
-       public void decodeFrame() throws DecoderException;\r
-               \r
+// possibly other objects used by the decoder.\r
+public interface FrameDecoder {\r
+  /**\r
+   * Decodes one frame of MPEG audio.\r
+   */\r
+  public void decodeFrame() throws DecoderException;\r
+\r
 }\r