Esempio n. 1
0
 public void redrawGraph() {
   // get the new graph
   vv.validate();
   vv.repaint();
   splitPanelLeft.repaint();
   getContentPane().repaint();
   validate();
   repaint();
 }
Esempio n. 2
0
 private void setVisualizationViewer(VisualizationViewer vviewer) {
   //			vv.getRenderContext().setVertexFillPaintTransformer(vertexPaint);
   vv = vviewer;
   // vv.setPickSupport(new edu.uci.ics.jung.visualization.picking.ShapePickSupport(vv));
   vv.setPreferredSize(new Dimension(350, 350));
   //			vv.getRenderContext().setVertexLabelTransformer(vertexLabelTransformer);
   vv.setGraphMouse(gm);
   vv.getRenderContext().setVertexLabelTransformer(new ToStringLabeller());
   splitPanelLeft.setRightComponent(new GraphZoomScrollPane(vv));
 }
Esempio n. 3
0
  private void initComponents() {
    splitPaneMain = new javax.swing.JSplitPane();
    //
    // splitPanel = new javax.swing.JSplitPane();
    splitPanelLeft = new javax.swing.JSplitPane();
    graphOptionsPanel = new javax.swing.JPanel();
    graphPanel = new javax.swing.JPanel();
    rightPanel = new javax.swing.JPanel();
    generalPanel = new javax.swing.JPanel();
    nameTextField = new javax.swing.JTextField();
    labelForName = new javax.swing.JLabel();
    blocksPanel = new javax.swing.JPanel();
    addBlockButton = new javax.swing.JButton();
    removeBlockButton = new javax.swing.JButton();
    adjustBlockButton = new javax.swing.JButton();
    portsPanel = new javax.swing.JPanel();
    addPortButton = new javax.swing.JButton();
    removePortButton = new javax.swing.JButton();
    adjustPortButton = new javax.swing.JButton();
    blockRelationsPanel = new javax.swing.JPanel();
    addRelationButton = new javax.swing.JButton();
    removeRelationButton = new javax.swing.JButton();

    splitPanelLeft.setOrientation(javax.swing.JSplitPane.VERTICAL_SPLIT);

    graphOptionsPanel.setLayout(
        new javax.swing.BoxLayout(graphOptionsPanel, javax.swing.BoxLayout.PAGE_AXIS));

    topOptionsPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("Mouse Mode"));
    graphOptionsPanel.add(topOptionsPanel);

    bottomOptionsPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("Layout"));
    graphOptionsPanel.add(bottomOptionsPanel);

    gm = new DefaultModalGraphMouse();
    JComboBox modeBox = gm.getModeComboBox();
    topOptionsPanel.add(modeBox);

    PortConnections pconnsInst = PortConnections.getInstance();
    vv = new VisualizationViewer(new CircleLayout(pconnsInst));
    // create the transformers
    // edge label
    final Transformer edgeLabel =
        new Transformer() {
          public String transform(Object obj) {
            if (obj instanceof InteractionArc) {
              InteractionArc arc = (InteractionArc) obj;
              return arc.getArcStateShort();
            }
            return "unknown";
          }
        };
    this.edgeLabel = edgeLabel;
    vv.getRenderContext().setEdgeLabelTransformer(edgeLabel);
    vv.getRenderContext().setEdgeShapeTransformer(new EdgeShape.Line());
    // options
    java.util.List<String> options = new ArrayList<String>();
    options.add("FRLayout");
    options.add("KKLayout");
    options.add("CircleLayout");
    options.add("SpringLayout");
    options.add("SpringLayout2");
    options.add("ISOMLayout");
    layoutBox = new JComboBox(options.toArray());
    layoutBox.setSelectedItem(options.get(0));
    layoutBox.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            InteractionGraphs igraphs = InteractionGraphs.getInstance();
            InteractionGraph graph = igraphs.getGraph(emidSelected);
            String selected = (String) ((JComboBox) e.getSource()).getSelectedItem();
            if (selected.equals("FRLayout")) {
              vv = new VisualizationViewer(new FRLayout(graph));
            } else if (selected.equals("KKLayout")) {
              vv = new VisualizationViewer(new KKLayout(graph));
            } else if (selected.equals("CircleLayout")) {
              vv = new VisualizationViewer(new CircleLayout(graph));
            } else if (selected.equals("SpringLayout")) {
              vv = new VisualizationViewer(new SpringLayout(graph));
            } else if (selected.equals("SpringLayout2")) {
              vv = new VisualizationViewer(new SpringLayout2(graph));
            } else if (selected.equals("ISOMLayout")) {
              vv = new VisualizationViewer(new ISOMLayout(graph));
            }
            vv.getRenderContext().setVertexLabelTransformer(new ToStringLabeller());
            vv.getRenderContext().setEdgeLabelTransformer(edgeLabel);
            vv.getRenderContext().setEdgeShapeTransformer(new EdgeShape.Line());
            setVisualizationViewer(vv);
          }
        });
    layoutBox.setSelectedItem("CircleLayout");

    bottomOptionsPanel.add(layoutBox);

    splitPanelLeft.setTopComponent(graphOptionsPanel);

    javax.swing.GroupLayout graphPanelLayout = new javax.swing.GroupLayout(graphPanel);
    graphPanel.setLayout(graphPanelLayout);
    graphPanelLayout.setHorizontalGroup(
        graphPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGap(0, 181, Short.MAX_VALUE));
    graphPanelLayout.setVerticalGroup(
        graphPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGap(0, 432, Short.MAX_VALUE));

    // splitPanelLeft.setRightComponent(graphPanel);

    splitPaneMain.setLeftComponent(splitPanelLeft);

    rightPanel.setLayout(new javax.swing.BoxLayout(rightPanel, javax.swing.BoxLayout.PAGE_AXIS));

    generalPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("General"));

    labelForName.setText("name");

    nameTextField.setText("new");

    javax.swing.GroupLayout generalPanelLayout = new javax.swing.GroupLayout(generalPanel);
    generalPanel.setLayout(generalPanelLayout);
    generalPanelLayout.setHorizontalGroup(
        generalPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGroup(
                generalPanelLayout
                    .createSequentialGroup()
                    .addContainerGap()
                    .addComponent(labelForName)
                    .addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.UNRELATED)
                    .addComponent(
                        nameTextField,
                        javax.swing.GroupLayout.PREFERRED_SIZE,
                        265,
                        javax.swing.GroupLayout.PREFERRED_SIZE)
                    .addContainerGap(140, Short.MAX_VALUE)));
    generalPanelLayout.setVerticalGroup(
        generalPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGroup(
                generalPanelLayout
                    .createSequentialGroup()
                    .addGroup(
                        generalPanelLayout
                            .createParallelGroup(javax.swing.GroupLayout.Alignment.BASELINE)
                            .addComponent(labelForName)
                            .addComponent(
                                nameTextField,
                                javax.swing.GroupLayout.PREFERRED_SIZE,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                javax.swing.GroupLayout.PREFERRED_SIZE))
                    .addContainerGap(96, Short.MAX_VALUE)));

    rightPanel.add(generalPanel);

    blocksPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("Blocks"));

    javax.swing.GroupLayout blocksPanelLayout = new javax.swing.GroupLayout(blocksPanel);
    blocksPanel.setLayout(blocksPanelLayout);
    blocksPanelLayout.setHorizontalGroup(
        blocksPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGroup(
                blocksPanelLayout
                    .createSequentialGroup()
                    .addGap(179, 179, 179)
                    .addGroup(
                        blocksPanelLayout
                            .createParallelGroup(javax.swing.GroupLayout.Alignment.TRAILING, false)
                            .addComponent(
                                adjustBlockButton,
                                javax.swing.GroupLayout.Alignment.LEADING,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                Short.MAX_VALUE)
                            .addComponent(
                                removeBlockButton,
                                javax.swing.GroupLayout.Alignment.LEADING,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                Short.MAX_VALUE)
                            .addComponent(
                                addBlockButton,
                                javax.swing.GroupLayout.Alignment.LEADING,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                114,
                                Short.MAX_VALUE))
                    .addContainerGap(158, Short.MAX_VALUE)));
    blocksPanelLayout.setVerticalGroup(
        blocksPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGroup(
                blocksPanelLayout
                    .createSequentialGroup()
                    .addComponent(addBlockButton)
                    .addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED)
                    .addComponent(removeBlockButton)
                    .addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED)
                    .addComponent(adjustBlockButton)
                    .addContainerGap(javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE)));

    rightPanel.add(blocksPanel);

    portsPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("Ports"));

    javax.swing.GroupLayout portsPanelLayout = new javax.swing.GroupLayout(portsPanel);
    portsPanel.setLayout(portsPanelLayout);
    portsPanelLayout.setHorizontalGroup(
        portsPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGroup(
                portsPanelLayout
                    .createSequentialGroup()
                    .addGap(177, 177, 177)
                    .addGroup(
                        portsPanelLayout
                            .createParallelGroup(javax.swing.GroupLayout.Alignment.TRAILING, false)
                            .addComponent(
                                adjustPortButton,
                                javax.swing.GroupLayout.Alignment.LEADING,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                Short.MAX_VALUE)
                            .addComponent(
                                removePortButton,
                                javax.swing.GroupLayout.Alignment.LEADING,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                Short.MAX_VALUE)
                            .addComponent(
                                addPortButton,
                                javax.swing.GroupLayout.Alignment.LEADING,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                115,
                                Short.MAX_VALUE))
                    .addContainerGap(159, Short.MAX_VALUE)));
    portsPanelLayout.setVerticalGroup(
        portsPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGroup(
                portsPanelLayout
                    .createSequentialGroup()
                    .addComponent(addPortButton)
                    .addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED)
                    .addComponent(removePortButton)
                    .addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED)
                    .addComponent(adjustPortButton)
                    .addContainerGap(32, Short.MAX_VALUE)));

    rightPanel.add(portsPanel);

    blockRelationsPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("Block Relations"));

    javax.swing.GroupLayout blockRelationsPanelLayout =
        new javax.swing.GroupLayout(blockRelationsPanel);
    blockRelationsPanel.setLayout(blockRelationsPanelLayout);
    blockRelationsPanelLayout.setHorizontalGroup(
        blockRelationsPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGroup(
                blockRelationsPanelLayout
                    .createSequentialGroup()
                    .addGap(177, 177, 177)
                    .addGroup(
                        blockRelationsPanelLayout
                            .createParallelGroup(javax.swing.GroupLayout.Alignment.TRAILING, false)
                            .addComponent(
                                removeRelationButton,
                                javax.swing.GroupLayout.Alignment.LEADING,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                Short.MAX_VALUE)
                            .addComponent(
                                addRelationButton,
                                javax.swing.GroupLayout.Alignment.LEADING,
                                javax.swing.GroupLayout.DEFAULT_SIZE,
                                114,
                                Short.MAX_VALUE))
                    .addContainerGap(159, Short.MAX_VALUE)));
    blockRelationsPanelLayout.setVerticalGroup(
        blockRelationsPanelLayout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGroup(
                blockRelationsPanelLayout
                    .createSequentialGroup()
                    .addComponent(addRelationButton)
                    .addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED)
                    .addComponent(removeRelationButton)
                    .addContainerGap(61, Short.MAX_VALUE)));

    rightPanel.add(blockRelationsPanel);

    splitPaneMain.setRightComponent(rightPanel);

    javax.swing.GroupLayout layout = new javax.swing.GroupLayout(this);
    this.setLayout(layout);
    layout.setHorizontalGroup(
        layout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addComponent(
                splitPaneMain, javax.swing.GroupLayout.DEFAULT_SIZE, 653, Short.MAX_VALUE));
    layout.setVerticalGroup(
        layout
            .createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addComponent(
                splitPaneMain,
                javax.swing.GroupLayout.Alignment.TRAILING,
                javax.swing.GroupLayout.DEFAULT_SIZE,
                541,
                Short.MAX_VALUE));
  }
Esempio n. 4
0
 /**
  * *******************************************************************************************************************
  * <b>Description</b>: Overridden method to attempt to correct display problems when switching
  * look and feel.
  * *******************************************************************************************************************
  */
 public void updateUI() {
   int location = getDividerLocation();
   super.updateUI();
   setDividerLocation(location);
 }