Source Code Cross Referenced for Unsatisfiable.java in  » Scripting » Nice » mlsub » typing » lowlevel » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package mlsub.typing.lowlevel;
02:
03:        /**
04:         * @version $Revision: 1.1 $, $Date: 2000/06/14 13:32:57 $
05:         * @author Alexandre Frey
06:         **/
07:        abstract public class Unsatisfiable extends Exception {
08:            public Unsatisfiable(String msg) {
09:                super (msg);
10:            }
11:
12:            public boolean isKindError() {
13:                return (this  instanceof  KindUnsatisfiable);
14:            }
15:        }