1 package org.simantics.scl.compiler.elaboration.expressions;
\r
3 import org.simantics.scl.compiler.elaboration.chr.CHRRuleset;
\r
4 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
\r
5 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
\r
6 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
\r
7 import org.simantics.scl.compiler.environment.Environment;
\r
8 import org.simantics.scl.compiler.errors.Locations;
\r
9 import org.simantics.scl.compiler.internal.codegen.references.IVal;
\r
10 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
\r
11 import org.simantics.scl.compiler.internal.elaboration.utils.ExpressionDecorator;
\r
12 import org.simantics.scl.compiler.internal.interpreted.IExpression;
\r
13 import org.simantics.scl.compiler.top.ExpressionInterpretationContext;
\r
14 import org.simantics.scl.compiler.types.Type;
\r
15 import org.simantics.scl.compiler.types.exceptions.MatchException;
\r
17 import gnu.trove.map.hash.TObjectIntHashMap;
\r
18 import gnu.trove.set.hash.THashSet;
\r
19 import gnu.trove.set.hash.TIntHashSet;
\r
21 public class ECHRRuleset extends Expression {
\r
25 public ECHRRuleset(CHRRuleset ruleset, Expression in) {
\r
26 this.ruleset = ruleset;
\r
31 public void collectRefs(TObjectIntHashMap<Object> allRefs, TIntHashSet refs) {
\r
32 ruleset.collectRefs(allRefs, refs);
\r
33 in.collectRefs(allRefs, refs);
\r
36 public void collectVars(TObjectIntHashMap<Variable> allVars, TIntHashSet vars) {
\r
37 ruleset.collectVars(allVars, vars);
\r
38 in.collectVars(allVars, vars);
\r
41 public void forVariables(VariableProcedure procedure) {
\r
42 ruleset.forVariables(procedure);
\r
43 in.forVariables(procedure);
\r
46 protected void updateType() throws MatchException {
\r
47 setType(in.getType());
\r
50 public IVal toVal(Environment env, CodeWriter w) {
\r
51 ruleset.generateCode(w);
\r
52 return in.toVal(env, w);
\r
55 public void collectFreeVariables(THashSet<Variable> vars) {
\r
56 ruleset.collectFreeVariables(vars);
\r
57 in.collectFreeVariables(vars);
\r
60 public Expression resolve(TranslationContext context) {
\r
61 context.pushFrame();
\r
62 context.pushCHRConstraintFrame();
\r
63 ruleset.resolve(context);
\r
64 in = in.resolve(context);
\r
65 context.popCHRConstraintFrame(ruleset.constraints);
\r
70 public void setLocationDeep(long loc) {
\r
71 if(location == Locations.NO_LOCATION) {
\r
72 this.location = loc;
\r
73 ruleset.setLocationDeep(loc);
\r
74 in.setLocationDeep(loc);
\r
78 public Expression decorate(ExpressionDecorator decorator) {
\r
79 in = in.decorate(decorator);
\r
83 public void collectEffects(THashSet<Type> effects) {
\r
84 ruleset.collectEffects(effects);
\r
85 in.collectEffects(effects);
\r
88 public void accept(ExpressionVisitor visitor) {
\r
89 visitor.visit(this);
\r
93 public Expression inferType(TypingContext context) {
\r
94 ruleset.checkType(context);
\r
95 in = in.inferType(context);
\r
100 public Expression simplify(SimplificationContext context) {
\r
101 ruleset.simplify(context);
\r
102 ruleset.compile(context);
\r
103 in = in.simplify(context);
\r
108 public Expression accept(ExpressionTransformer transformer) {
\r
109 return transformer.transform(this);
\r
113 public IExpression toIExpression(ExpressionInterpretationContext context) {
\r
114 throw new UnsupportedOperationException();
\r