changeset 12537:c95e11c431b0

IGV: Fix cfg edge coloring.
author Roland Schatz <roland.schatz@oracle.com>
date Wed, 23 Oct 2013 13:35:50 +0200
parents 16e507054ebb
children ae36dae46d50
files src/share/tools/IdealGraphVisualizer/Graal/src/com/sun/hotspot/igv/graal/filters/GraalEdgeColorFilter.java
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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);