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

   1 package org.simantics.scl.compiler.elaboration.expressions;\r
   2 \r
   3 import gnu.trove.map.hash.TObjectIntHashMap;\r
   4 import gnu.trove.set.hash.THashSet;\r
   5 import gnu.trove.set.hash.TIntHashSet;\r
   6 \r
   7 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;\r
   8 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;\r
   9 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;\r
  10 import org.simantics.scl.compiler.internal.elaboration.utils.ExpressionDecorator;\r
  11 import org.simantics.scl.compiler.types.Type;\r
  12 import org.simantics.scl.compiler.types.exceptions.MatchException;\r
  13 \r
  14 public abstract class ASTExpression extends SimplifiableExpression {\r
  15     public ASTExpression() {\r
  16     }\r
  17     \r
  18     @Override\r
  19     final public Expression simplify(SimplificationContext context) {\r
  20         throw new InternalCompilerError(getClass().getSimpleName() + " does not support simplify.");\r
  21     }\r
  22     \r
  23     @Override\r
  24     final public void collectFreeVariables(THashSet<Variable> vars) {\r
  25         throw new InternalCompilerError(getClass().getSimpleName() + " does not support collectFreeVariables.");\r
  26 \r
  27     }\r
  28     \r
  29     @Override\r
  30     final public void collectRefs(TObjectIntHashMap<Object> allRefs,\r
  31             TIntHashSet refs) {\r
  32         throw new InternalCompilerError(getClass().getSimpleName() + " does not support collectRefs.");\r
  33     }\r
  34     \r
  35     @Override\r
  36     final public void collectVars(TObjectIntHashMap<Variable> allVars,\r
  37             TIntHashSet vars) {\r
  38         throw new InternalCompilerError(getClass().getSimpleName() + " does not support collectVars.");\r
  39     }\r
  40     \r
  41     @Override\r
  42     final protected void updateType() throws MatchException {\r
  43         throw new InternalCompilerError(getClass().getSimpleName() + " does not support updateType.");\r
  44     }\r
  45     \r
  46     @Override\r
  47     final public Expression decorate(ExpressionDecorator decorator) {\r
  48         throw new InternalCompilerError(getClass().getSimpleName() + " does not support decorate.");\r
  49     }\r
  50     \r
  51     @Override\r
  52     final public void collectEffects(THashSet<Type> effects) {\r
  53         throw new InternalCompilerError(getClass().getSimpleName() + " does not support collectEffects.");\r
  54     }\r
  55     \r
  56     @Override\r
  57     final public void accept(ExpressionVisitor visitor) {\r
  58         throw new InternalCompilerError(getClass().getSimpleName() + " does not support accept.");\r
  59     }\r
  60     \r
  61     @Override\r
  62     public Expression checkBasicType(TypingContext context, Type requiredType) {\r
  63         throw new InternalCompilerError("Class " + \r
  64                 getClass().getSimpleName() + " does not implement method checkBasicType.");\r
  65     }\r
  66     \r
  67     @Override\r
  68     public Expression inferType(TypingContext context) {\r
  69         throw new InternalCompilerError("Class " + \r
  70                 getClass().getSimpleName() + " does not implement method inferType.");\r
  71     }\r
  72     \r
  73     @Override\r
  74     public void forVariables(VariableProcedure procedure) {\r
  75         throw new InternalCompilerError("Class " + \r
  76                 getClass().getSimpleName() + " does not implement method forVariables.");\r
  77     }\r
  78 }\r