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

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerException.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerException.java
index 2759a9a86ccd321025e20196e6270782bdc8d92f..b324415f29caa0475de1adbef28618834c921f8c 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerException.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerException.java
@@ -18,62 +18,50 @@
  *----------------------------------------------------------------------
  */
 
-
 //import java.io.PrintStream;
 
-
 /**
- * The JavaLayerException is the base class for all API-level
- * exceptions thrown by JavaLayer. To facilitate conversion and 
- * common handling of exceptions from other domains, the class 
- * can delegate some functionality to a contained Throwable instance. 
- * <p> 
+ * The JavaLayerException is the base class for all API-level exceptions thrown
+ * by JavaLayer. To facilitate conversion and common handling of exceptions from
+ * other domains, the class can delegate some functionality to a contained
+ * Throwable instance.
+ * <p>
  * 
  * @author MDM
  */
-public class JavaLayerException extends Exception
-{
-     
-     private Throwable        exception;
-     
-     
-     public JavaLayerException()
-     {
-     }
-     
-     public JavaLayerException(String msg)
-     {
-          super(msg);
-     }
-     
-     public JavaLayerException(String msg, Throwable t)
-     {
-          super(msg);
-          exception = t;
-     }
-     
-     public Throwable getException()
-     {
-          return exception;   
-     }
-     
-     
-     public void printStackTrace()
-     {
-//          printStackTrace(System.err);  
-     }
-     
-     public void printStackTrace(PrintStream ps)
-     {
-//          if (this.exception==null)
-//          {
-//               super.printStackTrace(ps);    
-//          }
-//          else
-//          {
-//               exception.printStackTrace();
-//          }
-     }
-     
-     
+public class JavaLayerException extends Exception {
+
+  private Throwable exception;
+
+  public JavaLayerException() {
+  }
+
+  public JavaLayerException(String msg) {
+    super(msg);
+  }
+
+  public JavaLayerException(String msg, Throwable t) {
+    super(msg);
+    exception = t;
+  }
+
+  public Throwable getException() {
+    return exception;
+  }
+
+  public void printStackTrace() {
+    // printStackTrace(System.err);
+  }
+
+  public void printStackTrace(PrintStream ps) {
+    // if (this.exception==null)
+    // {
+    // super.printStackTrace(ps);
+    // }
+    // else
+    // {
+    // exception.printStackTrace();
+    // }
+  }
+
 }