Source code: mlsub/typing/lowlevel/LowlevelImplementsClash.java
1 package mlsub.typing.lowlevel;
2
3 /**
4 * Thrown when the constraint implies that the rigid variable a implement i
5 * which is not the case
6 *
7 * @version $Revision: 1.1 $, $Date: 2000/06/14 13:32:51 $
8 * @author Alexandre Frey
9 **/
10 public class LowlevelImplementsClash extends LowlevelUnsatisfiable {
11 private int a;
12 private int i;
13 LowlevelImplementsClash(int a, int i) {
14 super(a+" : "+i);
15 this.a = a;
16 this.i = i;
17 }
18 public int getA() {
19 return a;
20 }
21 public int getI() {
22 return i;
23 }
24 }