-package org.simantics.scl.compiler.elaboration.chr.plan;\r
-\r
-import org.simantics.scl.compiler.compilation.CompilationContext;\r
-import org.simantics.scl.compiler.elaboration.expressions.Expression;\r
-import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;\r
-\r
-public class CheckOp extends PlanOp {\r
- public Expression condition;\r
-\r
- public CheckOp(long location, Expression condition) {\r
- super(location);\r
- this.condition = condition;\r
- }\r
- \r
- @Override\r
- public void toString(StringBuilder b) {\r
- b.append("CHECK ").append(condition);\r
- }\r
-\r
- @Override\r
- public void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w) {\r
- planContext.check(location, w, condition.toVal(context.environment, w));\r
- }\r
-}\r
+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.internal.codegen.writer.CodeWriter;
+
+public class CheckOp extends PlanOp {
+ public Expression condition;
+
+ public CheckOp(long location, Expression condition) {
+ super(location);
+ this.condition = condition;
+ }
+
+ @Override
+ public void toString(StringBuilder b) {
+ b.append("CHECK ").append(condition);
+ }
+
+ @Override
+ public void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w) {
+ planContext.check(location, w, condition.toVal(context.environment, w));
+ }
+}