001/*
002 * $Id$
003 */
004
005package 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
014public 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}