comparison visualizer/Graal/src/com/sun/hotspot/igv/graal/filters/GraalEdgeColorFilter.java @ 4573:24d9f3310ed6

Visualizer: Fix edge tooltip showing wrong node ids. GraalEdgeColorFilter: Don't change style of dashed lines.
author Andreas Woess <andreas.woess@jku.at>
date Sun, 12 Feb 2012 23:21:54 +0100
parents 015fb895586b
children
comparison
equal deleted inserted replaced
4572:76841bdd5f3e 4573:24d9f3310ed6
33 import java.awt.Color; 33 import java.awt.Color;
34 import java.util.List; 34 import java.util.List;
35 35
36 /** 36 /**
37 * Filter that colors usage and successor edges differently. 37 * Filter that colors usage and successor edges differently.
38 * 38 *
39 * @author Peter Hofer 39 * @author Peter Hofer
40 */ 40 */
41 public class GraalEdgeColorFilter extends AbstractFilter { 41 public class GraalEdgeColorFilter extends AbstractFilter {
42 42
43 private Color successorColor = Color.BLUE; 43 private Color successorColor = Color.BLUE;
75 75
76 is.setColor(color); 76 is.setColor(color);
77 for (Connection c : is.getConnections()) { 77 for (Connection c : is.getConnections()) {
78 if (c.getLabel() == null || !c.getLabel().endsWith("#NDF")) { 78 if (c.getLabel() == null || !c.getLabel().endsWith("#NDF")) {
79 c.setColor(color); 79 c.setColor(color);
80 c.setStyle(style); 80 if (c.getStyle() != ConnectionStyle.DASHED) {
81 c.setStyle(style);
82 }
81 } else if ("EndNode".equals(c.getOutputSlot().getFigure().getProperties().get("class")) 83 } else if ("EndNode".equals(c.getOutputSlot().getFigure().getProperties().get("class"))
82 || "EndNode".equals(c.getOutputSlot().getProperties().get("class"))) { 84 || "EndNode".equals(c.getOutputSlot().getProperties().get("class"))) {
83 c.setColor(successorColor); 85 c.setColor(successorColor);
84 c.setStyle(ConnectionStyle.BOLD); 86 c.setStyle(ConnectionStyle.BOLD);
85 } 87 }