gerrit.simantics Code Review - simantics/platform.git/blob

   1 package org.simantics.scl.compiler.elaboration.chr.relations;
   2
   3 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
   4 import org.simantics.scl.compiler.elaboration.chr.CHRRelation;
   5 import org.simantics.scl.compiler.internal.parsing.Symbol;
   6 import org.simantics.scl.compiler.types.TPred;
   7 import org.simantics.scl.compiler.types.TVar;
   8 import org.simantics.scl.compiler.types.Type;
   9
  10 public class UnresolvedCHRRelation extends Symbol implements CHRRelation {
  11     public String name;
  12
  13     public UnresolvedCHRRelation(long location, String name) {
  14         this.location = location;
  15         this.name = name;
  16     }
  17
  18     @Override
  19     public Type[] getParameterTypes() {
  20         throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking.");
  21     }
  22
  23     @Override
  24     public TVar[] getTypeVariables() {
  25         throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking.");
  26     }
  27
  28     public TPred[] getTypeConstraints() {
  29         throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking.");
  30     }
  31 }