# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1347623449 -7200
# Node ID 4f7b8550daf8a7864e0bfefc6fa7c51fae4b1e4b
# Parent  07cd99f9dafb943da4a81826b1034c015999ec1b# Parent  1e1c85d9ca7ebd5df67704555eabac811653182a
Merge

diff -r 1e1c85d9ca7e -r 4f7b8550daf8 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BinaryGraphPrinter.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BinaryGraphPrinter.java	Fri Sep 14 13:32:04 2012 +0200
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BinaryGraphPrinter.java	Fri Sep 14 13:50:49 2012 +0200
@@ -241,6 +241,13 @@
         }
     }
 
+    private static String getClassName(Class<?> klass) {
+        if (!klass.isArray()) {
+            return klass.getName();
+        }
+        return getClassName(klass.getComponentType()) + "[]";
+    }
+
     private void addPoolEntry(Object object) throws IOException {
         int index = constantPool.add(object);
         writeByte(POOL_NEW);
@@ -248,7 +255,7 @@
         if (object instanceof Class<?>) {
             Class<?> klass = (Class< ? >) object;
             writeByte(POOL_CLASS);
-            writeString(klass.getName());
+            writeString(getClassName(klass));
             if (klass.isEnum()) {
                 writeByte(ENUM_KLASS);
                 Object[] enumConstants = klass.getEnumConstants();