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

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