bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/IterateRelationOp.java

   1 package org.simantics.scl.compiler.elaboration.chr.plan;
   2
   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;
   8
   9 public class IterateRelationOp extends PlanOp {
  10
  11     public SCLRelation relation;
  12     public Variable[] variables;
  13     public Expression[] expressions;
  14     public Expression[] typeConstraintEvidenceParameters;
  15     public int boundMask;
  16
  17     public IterateRelationOp(long location, SCLRelation relation, Variable[] variables, Expression[] expressions,
  18             Expression[] typeConstraintEvidenceParameters, int boundMask) {
  19         super(location);
  20         this.relation = relation;
  21         this.variables = variables;
  22         this.expressions = expressions;
  23         this.typeConstraintEvidenceParameters = typeConstraintEvidenceParameters;
  24         this.boundMask = boundMask;
  25
  26     }
  27
  28     @Override
  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(")");
  34             }
  35             else {
  36                 b.append(" ").append(variables[i]);
  37             }
  38     }
  39
  40     @Override
  41     public void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w) {
  42         relation.generateIterate(planContext, w, location, boundMask, variables, expressions, typeConstraintEvidenceParameters);
  43     }
  44 }