01: package mlsub.typing.lowlevel;
02:
03: /**
04: * @version $Revision: 1.3 $, $Date: 2005/05/25 23:22:57 $
05: * @author Alexandre Frey
06: **/
07: public class LowlevelUnsatisfiable extends Unsatisfiable {
08: public LowlevelUnsatisfiable(String msg) {
09: super (msg);
10: }
11:
12: LowlevelUnsatisfiable() {
13: this ("[NO MESSAGE]");
14: }
15:
16: public static LowlevelUnsatisfiable instance = new LowlevelUnsatisfiable();
17:
18: static boolean refinedReports = true;
19:
20: public static void setRefinedReports(boolean flag) {
21: refinedReports = flag;
22: }
23: }
|