1 package org.simantics.scl.compiler.elaboration.chr.relations;
3 import org.simantics.scl.compiler.elaboration.chr.CHRRelation;
4 import org.simantics.scl.compiler.elaboration.relations.SCLRelation;
5 import org.simantics.scl.compiler.types.TPred;
6 import org.simantics.scl.compiler.types.TVar;
7 import org.simantics.scl.compiler.types.Type;
9 public class ExternalCHRRelation implements CHRRelation {
10 public final SCLRelation relation;
12 public ExternalCHRRelation(SCLRelation relation) {
13 this.relation = relation;
17 public TVar[] getTypeVariables() {
18 return relation.getTypeVariables();
22 public Type[] getParameterTypes() {
23 return relation.getParameterTypes();
27 public TPred[] getTypeConstraints() {
28 return relation.getTypeConstraints();
32 public String toString() {
33 return relation.toString();