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%2FIterateRelationOp.java;h=d4b21ad40848a10d27b6e51e002dec03373d9a15;hb=f5c5f79bf2a62515c8c81103a4c8932fc0dcf79d;hp=51dcb3762cd5a79479f6131b17fecb55ef53edc8;hpb=ca40974f87c9db00eb77aaf1acc1e9937b37261b;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/IterateRelationOp.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/IterateRelationOp.java
index 51dcb3762..d4b21ad40 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/IterateRelationOp.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/IterateRelationOp.java
@@ -1,42 +1,44 @@
-package org.simantics.scl.compiler.elaboration.chr.plan;
-
-import org.simantics.scl.compiler.compilation.CompilationContext;
-import org.simantics.scl.compiler.elaboration.expressions.Expression;
-import org.simantics.scl.compiler.elaboration.expressions.Variable;
-import org.simantics.scl.compiler.elaboration.relations.SCLRelation;
-import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
-
-public class IterateRelationOp extends PlanOp {
-    
-    public SCLRelation relation;
-    public Variable[] variables;
-    public Expression[] expressions;
-    public int boundMask;
-    
-    public IterateRelationOp(long location, SCLRelation relation, Variable[] variables, Expression[] expressions,
-            int boundMask) {
-        super(location);
-        this.relation = relation;
-        this.variables = variables;
-        this.expressions = expressions;
-        this.boundMask = boundMask;
-        
-    }
-
-    @Override
-    public void toString(StringBuilder b) {
-        b.append("ITERATE ").append(relation);
-        for(int i=0;i<expressions.length;++i)
-            if((boundMask & (1 << i)) != 0) {
-                b.append(" (").append(expressions[i]).append(")");
-            }
-            else {
-                b.append(" ").append(variables[i]);
-            }
-    }
-
-    @Override
-    public void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w) {
-        relation.generateIterate(planContext, w, location, boundMask, variables, expressions);
-    }   
-}
+package org.simantics.scl.compiler.elaboration.chr.plan;
+
+import org.simantics.scl.compiler.compilation.CompilationContext;
+import org.simantics.scl.compiler.elaboration.expressions.Expression;
+import org.simantics.scl.compiler.elaboration.expressions.Variable;
+import org.simantics.scl.compiler.elaboration.relations.SCLRelation;
+import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
+
+public class IterateRelationOp extends PlanOp {
+    
+    public SCLRelation relation;
+    public Variable[] variables;
+    public Expression[] expressions;
+    public Expression[] typeConstraintEvidenceParameters;
+    public int boundMask;
+    
+    public IterateRelationOp(long location, SCLRelation relation, Variable[] variables, Expression[] expressions,
+            Expression[] typeConstraintEvidenceParameters, int boundMask) {
+        super(location);
+        this.relation = relation;
+        this.variables = variables;
+        this.expressions = expressions;
+        this.typeConstraintEvidenceParameters = typeConstraintEvidenceParameters;
+        this.boundMask = boundMask;
+        
+    }
+
+    @Override
+    public void toString(StringBuilder b) {
+        b.append("ITERATE ").append(relation);
+        for(int i=0;i<expressions.length;++i)
+            if((boundMask & (1 << i)) != 0) {
+                b.append(" (").append(expressions[i]).append(")");
+            }
+            else {
+                b.append(" ").append(variables[i]);
+            }
+    }
+
+    @Override
+    public void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w) {
+        relation.generateIterate(planContext, w, location, boundMask, variables, expressions, typeConstraintEvidenceParameters);
+    }   
+}