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

   1 package org.simantics.scl.compiler.elaboration.expressions;
   2
   3 import java.util.ArrayList;
   4
   5 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
   6 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
   7 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
   8 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
   9 import org.simantics.scl.compiler.elaboration.errors.NotPatternException;
  10 import org.simantics.scl.compiler.elaboration.expressions.lhstype.LhsType;
  11 import org.simantics.scl.compiler.environment.Environment;
  12 import org.simantics.scl.compiler.errors.Locations;
  13 import org.simantics.scl.compiler.internal.codegen.references.IVal;
  14 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
  15 import org.simantics.scl.compiler.internal.elaboration.utils.ExpressionDecorator;
  16 import org.simantics.scl.compiler.types.Type;
  17 import org.simantics.scl.compiler.types.exceptions.MatchException;
  18
  19 import gnu.trove.map.hash.TObjectIntHashMap;
  20 import gnu.trove.set.hash.THashSet;
  21 import gnu.trove.set.hash.TIntHashSet;
  22
  23 public abstract class DecoratingExpression extends SimplifiableExpression {
  24     public Expression expression;
  25
  26     public DecoratingExpression(long loc, Expression expression) {
  27         super(loc);
  28         this.expression = expression;
  29     }
  30
  31     @Override
  32     public void collectRefs(TObjectIntHashMap<Object> allRefs, TIntHashSet refs) {
  33         expression.collectRefs(allRefs, refs);
  34     }
  35
  36     @Override
  37     public void collectVars(TObjectIntHashMap<Variable> allVars,
  38             TIntHashSet vars) {
  39         expression.collectVars(allVars, vars);
  40     }
  41
  42     @Override
  43     protected void updateType() throws MatchException {
  44         setType(expression.getType());
  45     }
  46
  47     @Override
  48     public void collectFreeVariables(THashSet<Variable> vars) {
  49         expression.collectFreeVariables(vars);
  50     }
  51
  52     @Override
  53     public Expression simplify(SimplificationContext context) {
  54         expression = expression.simplify(context);
  55         return this;
  56     }
  57
  58     @Override
  59     public Expression resolve(TranslationContext context) {
  60         expression = expression.resolve(context);
  61         return this;
  62     }
  63
  64     @Override
  65     public Expression resolveAsPattern(TranslationContext context) {
  66         expression = expression.resolveAsPattern(context);
  67         return this;
  68     }
  69
  70     @Override
  71     public EVar getPatternHead() throws NotPatternException {
  72         return expression.getPatternHead();
  73     }
  74
  75     @Override
  76     public LhsType getLhsType() throws NotPatternException {
  77         return expression.getLhsType();
  78     }
  79
  80     @Override
  81     public void getParameters(TranslationContext translationContext,
  82             ArrayList<Expression> parameters) {
  83         expression.getParameters(translationContext, parameters);
  84     }
  85
  86     @Override
  87     public int getFunctionDefinitionArity() throws NotPatternException {
  88         return expression.getFunctionDefinitionArity();
  89     }
  90
  91     @Override
  92     public Expression decorate(ExpressionDecorator decorator) {
  93         expression = expression.decorate(decorator);
  94         return this;
  95     }
  96
  97     @Override
  98     public void collectEffects(THashSet<Type> effects) {
  99         expression.collectEffects(effects);
 100     }
 101
 102     @Override
 103     public void setLocationDeep(long loc) {
 104         if(location == Locations.NO_LOCATION) {
 105             location = loc;
 106             expression.setLocationDeep(loc);
 107         }
 108     }
 109
 110     @Override
 111     public void forVariables(VariableProcedure procedure) {
 112         expression.forVariables(procedure);
 113     }
 114
 115     @Override
 116     public IVal toVal(Environment env, CodeWriter w) {
 117         throw new InternalCompilerError("Cannot generate code for " + getClass().getSimpleName() + ".");
 118     }
 119
 120     @Override
 121     public Expression inferType(TypingContext context) {
 122         expression = expression.inferType(context);
 123         return this;
 124     }
 125
 126     @Override
 127     public Expression checkBasicType(TypingContext context, Type requiredType) {
 128         expression = expression.checkBasicType(context, requiredType);
 129         return this;
 130     }
 131
 132     @Override
 133     public Expression checkIgnoredType(TypingContext context) {
 134         expression = expression.checkIgnoredType(context);
 135         return this;
 136     }
 137 }