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

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

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