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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/InputStreamSource.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/InputStreamSource.java
index 3945c3d0..079a5c89 100644
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/InputStreamSource.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/InputStreamSource.java
@@ -26,53 +26,44 @@ import java.io.InputStream;
  * 
  * An instance of <code>InputStreamSource</code> implements a
  * <code>Source</code> that provides data from an <code>InputStream
- * </code>. Seeking functionality is not supported. 
+ * </code>. Seeking functionality is not supported.
  * 
  * @author MDM
  */
-public class InputStreamSource implements Source
-{
-	private final InputStream		in;
-	
-	public InputStreamSource(InputStream in)
-	{
-		if (in==null)
-			throw new NullPointerException("in");
-		
-		this.in = in;		
-	}
-	
-	public int read(byte[] b, int offs, int len)
-		throws IOException
-	{
-		int read = in.read(b, offs, len);
-		return read;
-	}
-	
-	public boolean willReadBlock()
-	{
-		return true;
-		//boolean block = (in.available()==0);
-		//return block;
-	}
-	
-	public boolean isSeekable()
-	{
-		return false;	
-	}
-	
-	public long	tell()
-	{
-		return -1;	
-	}
-	
-	public long	seek(long to)
-	{
-		return -1;	
-	}
-	
-	public long length()
-	{
-		return -1;
-	}
+public class InputStreamSource implements Source {
+  private final InputStream in;
+
+  public InputStreamSource(InputStream in) {
+    if (in == null)
+      throw new NullPointerException("in");
+
+    this.in = in;
+  }
+
+  public int read(byte[] b, int offs, int len) throws IOException {
+    int read = in.read(b, offs, len);
+    return read;
+  }
+
+  public boolean willReadBlock() {
+    return true;
+    // boolean block = (in.available()==0);
+    // return block;
+  }
+
+  public boolean isSeekable() {
+    return false;
+  }
+
+  public long tell() {
+    return -1;
+  }
+
+  public long seek(long to) {
+    return -1;
+  }
+
+  public long length() {
+    return -1;
+  }
 }