# HG changeset patch
# User Christian Wimmer <Christian.Wimmer@Oracle.com>
# Date 1330708076 28800
# Node ID 490b2c9ec9f67f4b65b45b09cd4bd8bd327b446a
# Parent  f8e3ec43b514dd8cc1d50b215e791b798d3d873d
NodeList.toString should not print null elements at the end of the array

diff -r f8e3ec43b514 -r 490b2c9ec9f6 graal/com.oracle.max.graal.graph/src/com/oracle/max/graal/graph/NodeList.java
--- a/graal/com.oracle.max.graal.graph/src/com/oracle/max/graal/graph/NodeList.java	Fri Mar 02 09:07:14 2012 -0800
+++ b/graal/com.oracle.max.graal.graph/src/com/oracle/max/graal/graph/NodeList.java	Fri Mar 02 09:07:56 2012 -0800
@@ -363,6 +363,15 @@
 
     @Override
     public String toString() {
-        return Arrays.toString(nodes);
+        StringBuilder sb = new StringBuilder();
+        sb.append('[');
+        for (int i = 0; i < size; i++) {
+            if (i != 0) {
+                sb.append(", ");
+            }
+            sb.append(nodes[i]);
+        }
+        sb.append(']');
+        return sb.toString();
     }
 }