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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/DecoderException.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/DecoderException.java
index d33b0f09..aaeec8e7 100644
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/DecoderException.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/DecoderException.java
@@ -18,44 +18,34 @@
  *----------------------------------------------------------------------
  */
 
-
 /**
- * The <code>DecoderException</code> represents the class of
- * errors that can occur when decoding MPEG audio. 
+ * The <code>DecoderException</code> represents the class of errors that can
+ * occur when decoding MPEG audio.
  * 
  * @author MDM
  */
-public class DecoderException extends JavaLayerException
-	implements DecoderErrors
-{	
-	private int		errorcode = UNKNOWN_ERROR;
-	
-	public DecoderException(String msg, Throwable t)
-	{
-		super(msg, t);	
-	}
-	
-	public DecoderException(int errorcode, Throwable t)
-	{
-		this(getErrorString(errorcode), t);
-		this.errorcode = errorcode;
-	}
-	
-	public int getErrorCode()
-	{
-		return errorcode;	
-	}
-	
-	
-	static public String getErrorString(int errorcode)
-	{
-		// REVIEW: use resource file to map error codes
-		// to locale-sensitive strings. 
-		
-//		return "Decoder errorcode "+Integer.toHexString(errorcode);
-	  return "Decoder errorcode  "+errorcode;
-	}
-	
-	
-}
+public class DecoderException extends JavaLayerException implements DecoderErrors {
+  private int errorcode = UNKNOWN_ERROR;
+
+  public DecoderException(String msg, Throwable t) {
+    super(msg, t);
+  }
+
+  public DecoderException(int errorcode, Throwable t) {
+    this(getErrorString(errorcode), t);
+    this.errorcode = errorcode;
+  }
 
+  public int getErrorCode() {
+    return errorcode;
+  }
+
+  static public String getErrorString(int errorcode) {
+    // REVIEW: use resource file to map error codes
+    // to locale-sensitive strings.
+
+    // return "Decoder errorcode "+Integer.toHexString(errorcode);
+    return "Decoder errorcode  " + errorcode;
+  }
+
+}