bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/equation/EqBasic.java

   1 package org.simantics.scl.compiler.elaboration.equation;
   2
   3 import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext;
   4 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
   5 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
   6 import org.simantics.scl.compiler.elaboration.expressions.Expression;
   7 import org.simantics.scl.compiler.elaboration.expressions.Variable;
   8 import org.simantics.scl.compiler.errors.Locations;
   9 import org.simantics.scl.compiler.types.Type;
  10
  11 import gnu.trove.map.hash.TObjectIntHashMap;
  12 import gnu.trove.set.hash.THashSet;
  13 import gnu.trove.set.hash.TIntHashSet;
  14
  15 public class EqBasic extends Equation {
  16     public Expression left;
  17     public Expression right;
  18
  19     public EqBasic(Expression left, Expression right) {
  20         this.left = left;
  21         this.right = right;
  22     }
  23
  24     public EqBasic(long location, Expression left, Expression right) {
  25         this(left, right);
  26         this.location = location;
  27     }
  28
  29     @Override
  30     public void setLocationDeep(long loc) {
  31         if(location == Locations.NO_LOCATION) {
  32             location = loc;
  33             left.setLocationDeep(loc);
  34             right.setLocationDeep(loc);
  35         }
  36     }
  37
  38     @Override
  39     public void collectFreeVariables(THashSet<Variable> vars) {
  40         left.collectFreeVariables(vars);
  41         right.collectFreeVariables(vars);
  42     }
  43
  44     @Override
  45     public void collectEffects(THashSet<Type> effects) {
  46         left.collectEffects(effects);
  47         right.collectEffects(effects);
  48     }
  49
  50     @Override
  51     public void checkType(TypingContext context) {
  52         left = left.inferType(context);
  53         right = right.checkType(context, left.getType());
  54     }
  55
  56     @Override
  57     public void collectVars(TObjectIntHashMap<Variable> allVars, TIntHashSet vars) {
  58         left.collectVars(allVars, vars);
  59         right.collectVars(allVars, vars);
  60     }
  61
  62     @Override
  63     public void resolve(TranslationContext context) {
  64         left = left.resolve(context);
  65         right = right.resolve(context);
  66     }
  67
  68     @Override
  69     public void accept(EquationVisitor visitor) {
  70         visitor.visit(this);
  71     }
  72
  73     @Override
  74     public Equation replace(ReplaceContext context) {
  75         return new EqBasic(location, left.replace(context), right.replace(context));
  76     }
  77 }