UnificationException.java

   1 package org.simantics.scl.compiler.types.exceptions;
   2
   3 import org.simantics.scl.compiler.types.Type;
   4
   5 public class UnificationException extends Exception {
   6
   7     private static final long serialVersionUID = -231201932688557353L;
   8
   9     Type a;
  10     Type b;
  11
  12     public UnificationException(Type a, Type b) {
  13         super("Cannot unify " + a + " and " + b + ".");
  14         this.a = a;
  15         this.b = b;
  16     }
  17
  18     public Type getA() {
  19         return a;
  20     }
  21
  22     public Type getB() {
  23         return b;
  24     }
  25
  26 }