X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fexpressions%2FECHRSelect.java;fp=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fexpressions%2FECHRSelect.java;h=71c4a43e02df08078e6c6b16aa43731ba5bcae32;hp=d1873e4e6f3240bcf07307e2ec17a54be940232a;hb=6dfe20b0f514b91337fcac4de0267ffd8268be07;hpb=ff1337ff96700fb157ec789cbef88b8f40e03798 diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRSelect.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRSelect.java index d1873e4e6..71c4a43e0 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRSelect.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRSelect.java @@ -22,13 +22,12 @@ import org.simantics.scl.compiler.types.exceptions.MatchException; import org.simantics.scl.compiler.types.kinds.Kinds; import gnu.trove.map.hash.TObjectIntHashMap; -import gnu.trove.set.hash.THashSet; import gnu.trove.set.hash.TIntHashSet; public class ECHRSelect extends Expression { - CHRQuery query; - Variable[] existentialVariables; - Expression expression; + public CHRQuery query; + public Variable[] existentialVariables; + public Expression expression; private ArrayList planOps; private CHRRuleset currentRuleset; @@ -84,15 +83,6 @@ public class ECHRSelect extends Expression { return w.apply(location, context.getValue(Names.MList_freeze).getValue(), list); } - @Override - public void collectFreeVariables(THashSet vars) { - query.collectFreeVariables(vars); - expression.collectFreeVariables(vars); - if(existentialVariables != null) - for(Variable variable : existentialVariables) - vars.remove(variable); - } - @Override public Expression resolve(TranslationContext context) { currentRuleset = context.currentRuleset;