# HG changeset patch
# User Roland Schatz <roland.schatz@oracle.com>
# Date 1382528150 -7200
# Node ID c95e11c431b079c800b1be481e126f82e7b2add7
# Parent  16e507054ebbc85f0015041df68bdf99d6136160
IGV: Fix cfg edge coloring.

diff -r 16e507054ebb -r c95e11c431b0 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	Wed Oct 23 13:41:10 2013 +0200
+++ b/src/share/tools/IdealGraphVisualizer/Graal/src/com/sun/hotspot/igv/graal/filters/GraalEdgeColorFilter.java	Wed Oct 23 13:35:50 2013 +0200
@@ -32,6 +32,7 @@
 import com.sun.hotspot.igv.graph.InputSlot;
 import java.awt.Color;
 import java.util.List;
+import java.util.regex.Pattern;
 
 /**
  * Filter that colors usage and successor edges differently.
@@ -55,6 +56,7 @@
     @Override
     public void apply(Diagram d) {
         List<Figure> figures = d.getFigures();
+        Pattern ndf = Pattern.compile(".*#NDF(\\[[0-9]*\\])?");
         for (Figure f : figures) {
             Properties p = f.getProperties();
             int predCount;
@@ -78,7 +80,7 @@
 
                 is.setColor(color);
                 for (Connection c : is.getConnections()) {
-                    if (c.getLabel() == null || !c.getLabel().endsWith("#NDF")) {
+                    if (c.getLabel() == null || !ndf.matcher(c.getLabel()).matches()) {
                         c.setColor(color);
                         if (c.getStyle() != ConnectionStyle.DASHED) {
                             c.setStyle(style);