X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fexpressions%2FGuardedExpressionGroup.java;h=992a9939e89de06706fc49aaa7803f37b6d94def;hp=890d11f8c7a2dc084611786332159f4a3ec48dd5;hb=747231cca0974ca9ed5f78caa6517ee9dcb8e4fc;hpb=cb5fc8d606d8b322563e9345c441eecfa7f01753 diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/GuardedExpressionGroup.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/GuardedExpressionGroup.java old mode 100755 new mode 100644 index 890d11f8c..992a9939e --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/GuardedExpressionGroup.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/GuardedExpressionGroup.java @@ -1,16 +1,15 @@ package org.simantics.scl.compiler.elaboration.expressions; +import org.simantics.scl.compiler.compilation.CompilationContext; import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext; import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext; import org.simantics.scl.compiler.elaboration.contexts.TranslationContext; import org.simantics.scl.compiler.elaboration.contexts.TypingContext; -import org.simantics.scl.compiler.environment.Environment; import org.simantics.scl.compiler.errors.Locations; import org.simantics.scl.compiler.internal.codegen.continuations.ICont; import org.simantics.scl.compiler.internal.codegen.references.IVal; import org.simantics.scl.compiler.internal.codegen.ssa.exits.Throw; import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter; -import org.simantics.scl.compiler.internal.elaboration.utils.ExpressionDecorator; import org.simantics.scl.compiler.types.Type; import org.simantics.scl.compiler.types.Types; import org.simantics.scl.compiler.types.exceptions.MatchException; @@ -52,11 +51,11 @@ public class GuardedExpressionGroup extends Expression { } @Override - public IVal toVal(Environment env, CodeWriter w) { + public IVal toVal(CompilationContext context, CodeWriter w) { CodeWriter success = w.createBlock(getType()); IVal result = success.getParameters()[0]; CodeWriter failure = w.createBlock(); - compile(env, w, success.getContinuation(), failure.getContinuation()); + compile(context, w, success.getContinuation(), failure.getContinuation()); w.continueAs(success); failure.throw_(location, Throw.MatchingException, "Matching failure at: " + toString()); return result; @@ -102,7 +101,7 @@ public class GuardedExpressionGroup extends Expression { return this; } - public void compile(Environment env, CodeWriter firstWriter, ICont success, + public void compile(CompilationContext context, CodeWriter firstWriter, ICont success, ICont lastFailure) { // Create all code blocks CodeWriter[] writers = new CodeWriter[expressions.length]; @@ -122,11 +121,11 @@ public class GuardedExpressionGroup extends Expression { for(Expression guard : expressions[i].guards) { CodeWriter nextW = w.createBlock(); - w.if_(guard.toVal(env, w), nextW.getContinuation(), failure); + w.if_(guard.toVal(context, w), nextW.getContinuation(), failure); w = nextW; } - w.jump(success, expressions[i].value.toVal(env, w)); + w.jump(success, expressions[i].value.toVal(context, w)); } } @@ -138,13 +137,6 @@ public class GuardedExpressionGroup extends Expression { return new GuardedExpressionGroup(newExpressions); } - @Override - public Expression decorate(ExpressionDecorator decorator) { - for(GuardedExpression expression : expressions) - expression.decorate(decorator); - return decorator.decorate(this); - } - @Override public void collectEffects(THashSet effects) { for(GuardedExpression ge : expressions) {