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

   1 package org.simantics.scl.compiler.elaboration.expressions;
   2
   3 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
   4 import org.simantics.scl.compiler.compilation.CompilationContext;
   5 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
   6 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
   7 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
   8 import org.simantics.scl.compiler.errors.Locations;
   9 import org.simantics.scl.compiler.internal.codegen.references.IVal;
  10 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
  11 import org.simantics.scl.compiler.types.Types;
  12 import org.simantics.scl.compiler.types.exceptions.MatchException;
  13 import org.simantics.scl.compiler.types.util.MultiFunction;
  14
  15 public class EViewPattern extends Expression {
  16     public Expression expression;
  17     public Expression pattern;
  18
  19     public EViewPattern(Expression expression, Expression pattern) {
  20         this.expression = expression;
  21         this.pattern = pattern;
  22     }
  23
  24     @Override
  25     public Expression inferType(TypingContext context) {
  26         context.setInPattern(false);
  27         expression = expression.inferType(context);
  28         context.setInPattern(true);
  29         MultiFunction mfun;
  30         try {
  31             mfun = Types.matchFunction(expression.getType(), 1);
  32         } catch (MatchException e) {
  33             context.getErrorLog().log(expression.location, "Expected a function as a transformation expression.");
  34             return new EError(location);
  35         }
  36         setType(mfun.parameterTypes[0]);
  37         pattern.checkType(context, mfun.returnType);
  38         return this;
  39     }
  40
  41     @Override
  42     protected void updateType() throws MatchException {
  43         MultiFunction mfun = Types.matchFunction(expression.getType(), 1);
  44         setType(mfun.parameterTypes[0]);
  45     }
  46
  47     @Override
  48     public IVal toVal(CompilationContext context, CodeWriter w) {
  49         throw new InternalCompilerError(location, "EViewPattern.toVal should not be invoked.");
  50     }
  51
  52     @Override
  53     public Expression resolve(TranslationContext context) {
  54         context.getErrorLog().log("View pattern cannot occur only in patterns. Maybe you are missing '\\' in front of a lambda experssion?");
  55         return new EError(location);
  56     }
  57
  58     @Override
  59     public Expression resolveAsPattern(TranslationContext context) {
  60         expression = expression.resolve(context);
  61         pattern = pattern.resolveAsPattern(context);
  62         return this;
  63     }
  64
  65     @Override
  66     public void setLocationDeep(long loc) {
  67         if(location == Locations.NO_LOCATION) {
  68             location = loc;
  69             expression.setLocationDeep(loc);
  70             pattern.setLocationDeep(loc);
  71         }
  72     }
  73
  74     @Override
  75     public void accept(ExpressionVisitor visitor) {
  76         visitor.visit(this);
  77     }
  78
  79     @Override
  80     public Expression accept(ExpressionTransformer transformer) {
  81         return transformer.transform(this);
  82     }
  83
  84     @Override
  85     public Expression simplify(SimplificationContext context) {
  86         expression = expression.simplify(context);
  87         pattern = pattern.simplify(context);
  88         return this;
  89     }
  90
  91 }