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%2FGuardStatement.java;h=557dbbc882b66bd6dccf8bfa6bc0ca79395a30db;hb=fad328317fabf79304a44cbf59068025c650a549;hp=4dda0d307c9f67e7d7b8ca1ce75163c3730ecc49;hpb=ca40974f87c9db00eb77aaf1acc1e9937b37261b;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/GuardStatement.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/GuardStatement.java old mode 100755 new mode 100644 index 4dda0d307..557dbbc88 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/GuardStatement.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/GuardStatement.java @@ -1,61 +1,61 @@ -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.ESimpleLet; -import org.simantics.scl.compiler.elaboration.expressions.EVariable; -import org.simantics.scl.compiler.elaboration.expressions.Expression; -import org.simantics.scl.compiler.elaboration.expressions.Variable; -import org.simantics.scl.compiler.errors.Locations; - -public class GuardStatement extends Statement { - public Expression value; - - public GuardStatement(Expression value) { - this.value = value; - } - - @Override - public Expression toExpression(EnvironmentalContext context, boolean monadic, Expression in) { - if(monadic) { - Variable var = new Variable("_"); - return new EBind(location, new EVariable(location, var), value, in); - } - else - return new ESimpleLet(location, null, value, in); - } - - @Override - public void setLocationDeep(long loc) { - if(location == Locations.NO_LOCATION) { - location = loc; - value.setLocationDeep(loc); - } - } - - @Override - public void resolvePattern(TranslationContext context) { - } - - @Override - public boolean mayBeRecursive() { - return false; - } - - @Override - public Statement replace(ReplaceContext context) { - return new GuardStatement(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.ESimpleLet; +import org.simantics.scl.compiler.elaboration.expressions.EVariable; +import org.simantics.scl.compiler.elaboration.expressions.Expression; +import org.simantics.scl.compiler.elaboration.expressions.Variable; +import org.simantics.scl.compiler.errors.Locations; + +public class GuardStatement extends Statement { + public Expression value; + + public GuardStatement(Expression value) { + this.value = value; + } + + @Override + public Expression toExpression(EnvironmentalContext context, boolean monadic, Expression in) { + if(monadic) { + Variable var = new Variable("_"); + return new EBind(location, new EVariable(location, var), value, in); + } + else + return new ESimpleLet(location, null, value, in); + } + + @Override + public void setLocationDeep(long loc) { + if(location == Locations.NO_LOCATION) { + location = loc; + value.setLocationDeep(loc); + } + } + + @Override + public void resolvePattern(TranslationContext context) { + } + + @Override + public boolean mayBeRecursive() { + return false; + } + + @Override + public Statement replace(ReplaceContext context) { + return new GuardStatement(value.replace(context)); + } + + @Override + public void accept(StatementVisitor visitor) { + visitor.visit(this); + } + + @Override + public StatementGroup getStatementGroup() { + return null; + } +}