From 795a2b49edf1c435634c49a783a14eb3c1fe7f0d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 3 Jul 2015 08:00:46 +0000 Subject: [PATCH] Proper escaping of double quotes in exported CSV files git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10163 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismCL.java | 2 +- prism/src/prism/ResultsExporter.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 0c95e669..b3b204c7 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -457,7 +457,7 @@ public class PrismCL implements PrismModelListener exporter.setProperty(propertiesToCheck.get(i)); } else { if (exportResultsFormat.equalsIgnoreCase("csv")) { - tmpLog.print( "\"" + propertiesToCheck.get(i).toString().replaceAll("\"", "\\\\\"") + "\"\n"); + tmpLog.print( "\"" + propertiesToCheck.get(i).toString().replaceAll("\"", "\"\"") + "\"\n"); } else { tmpLog.print(propertiesToCheck.get(i) + ":\n"); } diff --git a/prism/src/prism/ResultsExporter.java b/prism/src/prism/ResultsExporter.java index 6c8f39fe..79cf1b68 100644 --- a/prism/src/prism/ResultsExporter.java +++ b/prism/src/prism/ResultsExporter.java @@ -205,7 +205,7 @@ public class ResultsExporter exportString += property.toString() + ":\n"; break; case CSV: - exportString += "\"" + property.toString().replaceAll("\"", "\\\\\"") + "\"\n"; + exportString += "\"" + property.toString().replaceAll("\"", "\"\"") + "\"\n"; break; case COMMENT: // None - it's printed at the the end in this case