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
  22 //import java.io.PrintStream;
  23
  24
  25 /**
  26  * The JavaLayerException is the base class for all API-level
  27  * exceptions thrown by JavaLayer. To facilitate conversion and
  28  * common handling of exceptions from other domains, the class
  29  * can delegate some functionality to a contained Throwable instance.
  30  * <p>
  31  *
  32  * @author MDM
  33  */
  34 public class JavaLayerException extends Exception
  35 {
  36
  37      private Throwable        exception;
  38
  39
  40      public JavaLayerException()
  41      {
  42      }
  43
  44      public JavaLayerException(String msg)
  45      {
  46           super(msg);
  47      }
  48
  49      public JavaLayerException(String msg, Throwable t)
  50      {
  51           super(msg);
  52           exception = t;
  53      }
  54
  55      public Throwable getException()
  56      {
  57           return exception;
  58      }
  59
  60
  61      public void printStackTrace()
  62      {
  63 //          printStackTrace(System.err);
  64      }
  65
  66      public void printStackTrace(PrintStream ps)
  67      {
  68 //          if (this.exception==null)
  69 //          {
  70 //               super.printStackTrace(ps);
  71 //          }
  72 //          else
  73 //          {
  74 //               exception.printStackTrace();
  75 //          }
  76      }
  77
  78
  79 }