bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/DecoratingExpression.java

   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.compilation.CompilationContext;
   7 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
   8 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
   9 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
  10 import org.simantics.scl.compiler.elaboration.errors.NotPatternException;
  11 import org.simantics.scl.compiler.elaboration.expressions.lhstype.LhsType;
  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.types.Type;
  16 import org.simantics.scl.compiler.types.exceptions.MatchException;
  17
  18 public abstract class DecoratingExpression extends SimplifiableExpression {
  19     public Expression expression;
  20
  21     public DecoratingExpression(long loc, Expression expression) {
  22         super(loc);
  23         this.expression = expression;
  24     }
  25
  26     @Override
  27     protected void updateType() throws MatchException {
  28         setType(expression.getType());
  29     }
  30
  31     @Override
  32     public Expression simplify(SimplificationContext context) {
  33         expression = expression.simplify(context);
  34         return this;
  35     }
  36
  37     @Override
  38     public Expression resolve(TranslationContext context) {
  39         expression = expression.resolve(context);
  40         return this;
  41     }
  42
  43     @Override
  44     public Expression resolveAsPattern(TranslationContext context) {
  45         expression = expression.resolveAsPattern(context);
  46         return this;
  47     }
  48
  49     @Override
  50     public EVar getPatternHead() throws NotPatternException {
  51         return expression.getPatternHead();
  52     }
  53
  54     @Override
  55     public LhsType getLhsType() throws NotPatternException {
  56         return expression.getLhsType();
  57     }
  58
  59     @Override
  60     public void getParameters(TranslationContext translationContext,
  61             ArrayList<Expression> parameters) {
  62         expression.getParameters(translationContext, parameters);
  63     }
  64
  65     @Override
  66     public int getFunctionDefinitionPatternArity() throws NotPatternException {
  67         return expression.getFunctionDefinitionPatternArity();
  68     }
  69
  70     @Override
  71     public void setLocationDeep(long loc) {
  72         if(location == Locations.NO_LOCATION) {
  73             location = loc;
  74             expression.setLocationDeep(loc);
  75         }
  76     }
  77
  78     @Override
  79     public IVal toVal(CompilationContext context, CodeWriter w) {
  80         throw new InternalCompilerError("Cannot generate code for " + getClass().getSimpleName() + ".");
  81     }
  82
  83     @Override
  84     public Expression inferType(TypingContext context) {
  85         expression = expression.inferType(context);
  86         return this;
  87     }
  88
  89     @Override
  90     public Expression checkBasicType(TypingContext context, Type requiredType) {
  91         expression = expression.checkBasicType(context, requiredType);
  92         return this;
  93     }
  94
  95     @Override
  96     public Expression checkIgnoredType(TypingContext context) {
  97         expression = expression.checkIgnoredType(context);
  98         return this;
  99     }
 100
 101     @Override
 102     public int getSyntacticFunctionArity() {
 103         return expression.getSyntacticFunctionArity();
 104     }
 105 }