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%2Fchr%2Fplan%2FPlanContext.java;h=bc6b7da580e3b43a5e43bbf3b646fb1902ee01e7;hp=0ed3f8975d9bbaae4964d8f184453fdaa744b658;hb=78f577368ba4c71ad6fb3d9f16c03c634585cf7b;hpb=a88529426319d66aa668882d767efb3f58a1a629 diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanContext.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanContext.java index 0ed3f8975..bc6b7da58 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanContext.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanContext.java @@ -10,7 +10,9 @@ import org.simantics.scl.compiler.constants.singletons.JustConstant; import org.simantics.scl.compiler.constants.singletons.ListElement; import org.simantics.scl.compiler.constants.singletons.ListLength; import org.simantics.scl.compiler.elaboration.chr.CHRRuleset; +import org.simantics.scl.compiler.elaboration.chr.relations.CHRConstraint; import org.simantics.scl.compiler.elaboration.expressions.Variable; +import org.simantics.scl.compiler.elaboration.expressions.block.IncludeStatement; import org.simantics.scl.compiler.elaboration.java.EqualsFunction; import org.simantics.scl.compiler.internal.codegen.continuations.Branch; import org.simantics.scl.compiler.internal.codegen.continuations.ICont; @@ -22,15 +24,15 @@ import org.simantics.scl.compiler.types.Types; public abstract class PlanContext { public CompilationContext context; public CHRRuleset ruleset; - public IVal storeVar; + public IVal mainStoreVar; public IVal contextVar; public ArrayList partnerFacts = new ArrayList(); public IVal currentId; - public PlanContext(CompilationContext context, CHRRuleset ruleset, IVal storeVar, IVal contextVar) { + public PlanContext(CompilationContext context, CHRRuleset ruleset, IVal mainStoreVar, IVal contextVar) { this.context = context; this.ruleset = ruleset; - this.storeVar = storeVar; + this.mainStoreVar = mainStoreVar; this.contextVar = contextVar; } @@ -116,4 +118,12 @@ public abstract class PlanContext { w.continueAs(end); } + + public IVal getStoreVar(CHRConstraint constraint) { + IncludeStatement includeStatement = ruleset.constraintSourceMap.get(constraint); + if(includeStatement != null) + return includeStatement.storeVar; + else + return mainStoreVar; + } }