protected TitledBorder setUpSliderPanel() {
sliderPanel = new JPanel();
sliderPanel.setPreferredSize(new Dimension(210, 50));
int sliderLimit = 50;
if (graph != null) {
final Graph<CallGraphNode, CallGraphLink> jungGraph = graph.getJungGraph();
sliderLimit = jungGraph.getVertexCount();
}
configureIterationSlider(sliderLimit);
sliderPanel.setOpaque(true);
sliderPanel.add(iterationSlider);
iterationSlider.setValue(0);
String eastSize = sliderLabelBase + iterationSlider.getValue();
TitledBorder sliderBorder = BorderFactory.createTitledBorder(eastSize);
sliderPanel.setBorder(sliderBorder);
return sliderBorder;
}
protected void setVertexShapeTransformer(
RenderContext<CallGraphNode, CallGraphLink> renderContext) {
CallGraphNodeShapeTransformer vertexShapeTransformer =
new CallGraphNodeShapeTransformer(graph.getJungGraph());
renderContext.setVertexShapeTransformer(vertexShapeTransformer);
}
