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

   1 package org.simantics.scl.compiler.elaboration.chr.plan;\r
   2 \r
   3 import java.util.ArrayList;\r
   4 \r
   5 import org.simantics.scl.compiler.compilation.CompilationContext;\r
   6 import org.simantics.scl.compiler.elaboration.expressions.Expression;\r
   7 import org.simantics.scl.compiler.internal.codegen.references.IVal;\r
   8 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;\r
   9 import org.simantics.scl.compiler.internal.elaboration.matching2.PatternMatchingCompiler2;\r
  10 import org.simantics.scl.compiler.internal.elaboration.matching2.Row2;\r
  11 \r
  12 public class MatchOp extends PlanOp {\r
  13     public Expression scrutinee;\r
  14     public Expression pattern;\r
  15     \r
  16     public MatchOp(long location, Expression scrutinee, Expression pattern) {\r
  17         super(location);\r
  18         this.scrutinee = scrutinee;\r
  19         this.pattern = pattern;\r
  20     }\r
  21     \r
  22     @Override\r
  23     public void toString(StringBuilder b) {\r
  24         b.append("MATCH ").append(pattern).append(" = ").append(scrutinee);\r
  25     }\r
  26 \r
  27     @Override\r
  28     public void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w) {\r
  29         CodeWriter body = w.createBlock();\r
  30         CodeWriter end = w.createBlock();\r
  31         \r
  32         IVal[] scrutineeVals = new IVal[1];\r
  33         scrutineeVals[0] = scrutinee.toVal(context.environment, w);\r
  34 \r
  35         ArrayList<Row2> rows = new ArrayList<Row2>(1);\r
  36         rows.add(new Row2(new Expression[] {pattern}, body.getContinuation()));\r
  37 \r
  38         PatternMatchingCompiler2.split(w, context.environment, scrutineeVals, end.getContinuation(), rows);\r
  39         \r
  40         planContext.nextOp(body);\r
  41         if(body.isUnfinished())\r
  42             body.jump(end.getContinuation());\r
  43         \r
  44         w.continueAs(end);\r
  45     }\r
  46 }\r