001    /*
002     * $Id: TimeExceededException.java 3202 2010-07-02 15:50:08Z kredel $
003     */
004    
005    package edu.jas.kern;
006    
007    
008    /**
009     * Time exceeded exception class.
010     * Runtime Exception to be thrown when the run-time has exceeded a certain limit.
011     * @author Heinz Kredel
012     */
013    
014    public 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    }