# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1433498329 -7200
# Node ID d62a384b2415cfd98e233b66761cc37376505dd2
# Parent  b54b13157d4b175373145d0ace5c6a583cb94949
improved formatting of snippet counters

diff -r b54b13157d4b -r d62a384b2415 graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/SnippetCounter.java
--- a/graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/SnippetCounter.java	Fri Jun 05 10:50:00 2015 +0200
+++ b/graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/SnippetCounter.java	Fri Jun 05 11:58:49 2015 +0200
@@ -58,10 +58,13 @@
 
             StringBuilder buf = new StringBuilder(String.format("Counters: %s%n", name));
 
+            String formatString = "  %" + maxNameLen + "s: %6.2f%%%" + (String.valueOf(total).length() + 2) + "d  // %s%n";
             for (SnippetCounter c : counters) {
                 double percent = total == 0D ? 0D : ((double) (c.value * 100)) / total;
-                buf.append(String.format("  %" + maxNameLen + "s: %5.2f%%%10d  // %s%n", c.name, percent, c.value, c.description));
+                buf.append(String.format(formatString, c.name, percent, c.value, c.description));
             }
+            buf.append(String.format(formatString, "TOTAL", 100.0D, total, ""));
+
             return buf.toString();
         }
     }