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%2FRuleStatement.java;h=c704497fdcedcf8b12f139ada9d0a8b18915b00c;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=c6f3b5c4f81d70158319d91800c3b68148156f5f;hpb=cb5fc8d606d8b322563e9345c441eecfa7f01753;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/RuleStatement.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/RuleStatement.java index c6f3b5c4f..c704497fd 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/RuleStatement.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/RuleStatement.java @@ -1,59 +1,59 @@ -package org.simantics.scl.compiler.elaboration.expressions.block; - -import org.simantics.scl.compiler.elaboration.contexts.EnvironmentalContext; -import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext; -import org.simantics.scl.compiler.elaboration.contexts.TranslationContext; -import org.simantics.scl.compiler.elaboration.expressions.Expression; -import org.simantics.scl.compiler.elaboration.query.Query; -import org.simantics.scl.compiler.errors.Locations; - -public class RuleStatement extends Statement { - - public Expression head; - public Query body; - - public RuleStatement(Expression head, Query body) { - this.head = head; - this.body = body; - } - - @Override - public Expression toExpression(EnvironmentalContext context, boolean monadic, - Expression in) { - throw new UnsupportedOperationException(); - } - - @Override - public void setLocationDeep(long loc) { - if(location == Locations.NO_LOCATION) { - location = loc; - head.setLocationDeep(loc); - body.setLocationDeep(loc); - } - } - - @Override - public void resolvePattern(TranslationContext context) { - head = head.resolveAsPattern(context); - } - - @Override - public boolean mayBeRecursive() { - return true; - } - - @Override - public Statement replace(ReplaceContext context) { - return new RuleStatement(head.replaceInPattern(context), body.replace(context)); - } - - @Override - public void accept(StatementVisitor visitor) { - visitor.visit(this); - } - - @Override - public StatementGroup getStatementGroup() { - return StatementGroup.Rule; - } -} +package org.simantics.scl.compiler.elaboration.expressions.block; + +import org.simantics.scl.compiler.elaboration.contexts.EnvironmentalContext; +import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext; +import org.simantics.scl.compiler.elaboration.contexts.TranslationContext; +import org.simantics.scl.compiler.elaboration.expressions.Expression; +import org.simantics.scl.compiler.elaboration.query.Query; +import org.simantics.scl.compiler.errors.Locations; + +public class RuleStatement extends Statement { + + public Expression head; + public Query body; + + public RuleStatement(Expression head, Query body) { + this.head = head; + this.body = body; + } + + @Override + public Expression toExpression(EnvironmentalContext context, boolean monadic, + Expression in) { + throw new UnsupportedOperationException(); + } + + @Override + public void setLocationDeep(long loc) { + if(location == Locations.NO_LOCATION) { + location = loc; + head.setLocationDeep(loc); + body.setLocationDeep(loc); + } + } + + @Override + public void resolvePattern(TranslationContext context) { + head = head.resolveAsPattern(context); + } + + @Override + public boolean mayBeRecursive() { + return true; + } + + @Override + public Statement replace(ReplaceContext context) { + return new RuleStatement(head.replaceInPattern(context), body.replace(context)); + } + + @Override + public void accept(StatementVisitor visitor) { + visitor.visit(this); + } + + @Override + public StatementGroup getStatementGroup() { + return StatementGroup.Rule; + } +}