X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fchr%2Fplan%2FPartnerFact.java;h=7e8229a8f9614ead7e0c46a736be2db3e3e35ca3;hb=f5c5f79bf2a62515c8c81103a4c8932fc0dcf79d;hp=cdec9a36adf5f746b0714073dcc1866858e6c20c;hpb=cb5fc8d606d8b322563e9345c441eecfa7f01753;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PartnerFact.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PartnerFact.java index cdec9a36a..7e8229a8f 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PartnerFact.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PartnerFact.java @@ -1,43 +1,43 @@ -package org.simantics.scl.compiler.elaboration.chr.plan; - -import org.simantics.scl.compiler.constants.Constant; -import org.simantics.scl.compiler.constants.JavaComparisonOperation; -import org.simantics.scl.compiler.constants.JavaComparisonToZeroOperation; -import org.simantics.scl.compiler.elaboration.chr.relations.CHRConstraint; -import org.simantics.scl.compiler.internal.codegen.continuations.ICont; -import org.simantics.scl.compiler.internal.codegen.references.IVal; -import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter; - -public class PartnerFact { - public final boolean active; - public final IVal id; - public final CHRConstraint constraint; - public final IVal factVar; - public final boolean mayBeRemoved; - public final boolean killAfterMatch; - - public final Constant nextFact; - public final ICont continueCont; - public final ICont finishCont; - - public PartnerFact(boolean active, IVal id, CHRConstraint constraint, IVal factVar, boolean mayBeRemoved, boolean killAfterMatch, - Constant nextFact, ICont continueCont, ICont finishCont) { - this.active = active; - this.id = id; - this.constraint = constraint; - this.factVar = factVar; - this.mayBeRemoved = mayBeRemoved; - this.killAfterMatch = killAfterMatch; - this.nextFact = nextFact; - this.continueCont = continueCont; - this.finishCont = finishCont; - } - - public IVal isAlive(long location, CodeWriter w) { - return w.apply(location, JavaComparisonOperation.IEQUAL, w.apply(location, constraint.accessId, factVar), id); - } - - public IVal isAlive(long location, CodeWriter w, IVal fact) { - return w.apply(location, JavaComparisonToZeroOperation.IGREATER_OR_EQUAL, w.apply(location, constraint.accessId, fact)); - } -} +package org.simantics.scl.compiler.elaboration.chr.plan; + +import org.simantics.scl.compiler.constants.Constant; +import org.simantics.scl.compiler.constants.JavaComparisonOperation; +import org.simantics.scl.compiler.constants.JavaComparisonToZeroOperation; +import org.simantics.scl.compiler.elaboration.chr.relations.CHRConstraint; +import org.simantics.scl.compiler.internal.codegen.continuations.ICont; +import org.simantics.scl.compiler.internal.codegen.references.IVal; +import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter; + +public class PartnerFact { + public final boolean active; + public final IVal id; + public final CHRConstraint constraint; + public final IVal factVar; + public final boolean mayBeRemoved; + public final boolean killAfterMatch; + + public final Constant nextFact; + public final ICont continueCont; + public final ICont finishCont; + + public PartnerFact(boolean active, IVal id, CHRConstraint constraint, IVal factVar, boolean mayBeRemoved, boolean killAfterMatch, + Constant nextFact, ICont continueCont, ICont finishCont) { + this.active = active; + this.id = id; + this.constraint = constraint; + this.factVar = factVar; + this.mayBeRemoved = mayBeRemoved; + this.killAfterMatch = killAfterMatch; + this.nextFact = nextFact; + this.continueCont = continueCont; + this.finishCont = finishCont; + } + + public IVal isAlive(long location, CodeWriter w) { + return w.apply(location, JavaComparisonOperation.IEQUAL, w.apply(location, constraint.accessId, factVar), id); + } + + public IVal isAlive(long location, CodeWriter w, IVal fact) { + return w.apply(location, JavaComparisonToZeroOperation.IGREATER_OR_EQUAL, w.apply(location, constraint.accessId, fact)); + } +}