001/*
002 * $Id$
003 */
004
005package edu.jas.kern;
006
007
008/**
009 * Preempting Exception class. Runtime Exception to be thrown when a thread is
010 * interrupted.
011 * @author Heinz Kredel
012 */
013
014public class PreemptingException extends RuntimeException {
015
016
017    public PreemptingException() {
018        super("PreemptingException");
019    }
020
021
022    public PreemptingException(String c) {
023        super(c);
024    }
025
026
027    public PreemptingException(String c, Throwable t) {
028        super(c, t);
029    }
030
031
032    public PreemptingException(Throwable t) {
033        super("PreemptingException", t);
034    }
035
036}