# HG changeset patch
# User Gilles Duboscq <gilles.m.duboscq@gmail.com>
# Date 1323701876 -3600
# Node ID 6a2ef9284a284caa8d4bc66dd4e32c4aca4a691a
# Parent  5711f2ab6c7c245f77092910dff81c6ad114c4f9
Make GraalEdgeColorFilter more robust

diff -r 5711f2ab6c7c -r 6a2ef9284a28 src/share/tools/IdealGraphVisualizer/Graal/src/com/sun/hotspot/igv/graal/filters/GraalEdgeColorFilter.java
--- a/src/share/tools/IdealGraphVisualizer/Graal/src/com/sun/hotspot/igv/graal/filters/GraalEdgeColorFilter.java	Fri Dec 09 13:50:23 2011 +0100
+++ b/src/share/tools/IdealGraphVisualizer/Graal/src/com/sun/hotspot/igv/graal/filters/GraalEdgeColorFilter.java	Mon Dec 12 15:57:56 2011 +0100
@@ -54,7 +54,12 @@
         List<Figure> figures = d.getFigures();
         for (Figure f : figures) {
             Properties p = f.getProperties();
-            int predCount = Integer.parseInt(p.get("predecessorCount"));
+            int predCount;
+            if (p.get("predecessorCount") != null) {
+                predCount = Integer.parseInt(p.get("predecessorCount"));
+            } else {
+                predCount = 0;
+            }
             for (InputSlot is : f.getInputSlots()) {
                 Color color;
                 if (is.getPosition() < predCount) {
@@ -65,7 +70,7 @@
 
                 is.setColor(color);
                 for (Connection c : is.getConnections()) {
-                    if (!c.getLabel().endsWith("#NDF")) {
+                    if (c.getLabel() == null || !c.getLabel().endsWith("#NDF")) {
                         c.setColor(color);
                     } else if ("EndNode".equals(c.getOutputSlot().getFigure().getProperties().get("class"))
                             || "EndNode".equals(c.getOutputSlot().getProperties().get("class"))) {