X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fchr%2Frelations%2FExternalCHRRelation.java;h=6f44bc2ab6852bd0211f6f508f5b629ff8fda4a2;hp=1ee4726eba227c397fbdf535c606302a11543eb1;hb=1ec0193a5a5b8f368b03adb24acd762838ddf8ea;hpb=a8758de5bc19e5adb3f618d3038743a164f09912 diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/ExternalCHRRelation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/ExternalCHRRelation.java index 1ee4726eb..6f44bc2ab 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/ExternalCHRRelation.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/ExternalCHRRelation.java @@ -1,29 +1,40 @@ -package org.simantics.scl.compiler.elaboration.chr.relations; - -import org.simantics.scl.compiler.elaboration.chr.CHRRelation; -import org.simantics.scl.compiler.elaboration.relations.SCLRelation; -import org.simantics.scl.compiler.types.TVar; -import org.simantics.scl.compiler.types.Type; - -public class ExternalCHRRelation implements CHRRelation { - public final SCLRelation relation; - - public ExternalCHRRelation(SCLRelation relation) { - this.relation = relation; - } - - @Override - public TVar[] getTypeVariables() { - return relation.getTypeVariables(); - } - - @Override - public Type[] getParameterTypes() { - return relation.getParameterTypes(); - } - - @Override - public String toString() { - return relation.toString(); - } -} +package org.simantics.scl.compiler.elaboration.chr.relations; + +import org.simantics.scl.compiler.elaboration.chr.CHRRelation; +import org.simantics.scl.compiler.elaboration.relations.SCLRelation; +import org.simantics.scl.compiler.types.TPred; +import org.simantics.scl.compiler.types.TVar; +import org.simantics.scl.compiler.types.Type; + +public class ExternalCHRRelation implements CHRRelation { + public final SCLRelation relation; + + public ExternalCHRRelation(SCLRelation relation) { + this.relation = relation; + } + + @Override + public TVar[] getTypeVariables() { + return relation.getTypeVariables(); + } + + @Override + public Type[] getParameterTypes() { + return relation.getParameterTypes(); + } + + @Override + public TPred[] getTypeConstraints() { + return relation.getTypeConstraints(); + } + + @Override + public String toString() { + return relation.toString(); + } + + @Override + public String[] getFieldNames() { + return relation.getFieldNames(); + } +}