X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fchr%2Frelations%2FUnresolvedCHRRelation.java;h=c852062fb3e2b1b236f83a1656b853a04efb5929;hb=527940f032d9dd8ebd4c7bd202356115f1715120;hp=28944ce492b33ea719916ce17bbbc86cf8cae7a7;hpb=4bf8562ab7cbb3747f9c5844a07469291d43e905;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/UnresolvedCHRRelation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/UnresolvedCHRRelation.java index 28944ce49..c852062fb 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/UnresolvedCHRRelation.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/UnresolvedCHRRelation.java @@ -1,26 +1,31 @@ -package org.simantics.scl.compiler.elaboration.chr.relations; - -import org.simantics.scl.compiler.common.exceptions.InternalCompilerError; -import org.simantics.scl.compiler.elaboration.chr.CHRRelation; -import org.simantics.scl.compiler.internal.parsing.Symbol; -import org.simantics.scl.compiler.types.TVar; -import org.simantics.scl.compiler.types.Type; - -public class UnresolvedCHRRelation extends Symbol implements CHRRelation { - public String name; - - public UnresolvedCHRRelation(long location, String name) { - this.location = location; - this.name = name; - } - - @Override - public Type[] getParameterTypes() { - throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking."); - } - - @Override - public TVar[] getTypeVariables() { - throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking."); - } -} +package org.simantics.scl.compiler.elaboration.chr.relations; + +import org.simantics.scl.compiler.common.exceptions.InternalCompilerError; +import org.simantics.scl.compiler.elaboration.chr.CHRRelation; +import org.simantics.scl.compiler.internal.parsing.Symbol; +import org.simantics.scl.compiler.types.TPred; +import org.simantics.scl.compiler.types.TVar; +import org.simantics.scl.compiler.types.Type; + +public class UnresolvedCHRRelation extends Symbol implements CHRRelation { + public String name; + + public UnresolvedCHRRelation(long location, String name) { + this.location = location; + this.name = name; + } + + @Override + public Type[] getParameterTypes() { + throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking."); + } + + @Override + public TVar[] getTypeVariables() { + throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking."); + } + + public TPred[] getTypeConstraints() { + throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking."); + } +}