1 package org.simantics.scl.compiler.elaboration.chr.plan;
3 import org.simantics.scl.compiler.compilation.CompilationContext;
4 import org.simantics.scl.compiler.elaboration.expressions.Expression;
5 import org.simantics.scl.compiler.elaboration.expressions.Variable;
6 import org.simantics.scl.compiler.elaboration.relations.SCLRelation;
7 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
9 public class IterateRelationOp extends PlanOp {
11 public SCLRelation relation;
12 public Variable[] variables;
13 public Expression[] expressions;
14 public Expression[] typeConstraintEvidenceParameters;
17 public IterateRelationOp(long location, SCLRelation relation, Variable[] variables, Expression[] expressions,
18 Expression[] typeConstraintEvidenceParameters, int boundMask) {
20 this.relation = relation;
21 this.variables = variables;
22 this.expressions = expressions;
23 this.typeConstraintEvidenceParameters = typeConstraintEvidenceParameters;
24 this.boundMask = boundMask;
29 public void toString(StringBuilder b) {
30 b.append("ITERATE ").append(relation);
31 for(int i=0;i<expressions.length;++i)
32 if((boundMask & (1 << i)) != 0) {
33 b.append(" (").append(expressions[i]).append(")");
36 b.append(" ").append(variables[i]);
41 public void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w) {
42 relation.generateIterate(planContext, w, location, boundMask, variables, expressions, typeConstraintEvidenceParameters);