1 package org.simantics.scl.compiler.elaboration.expressions;
3 import java.util.ArrayList;
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;
18 public abstract class DecoratingExpression extends SimplifiableExpression {
19 public Expression expression;
21 public DecoratingExpression(long loc, Expression expression) {
23 this.expression = expression;
27 protected void updateType() throws MatchException {
28 setType(expression.getType());
32 public Expression simplify(SimplificationContext context) {
33 expression = expression.simplify(context);
38 public Expression resolve(TranslationContext context) {
39 expression = expression.resolve(context);
44 public Expression resolveAsPattern(TranslationContext context) {
45 expression = expression.resolveAsPattern(context);
50 public EVar getPatternHead() throws NotPatternException {
51 return expression.getPatternHead();
55 public LhsType getLhsType() throws NotPatternException {
56 return expression.getLhsType();
60 public void getParameters(TranslationContext translationContext,
61 ArrayList<Expression> parameters) {
62 expression.getParameters(translationContext, parameters);
66 public int getFunctionDefinitionPatternArity() throws NotPatternException {
67 return expression.getFunctionDefinitionPatternArity();
71 public void setLocationDeep(long loc) {
72 if(location == Locations.NO_LOCATION) {
74 expression.setLocationDeep(loc);
79 public IVal toVal(CompilationContext context, CodeWriter w) {
80 throw new InternalCompilerError("Cannot generate code for " + getClass().getSimpleName() + ".");
84 public Expression inferType(TypingContext context) {
85 expression = expression.inferType(context);
90 public Expression checkBasicType(TypingContext context, Type requiredType) {
91 expression = expression.checkBasicType(context, requiredType);
96 public Expression checkIgnoredType(TypingContext context) {
97 expression = expression.checkIgnoredType(context);
102 public int getSyntacticFunctionArity() {
103 return expression.getSyntacticFunctionArity();