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

   1 package org.simantics.scl.compiler.elaboration.expressions;\r
   2 \r
   3 import java.util.ArrayList;\r
   4 \r
   5 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;\r
   6 import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext;\r
   7 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;\r
   8 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;\r
   9 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;\r
  10 import org.simantics.scl.compiler.environment.Environment;\r
  11 import org.simantics.scl.compiler.errors.Locations;\r
  12 import org.simantics.scl.compiler.internal.codegen.references.IVal;\r
  13 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;\r
  14 import org.simantics.scl.compiler.internal.elaboration.utils.ExpressionDecorator;\r
  15 import org.simantics.scl.compiler.internal.interpreted.IExpression;\r
  16 import org.simantics.scl.compiler.internal.interpreted.IVariable;\r
  17 import org.simantics.scl.compiler.top.ExpressionInterpretationContext;\r
  18 import org.simantics.scl.compiler.types.Type;\r
  19 import org.simantics.scl.compiler.types.Types;\r
  20 import org.simantics.scl.compiler.types.exceptions.MatchException;\r
  21 import org.simantics.scl.compiler.types.kinds.Kinds;\r
  22 import org.simantics.scl.compiler.types.util.TypeUnparsingContext;\r
  23 \r
  24 import gnu.trove.map.hash.TObjectIntHashMap;\r
  25 import gnu.trove.set.hash.THashSet;\r
  26 import gnu.trove.set.hash.TIntHashSet;\r
  27 \r
  28 public class EVariable extends Expression {\r
  29     public static final EVariable[] EMPTY_ARRAY = new EVariable[0];\r
  30     \r
  31     Variable variable;\r
  32     \r
  33     public EVariable(Variable variable) {\r
  34         this.variable = variable;\r
  35     }\r
  36 \r
  37     public EVariable(long loc, Variable variable) {\r
  38         super(loc);\r
  39         this.variable = variable;\r
  40     }\r
  41 \r
  42     public Variable getVariable() {\r
  43         return variable;\r
  44     }\r
  45     \r
  46     public void setVariable(Variable variable) {\r
  47         this.variable = variable;\r
  48     }\r
  49 \r
  50         public void collectRefs(TObjectIntHashMap<Object> allRefs, TIntHashSet refs) {\r
  51     }\r
  52         \r
  53         @Override\r
  54         public void collectVars(TObjectIntHashMap<Variable> allVars,\r
  55                 TIntHashSet vars) {\r
  56             int id = allVars.get(variable);\r
  57             if(id >= 0)\r
  58                 vars.add(id);\r
  59         }\r
  60 \r
  61         public void toString(StringBuilder b, TypeUnparsingContext tuc) {\r
  62         b.append(variable == null ? "???" : variable.toString());\r
  63     }\r
  64 \r
  65         @Override\r
  66         protected void updateType() throws MatchException {\r
  67             setType(variable.getType());\r
  68         }\r
  69         \r
  70         @Override\r
  71         public IVal toVal(Environment env, CodeWriter w) {\r
  72         return variable.getVal();\r
  73     }\r
  74 \r
  75     @Override\r
  76     public void collectFreeVariables(THashSet<Variable> vars) {\r
  77         vars.add(variable);\r
  78     }\r
  79 \r
  80     @Override\r
  81     public Expression simplify(SimplificationContext context) {\r
  82         Expression expression = context.getInlinedValue(variable);\r
  83         if(expression != null)\r
  84             return expression.copy();\r
  85         else\r
  86             return this;\r
  87     }\r
  88 \r
  89     @Override\r
  90     public Expression resolve(TranslationContext context) {\r
  91         return this;\r
  92     }\r
  93     \r
  94     @Override\r
  95     public void getParameters(TranslationContext translationContext,\r
  96             ArrayList<Expression> parameters) {\r
  97     }\r
  98     \r
  99     @Override\r
 100     public void removeFreeVariables(THashSet<Variable> vars) {\r
 101         vars.remove(variable);\r
 102     }\r
 103     \r
 104     @Override\r
 105     public Expression resolveAsPattern(TranslationContext context) {\r
 106         return this;\r
 107     }\r
 108 \r
 109     @Override\r
 110     public Expression replace(ReplaceContext context) {\r
 111         if(context.inPattern) {\r
 112             Type type = variable.getType().replace(context.tvarMap);\r
 113             \r
 114             Variable newVariable = new Variable(variable.name);\r
 115             newVariable.setType(type);\r
 116             EVariable result = new EVariable(newVariable);\r
 117             context.varMap.put(variable, result);\r
 118             return result;\r
 119         }\r
 120         else {\r
 121             if(variable == null) {\r
 122                 EVariable newVariable = new EVariable(location, null);\r
 123                 newVariable.setType(getType().replace(context.tvarMap));\r
 124                 if(context.typingContext == null)\r
 125                     throw new InternalCompilerError(location, "Encountered unresolved variable but not in type checking phase.");\r
 126                 context.typingContext.addConstraintDemand(newVariable);\r
 127                 return newVariable;\r
 128             }\r
 129             else {\r
 130                 Expression expression = context.varMap.get(variable);\r
 131                 if(expression != null)\r
 132                     return expression.copy(context.typingContext);\r
 133                 else {\r
 134                     return new EVariable(variable);\r
 135                 }\r
 136             }\r
 137         }\r
 138     }\r
 139     \r
 140     @Override\r
 141     public IExpression toIExpression(ExpressionInterpretationContext target) {\r
 142         return new IVariable(target.getVariableId(variable));\r
 143     }\r
 144     \r
 145     @Override\r
 146     public Expression inferType(TypingContext context) {\r
 147         if(context.isInPattern()) {\r
 148             variable.setType(Types.metaVar(Kinds.STAR));\r
 149             return this;\r
 150         }\r
 151         else\r
 152             return applyPUnit(context);\r
 153     }\r
 154     \r
 155     @Override\r
 156     public Expression checkBasicType(TypingContext context, Type requiredType) {\r
 157         if(context.isInPattern()) {\r
 158             variable.setType(requiredType);\r
 159             return this;\r
 160         }\r
 161         else\r
 162             return context.subsume(this, requiredType);\r
 163     }\r
 164     \r
 165     @Override\r
 166     public Expression decorate(ExpressionDecorator decorator) {     \r
 167         return decorator.decorate(this);\r
 168     }\r
 169     \r
 170     @Override\r
 171     public boolean isEffectful() {\r
 172         return false;\r
 173     }\r
 174     \r
 175     @Override\r
 176     public void collectEffects(THashSet<Type> effects) {\r
 177     }\r
 178     \r
 179     @Override\r
 180     public void setLocationDeep(long loc) {\r
 181         if(location == Locations.NO_LOCATION)\r
 182             location = loc;\r
 183     }\r
 184     \r
 185     @Override\r
 186     public void accept(ExpressionVisitor visitor) {\r
 187         visitor.visit(this);\r
 188     }\r
 189 \r
 190     @Override\r
 191     public void forVariables(VariableProcedure procedure) {\r
 192         if(variable != null)\r
 193             procedure.execute(location, variable);\r
 194     }\r
 195     \r
 196     @Override\r
 197     public boolean isPattern(int arity) {\r
 198         return arity == 0;\r
 199     }\r
 200     \r
 201     @Override\r
 202     public Expression accept(ExpressionTransformer transformer) {\r
 203         return transformer.transform(this);\r
 204     }\r
 205 \r
 206 }\r