01: /**************************************************************************/
02: /* N I C E */
03: /* A high-level object-oriented research language */
04: /* (c) Daniel Bonniot 2001 */
05: /* */
06: /* This program is free software; you can redistribute it and/or modify */
07: /* it under the terms of the GNU General Public License as published by */
08: /* the Free Software Foundation; either version 2 of the License, or */
09: /* (at your option) any later version. */
10: /* */
11: /**************************************************************************/package mlsub.typing;
12:
13: /**
14: Error when asserting inequality between monotypes.
15: */
16: public class MonotypeLeqEx extends TypingEx {
17: MonotypeLeqEx(Monotype m1, Monotype m2,
18: mlsub.typing.lowlevel.Unsatisfiable origin) {
19: super ("");
20: this .origin = origin;
21: this .m1 = m1;
22: this .m2 = m2;
23: }
24:
25: mlsub.typing.lowlevel.Unsatisfiable origin;
26: public Monotype m1, m2;
27:
28: public String getMessage() {
29: return m1 + " <: " + m2 + " because of " + origin;
30: }
31:
32: public Monotype getM1() {
33: return m1;
34: }
35:
36: public Monotype getM2() {
37: return m2;
38: }
39: }
|