[jboss-svn-commits] JBL Code SVN: r17779 - labs/jbossrules/trunk/drools-solver/drools-solver-core/src/main/java/org/drools/solver/benchmark.

[jboss-svn-commits at lists.jboss.org]

Author: ge0ffrey
Date: 2008-01-13 05:47:02 -0500 (Sun, 13 Jan 2008)
New Revision: 17779

Modified:
   labs/jbossrules/trunk/drools-solver/drools-solver-core/src/main/java/org/drools/solver/benchmark/SolverBenchmarkSuite.java
Log:
readable file name score

Modified: labs/jbossrules/trunk/drools-solver/drools-solver-core/src/main/java/org/drools/solver/benchmark/SolverBenchmarkSuite.java
===================================================================
--- labs/jbossrules/trunk/drools-solver/drools-solver-core/src/main/java/org/drools/solver/benchmark/SolverBenchmarkSuite.java	2008-01-13 10:28:00 UTC (rev 17778)
+++ labs/jbossrules/trunk/drools-solver/drools-solver-core/src/main/java/org/drools/solver/benchmark/SolverBenchmarkSuite.java	2008-01-13 10:47:02 UTC (rev 17779)
@@ -8,6 +8,7 @@
 import java.io.OutputStreamWriter;
 import java.io.Reader;
 import java.io.Writer;
+import java.text.NumberFormat;
 import java.util.Collections;
 import java.util.Comparator;
 import java.util.List;
@@ -27,6 +28,8 @@
 @XStreamAlias("solverBenchmarkSuite")
 public class SolverBenchmarkSuite {
 
+    public static final NumberFormat NUMBER_FORMAT = NumberFormat.getInstance();
+
     private SolvedSolutionVerbosity solvedSolutionVerbosity = null;
     private File solvedSolutionFilesDirectory = null;
     private boolean sortSolverBenchmarks = true;
@@ -149,8 +152,9 @@
         Writer writer = null;
         try {
             String baseName = FilenameUtils.getBaseName(result.getUnsolvedSolutionFile().getName());
-            solvedSolutionFile = new File(solvedSolutionFilesDirectory,
-                    baseName + "_score" + result.getScore() + "_time" + result.getTimeMillesSpend() + ".xml");
+            solvedSolutionFile = new File(solvedSolutionFilesDirectory, baseName
+                    + "_score" + NUMBER_FORMAT.format(result.getScore())
+                    + "_time" + NUMBER_FORMAT.format(result.getTimeMillesSpend()) + ".xml");
             writer = new OutputStreamWriter(new FileOutputStream(solvedSolutionFile), "utf-8");
             xStream.toXML(solvedSolution, writer);
         } catch (IOException e) {