Robust/Transactions/dstm2/src/dstm2/exceptions/PanicException.java

   1 /*
   2  * PanicException.java
   3  *
   4  * Copyright 2006 Sun Microsystems, Inc., 4150 Network Circle, Santa
   5  * Clara, California 95054, U.S.A.  All rights reserved.
   6  *
   7  * Sun Microsystems, Inc. has intellectual property rights relating to
   8  * technology embodied in the product that is described in this
   9  * document.  In particular, and without limitation, these
  10  * intellectual property rights may include one or more of the
  11  * U.S. patents listed at http://www.sun.com/patents and one or more
  12  * additional patents or pending patent applications in the U.S. and
  13  * in other countries.
  14  *
  15  * U.S. Government Rights - Commercial software.
  16  * Government users are subject to the Sun Microsystems, Inc. standard
  17  * license agreement and applicable provisions of the FAR and its
  18  * supplements.  Use is subject to license terms.  Sun, Sun
  19  * Microsystems, the Sun logo and Java are trademarks or registered
  20  * trademarks of Sun Microsystems, Inc. in the U.S. and other
  21  * countries.
  22  *
  23  * This product is covered and controlled by U.S. Export Control laws
  24  * and may be subject to the export or import laws in other countries.
  25  * Nuclear, missile, chemical biological weapons or nuclear maritime
  26  * end uses or end users, whether direct or indirect, are strictly
  27  * prohibited.  Export or reexport to countries subject to
  28  * U.S. embargo or to entities identified on U.S. export exclusion
  29  * lists, including, but not limited to, the denied persons and
  30  * specially designated nationals lists is strictly prohibited.
  31  */
  32
  33 package dstm2.exceptions;
  34
  35 /**
  36  * Thrown to indicate an error in the use of the transactional memory;
  37  * that is, a violation of the assumptions of use.
  38  */
  39 public class PanicException extends java.lang.RuntimeException {
  40
  41     /**
  42      * Creates new <code>PanicException</code> with no detail message.
  43      */
  44     public PanicException() {
  45     }
  46
  47     public PanicException(String format, Object ... args) {
  48       super(String.format(format, args));
  49     }
  50
  51     /**
  52      * Creates a new <code>PanicException</code> with the specified detail message.
  53      *
  54      * @param msg the detail message.
  55      */
  56     public PanicException(String msg) {
  57         super(msg);
  58     }
  59
  60     /**
  61      * Creates an <code>PanicException</code> with the specified cause.
  62      *
  63      * @param cause Throwable that caused PanicException to be thrown
  64      */
  65     public PanicException(Throwable cause) {
  66         super(cause);
  67     }
  68 }
  69