001    /*
002     * $Id: NoLiftingException.java 2952 2009-12-31 16:48:39Z kredel $
003     */
004    
005    package edu.jas.ufd;
006    
007    
008    /**
009     * Non existing Hensel lifting. Exception to be thrown when a valid
010     * Hensel lifting cannot be constructed.
011     * @author Heinz Kredel
012     */
013    
014    public class NoLiftingException extends Exception {
015    
016    
017        public NoLiftingException() {
018            super("NoLiftingException");
019        }
020    
021    
022        public NoLiftingException(String c) {
023            super(c);
024        }
025    
026    
027        public NoLiftingException(String c, Throwable t) {
028            super(c, t);
029        }
030    
031    
032        public NoLiftingException(Throwable t) {
033            super("NoLiftingException", t);
034        }
035    
036    }