bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/ClaimOp.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.chr.relations.CHRConstraint;
   5 import org.simantics.scl.compiler.elaboration.expressions.Expression;
   6 import org.simantics.scl.compiler.internal.codegen.references.IVal;
   7 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
   8
   9 public class ClaimOp extends PlanOp {
  10
  11     CHRConstraint constraint;
  12     Expression[] parameters;
  13
  14     public ClaimOp(long location, CHRConstraint constraint, Expression[] parameters) {
  15         super(location);
  16         this.constraint = constraint;
  17         this.parameters = parameters;
  18     }
  19
  20     @Override
  21     public void toString(StringBuilder b) {
  22         b.append("CLAIM   ").append(constraint);
  23         for (Expression parameter : parameters)
  24             b.append(" (").append(parameter).append(')');
  25     }
  26
  27     @Override
  28     public void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w) {
  29         IVal[] parameterVars = new IVal[parameters.length+1];
  30         parameterVars[0] = planContext.generateNewId(location, w);
  31         for(int i=0;i<parameters.length;++i)
  32             parameterVars[i+1] = parameters[i].toVal(context.environment, w);
  33         IVal newFact = w.apply(location, constraint.constructor, parameterVars);
  34         w.apply(location, constraint.addProcedure, planContext.getStoreVar(constraint), planContext.contextVar, newFact);
  35         planContext.nextOp(w);
  36     }
  37
  38 }