X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3DecoderInfer%2FFrameDecoder.java;h=777a1d3cd4d4e045452a45dee789e77c118847e7;hb=70aff04c5bb5a7b5f5693a72a29a1abf97004e8d;hp=9c7029dd5ba5bcbab2ba8c60bdd716d1b12a2c63;hpb=7a0d4aea90f5e090be8341e7ab4a8d5e33c788f5;p=IRC.git

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