Mercurial > hg > truffle
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() { |