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%2Fprinting%2FExpressionToStringVisitor.java;h=122548fac399e6868d97c00fabebcbb5ad333847;hp=b1a05d70e2e42a6541d180bfe38d085d8dc9d319;hb=e515d1fda563f0fa3b8b71f9099696cf49a06d25;hpb=11eb20e8c57df9fc846ff200112fafb4b8683a05 diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/printing/ExpressionToStringVisitor.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/printing/ExpressionToStringVisitor.java index b1a05d70e..122548fac 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/printing/ExpressionToStringVisitor.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/printing/ExpressionToStringVisitor.java @@ -73,6 +73,8 @@ import org.simantics.scl.compiler.elaboration.rules.TransformationRule; public class ExpressionToStringVisitor implements ExpressionVisitor, QueryVisitor { + public static final boolean SHOW_EFFECTS = false; + StringBuilder b = new StringBuilder(); int indentation; @@ -124,6 +126,8 @@ public class ExpressionToStringVisitor implements ExpressionVisitor, QueryVisito @Override public void visit(EApply expression) { showPar(expression.getFunction()); + if(SHOW_EFFECTS) + b.append(" {" + expression.effect + "}"); for(Expression parameter : expression.getParameters()) { b.append(' '); showPar(parameter); @@ -227,6 +231,8 @@ public class ExpressionToStringVisitor implements ExpressionVisitor, QueryVisito showPar(pat); b.append(' '); } + if(SHOW_EFFECTS) + b.append("{" + expression.effect + "} "); b.append("-> "); ++indentation; case_.value.accept(this); @@ -346,6 +352,8 @@ public class ExpressionToStringVisitor implements ExpressionVisitor, QueryVisito b.append(' '); show(expression.getParameter()); } + if(SHOW_EFFECTS) + b.append(" {" + expression.effect + "}"); b.append(" -> "); expression.getValue().accept(this); }