comparison visualizer/Graph/src/com/sun/hotspot/igv/graph/Connection.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
30 import java.awt.Point; 30 import java.awt.Point;
31 import java.util.ArrayList; 31 import java.util.ArrayList;
32 import java.util.List; 32 import java.util.List;
33 33
34 /** 34 /**
35 * 35 *
36 * @author Thomas Wuerthinger 36 * @author Thomas Wuerthinger
37 */ 37 */
38 public class Connection implements Source.Provider, Link { 38 public class Connection implements Source.Provider, Link {
39 39
40 @Override 40 @Override
110 inputSlot.getFigure().removePredecessor(outputSlot.getFigure()); 110 inputSlot.getFigure().removePredecessor(outputSlot.getFigure());
111 inputSlot.connections.remove(this); 111 inputSlot.connections.remove(this);
112 outputSlot.getFigure().removeSuccessor(inputSlot.getFigure()); 112 outputSlot.getFigure().removeSuccessor(inputSlot.getFigure());
113 outputSlot.connections.remove(this); 113 outputSlot.connections.remove(this);
114 } 114 }
115 115
116 public String getToolTipText() { 116 public String getToolTipText() {
117 StringBuilder builder = new StringBuilder(); 117 StringBuilder builder = new StringBuilder();
118 if (label != null) { 118 if (label != null) {
119 builder.append(label).append(": from "); 119 builder.append(label).append(": from ");
120 } else { 120 } else {
121 builder.append("From "); 121 builder.append("From ");
122 } 122 }
123 builder.append(getOutputSlot().getFigure()); 123 builder.append(getOutputSlot().getFigure().getSource().getSourceNodes().get(0).getId());
124 builder.append(" to "); 124 builder.append(" to ");
125 builder.append(getInputSlot().getFigure()); 125 builder.append(getInputSlot().getFigure().getSource().getSourceNodes().get(0).getId());
126 return builder.toString(); 126 return builder.toString();
127 } 127 }
128 128
129 @Override 129 @Override
130 public String toString() { 130 public String toString() {