01: package mlsub.typing.lowlevel;
02:
03: /**
04: * Thrown when the constraint implies that the rigid variable a implement i
05: * which is not the case
06: *
07: * @version $Revision: 1.1 $, $Date: 2000/06/14 13:32:51 $
08: * @author Alexandre Frey
09: **/
10: public class LowlevelImplementsClash extends LowlevelUnsatisfiable {
11: private int a;
12: private int i;
13:
14: LowlevelImplementsClash(int a, int i) {
15: super (a + " : " + i);
16: this .a = a;
17: this .i = i;
18: }
19:
20: public int getA() {
21: return a;
22: }
23:
24: public int getI() {
25: return i;
26: }
27: }
|