From dd1a99f593c81f3afddabc728bc66807568b54bd Mon Sep 17 00:00:00 2001 From: Jonas Klamroth Date: Wed, 21 Feb 2024 16:33:46 +0100 Subject: [PATCH] fixes #1533 --- .../de/uka/ilkd/key/gui/actions/ShowProofStatistics.java | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/actions/ShowProofStatistics.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/actions/ShowProofStatistics.java index f1440492934..4ffd981ff96 100644 --- a/key.ui/src/main/java/de/uka/ilkd/key/gui/actions/ShowProofStatistics.java +++ b/key.ui/src/main/java/de/uka/ilkd/key/gui/actions/ShowProofStatistics.java @@ -37,6 +37,7 @@ import org.slf4j.LoggerFactory; public class ShowProofStatistics extends MainWindowAction { + private static final String CSV_SEPERATOR = ";"; private static final Logger LOGGER = LoggerFactory.getLogger(ShowProofStatistics.class); private static final long serialVersionUID = -8814798230037775905L; @@ -82,7 +83,7 @@ public void actionPerformed(ActionEvent e) { public static String getCSVStatisticsMessage(Proof proof) { final int openGoals = proof.openGoals().size(); StringBuilder stats = new StringBuilder(); - stats.append("open goals,").append(openGoals).append("\n"); + stats.append("open goals" + CSV_SEPERATOR).append(openGoals).append("\n"); final Statistics s = proof.getStatistics(); @@ -90,7 +91,7 @@ public static String getCSVStatisticsMessage(Proof proof) { if ("".equals(x.second)) { stats.append(x.first).append("\n"); } else { - stats.append(x.first).append(",").append(x.second).append("\n"); + stats.append(x.first).append(CSV_SEPERATOR).append(x.second).append("\n"); } } @@ -107,7 +108,8 @@ public static String getCSVStatisticsMessage(Proof proof) { sortedEntries.addAll(s.getInteractiveAppsDetails().entrySet()); for (Map.Entry entry : sortedEntries) { - stats.append("interactive,").append(entry.getKey()).append(",") + stats.append("interactive" + CSV_SEPERATOR).append(entry.getKey()) + .append(CSV_SEPERATOR) .append(entry.getValue()).append("\n"); } }