From b9ce05f2c7f5eb52fb295312df1f59edea9040d8 Mon Sep 17 00:00:00 2001 From: Sascha Wunderlich Date: Thu, 9 Jan 2020 14:21:37 +0100 Subject: [PATCH] accumulation: properly print ExpressionAccumulation --- prism/src/parser/ast/ExpressionAccumulation.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/src/parser/ast/ExpressionAccumulation.java b/prism/src/parser/ast/ExpressionAccumulation.java index 521cc536..dda0abc8 100644 --- a/prism/src/parser/ast/ExpressionAccumulation.java +++ b/prism/src/parser/ast/ExpressionAccumulation.java @@ -145,15 +145,15 @@ public class ExpressionAccumulation extends Expression ret += symbol.toString(); - if ( hasRegularExpression() ) { ret += "( Reg:" + regexp.toString() + ")"; } - else if ( hasBoundExpression() ) { ret += "(" + bound.toString() + ")"; } + if ( hasRegularExpression() ) { ret += "{ Reg:" + regexp.toString() + "}"; } + else if ( hasBoundExpression() ) { ret += "{" + bound.toString() + "}"; } else throw new RuntimeException("Cannot stringify AccumulationExpression without fragment bounds."); - ret += "(" + constraint.toString() + ")"; + ret += "{" + constraint.toString() + "}"; if ( hasRecordSet() ) { String fireOnString = recordSet.stream().map(f -> f.toString()).collect(Collectors.joining(",")); - ret += "(" + fireOnString + ")"; + ret += "{" + fireOnString + "}"; } if(operand2 != null) { ret += " " + operand2.toString(); }