1 package org.simantics.scl.compiler.types.kinds;
3 import org.simantics.scl.compiler.types.exceptions.KindUnificationException;
4 import org.simantics.scl.compiler.types.util.TypeUnparsingContext;
7 * This class represents a kind metavariable that can contain a reference to a kind
8 * that is has been unified with.
10 public class KMetaVar extends Kind {
17 * Write the name of the reference type, or a name returned by #tuc.
20 protected void toStringPar(TypeUnparsingContext tuc, StringBuilder b) {
24 b.append("?" + tuc.getName(this));
27 public void setRef(Kind a) throws KindUnificationException {
29 throw new KindUnificationException();
34 public boolean contains(KMetaVar var) {
38 return ref.contains(var);