Exemplo n.º 1
0
  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;
  }
Exemplo n.º 2
0
 protected void setVertexShapeTransformer(
     RenderContext<CallGraphNode, CallGraphLink> renderContext) {
   CallGraphNodeShapeTransformer vertexShapeTransformer =
       new CallGraphNodeShapeTransformer(graph.getJungGraph());
   renderContext.setVertexShapeTransformer(vertexShapeTransformer);
 }