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