Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerException.java

   1 /*
   2  * 11/19/04         1.0 moved to LGPL.
   3  * 12/12/99         Initial version.    mdm@techie.com
   4  *-----------------------------------------------------------------------
   5  *   This program is free software; you can redistribute it and/or modify
   6  *   it under the terms of the GNU Library General Public License as published
   7  *   by the Free Software Foundation; either version 2 of the License, or
   8  *   (at your option) any later version.
   9  *
  10  *   This program is distributed in the hope that it will be useful,
  11  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  *   GNU Library General Public License for more details.
  14  *
  15  *   You should have received a copy of the GNU Library General Public
  16  *   License along with this program; if not, write to the Free Software
  17  *   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  18  *----------------------------------------------------------------------
  19  */
  20
  21 //import java.io.PrintStream;
  22
  23 /**
  24  * The JavaLayerException is the base class for all API-level exceptions thrown
  25  * by JavaLayer. To facilitate conversion and common handling of exceptions from
  26  * other domains, the class can delegate some functionality to a contained
  27  * Throwable instance.
  28  * <p>
  29  *
  30  * @author MDM
  31  */
  32 public class JavaLayerException extends Exception {
  33
  34   private Throwable exception;
  35
  36   public JavaLayerException() {
  37   }
  38
  39   public JavaLayerException(String msg) {
  40     super(msg);
  41   }
  42
  43   public JavaLayerException(String msg, Throwable t) {
  44     super(msg);
  45     exception = t;
  46   }
  47
  48   public Throwable getException() {
  49     return exception;
  50   }
  51
  52   public void printStackTrace() {
  53     // printStackTrace(System.err);
  54   }
  55
  56   public void printStackTrace(PrintStream ps) {
  57     // if (this.exception==null)
  58     // {
  59     // super.printStackTrace(ps);
  60     // }
  61     // else
  62     // {
  63     // exception.printStackTrace();
  64     // }
  65   }
  66
  67 }