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%2FBindStatement.java;h=654ff1093f1fb6192425a2d0b0d3b296dcea1e39;hb=fad328317fabf79304a44cbf59068025c650a549;hp=b0f3116b32de85cf5533c795ca9edab28a03317d;hpb=593a8f75d9dbc363234002dc500c346afbeba040;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/BindStatement.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/BindStatement.java old mode 100755 new mode 100644 index b0f3116b3..654ff1093 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/BindStatement.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/BindStatement.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.EBind; -import org.simantics.scl.compiler.elaboration.expressions.Expression; -import org.simantics.scl.compiler.errors.Locations; - -public class BindStatement extends Statement { - public Expression pattern; - public Expression value; - - public BindStatement(Expression pattern, Expression value) { - this.pattern = pattern; - this.value = value; - } - - @Override - public Expression toExpression(EnvironmentalContext context, boolean monadic, Expression in) { - //if(!monadic) - // context.getErrorLog().log(location, "Bind statements are allowed only in mdo-blocks."); - return new EBind(location, pattern, value, in); - } - - @Override - public void setLocationDeep(long loc) { - if(location == Locations.NO_LOCATION) { - location = loc; - pattern.setLocationDeep(loc); - value.setLocationDeep(loc); - } - } - - @Override - public void resolvePattern(TranslationContext context) { - pattern = pattern.resolveAsPattern(context); - } - - @Override - public boolean mayBeRecursive() { - return false; - } - - @Override - public Statement replace(ReplaceContext context) { - return new BindStatement(pattern.replaceInPattern(context), value.replace(context)); - } - - @Override - public void accept(StatementVisitor visitor) { - visitor.visit(this); - } - - @Override - public StatementGroup getStatementGroup() { - return null; - } -} +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.EBind; +import org.simantics.scl.compiler.elaboration.expressions.Expression; +import org.simantics.scl.compiler.errors.Locations; + +public class BindStatement extends Statement { + public Expression pattern; + public Expression value; + + public BindStatement(Expression pattern, Expression value) { + this.pattern = pattern; + this.value = value; + } + + @Override + public Expression toExpression(EnvironmentalContext context, boolean monadic, Expression in) { + //if(!monadic) + // context.getErrorLog().log(location, "Bind statements are allowed only in mdo-blocks."); + return new EBind(location, pattern, value, in); + } + + @Override + public void setLocationDeep(long loc) { + if(location == Locations.NO_LOCATION) { + location = loc; + pattern.setLocationDeep(loc); + value.setLocationDeep(loc); + } + } + + @Override + public void resolvePattern(TranslationContext context) { + pattern = pattern.resolveAsPattern(context); + } + + @Override + public boolean mayBeRecursive() { + return false; + } + + @Override + public Statement replace(ReplaceContext context) { + return new BindStatement(pattern.replaceInPattern(context), value.replace(context)); + } + + @Override + public void accept(StatementVisitor visitor) { + visitor.visit(this); + } + + @Override + public StatementGroup getStatementGroup() { + return null; + } +}