From 4f371d0a3e5184f91e61db3fb92ff9bd4a3eca5b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 30 Jun 2015 14:25:47 +0000 Subject: [PATCH] Make sure doubles are printed/exported in UK locale (. not , for separator). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10129 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismUtils.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/PrismUtils.java b/prism/src/prism/PrismUtils.java index a29e7ecc..ea3d9993 100644 --- a/prism/src/prism/PrismUtils.java +++ b/prism/src/prism/PrismUtils.java @@ -27,6 +27,7 @@ package prism; import java.text.DecimalFormat; +import java.text.DecimalFormatSymbols; import java.util.List; import java.util.Locale; import java.util.regex.Matcher; @@ -179,7 +180,7 @@ public class PrismUtils return formatterPercent1dp.format(frac); } - private static DecimalFormat formatterPercent1dp = new DecimalFormat("#0.0%"); + private static DecimalFormat formatterPercent1dp = new DecimalFormat("#0.0%", DecimalFormatSymbols.getInstance(Locale.UK)); /** * Format a double to 2 decimal places. @@ -189,7 +190,7 @@ public class PrismUtils return formatterDouble2dp.format(d); } - private static DecimalFormat formatterDouble2dp = new DecimalFormat("#0.00"); + private static DecimalFormat formatterDouble2dp = new DecimalFormat("#0.00", DecimalFormatSymbols.getInstance(Locale.UK)); /** * Format a double, as would be done by printf's %.12g