X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fexpressions%2Fblock%2FCHRStatement.java;h=dbfdf18b69e8b71bf4d7d6b4ef55b1bb5268b8d0;hb=HEAD;hp=d58f9c360e79c072eeb2723b8216466913a4c8b5;hpb=fad328317fabf79304a44cbf59068025c650a549;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/CHRStatement.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/CHRStatement.java index d58f9c360..dbfdf18b6 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/CHRStatement.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/CHRStatement.java @@ -1,35 +1,30 @@ package org.simantics.scl.compiler.elaboration.expressions.block; +import org.simantics.scl.compiler.elaboration.chr.ast.CHRAstQuery; import org.simantics.scl.compiler.elaboration.contexts.EnvironmentalContext; import org.simantics.scl.compiler.elaboration.contexts.TranslationContext; import org.simantics.scl.compiler.elaboration.expressions.Expression; -import org.simantics.scl.compiler.elaboration.expressions.list.ListQualifier; import org.simantics.scl.compiler.errors.Locations; public class CHRStatement extends Statement { - public ListQualifier[] head; - public ListQualifier[] body; + public CHRAstQuery head; + public CHRAstQuery body; - public CHRStatement(ListQualifier[] head, ListQualifier[] body) { + public CHRStatement(CHRAstQuery head, CHRAstQuery body) { this.head = head; this.body = body; } @Override - public Expression toExpression(EnvironmentalContext context, boolean monadic, Expression in) { + public Expression toExpression(EnvironmentalContext context, BlockType blockType, Expression in) { throw new UnsupportedOperationException(); } @Override public void setLocationDeep(long loc) { - if(location == Locations.NO_LOCATION) { + if(location == Locations.NO_LOCATION) location = loc; - for(ListQualifier lq : head) - lq.setLocationDeep(loc); - for(ListQualifier lq : body) - lq.setLocationDeep(loc); - } } @Override