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;fp=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fchr%2Fplan%2FPartnerFact.java;h=cdec9a36adf5f746b0714073dcc1866858e6c20c;hb=a8758de5bc19e5adb3f618d3038743a164f09912;hp=0000000000000000000000000000000000000000;hpb=12d9af17384d960b75d58c3935d2b7b46d93e87b;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
new file mode 100644
index 000000000..cdec9a36a
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PartnerFact.java
@@ -0,0 +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));
+    }
+}