# HG changeset patch
# User Christian Haeubl <haeubl@ssw.jku.at>
# Date 1368804910 -7200
# Node ID 51545c49083a46688c9ae0fe9157a4cf74c709b9
# Parent  4a8b9117327a75cf18852aaf621bc1adc526eda7
Minor refactoring.

diff -r 4a8b9117327a -r 51545c49083a graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/MetaUtil.java
--- a/graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/MetaUtil.java	Fri May 17 17:34:48 2013 +0200
+++ b/graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/MetaUtil.java	Fri May 17 17:35:10 2013 +0200
@@ -570,19 +570,19 @@
         return s.substring(0, s.length() - sep.length());
     }
 
-    private static void appendProfile(StringBuilder buf, AbstractJavaProfile profile, int bci, String kind, String sep) {
+    private static void appendProfile(StringBuilder buf, AbstractJavaProfile profile, int bci, String type, String sep) {
         if (profile != null) {
             AbstractProfiledItem[] pitems = profile.getItems();
             if (pitems != null) {
-                buf.append(String.format("%s@%d:", kind, bci));
+                buf.append(String.format("%s@%d:", type, bci));
                 for (int j = 0; j < pitems.length; j++) {
                     AbstractProfiledItem pitem = pitems[j];
                     buf.append(String.format(" %.6f (%s)%s", pitem.getProbability(), pitem.getItem(), sep));
                 }
                 if (profile.getNotRecordedProbability() != 0) {
-                    buf.append(String.format(" %.6f <other %s>%s", profile.getNotRecordedProbability(), kind, sep));
+                    buf.append(String.format(" %.6f <other %s>%s", profile.getNotRecordedProbability(), type, sep));
                 } else {
-                    buf.append(String.format(" <no other %s>%s", kind, sep));
+                    buf.append(String.format(" <no other %s>%s", type, sep));
                 }
             }
         }