📄 societypanel.java
字号:
/*
* The contents of this file are subject to the BT "ZEUS" Open Source
* Licence (L77741), Version 1.0 (the "Licence"); you may not use this file
* except in compliance with the Licence. You may obtain a copy of the Licence
* from $ZEUS_INSTALL/licence.html or alternatively from
* http://www.labs.bt.com/projects/agents/zeus/licence.htm
*
* Except as stated in Clause 7 of the Licence, software distributed under the
* Licence is distributed WITHOUT WARRANTY OF ANY KIND, either express or
* implied. See the Licence for the specific language governing rights and
* limitations under the Licence.
*
* The Original Code is within the package zeus.*.
* The Initial Developer of the Original Code is British Telecommunications
* public limited company, whose registered office is at 81 Newgate Street,
* London, EC1A 7AJ, England. Portions created by British Telecommunications
* public limited company are Copyright 1996-9. All Rights Reserved.
*
* THIS NOTICE MUST BE INCLUDED ON ANY COPY OF THIS FILE
*/
/****************************************************************************
* SocietyPanel.java
*
***************************************************************************/
package zeus.visualiser.society;
import java.awt.*;
import java.awt.event.*;
import java.util.*;
import javax.swing.*;
import javax.swing.border.*;
import javax.swing.text.*;
import javax.swing.event.*;
import java.io.File;
import zeus.util.*;
import zeus.concepts.*;
import zeus.generator.util.*;
import zeus.generator.event.*;
import zeus.generator.agent.AcquaintanceModel;
import zeus.gui.graph.*;
import zeus.gui.help.*;
public class SocietyPanel extends JPanel {
protected Graph graph;
public SocietyPanel(SocietyModel model) {
graph = new Graph(Graph.VERTICAL_PARENT_CHILD,model,true,false);
graph.setNodeRenderer(new SocietyNodeRenderer());
graph.setNodeEditor(new SocietyNodeEditor());
GridBagLayout gridBagLayout = new GridBagLayout();
GridBagConstraints gbc = new GridBagConstraints();
JPanel lhsPanel = new JPanel();
lhsPanel.setLayout(gridBagLayout);
lhsPanel.setBackground(Color.lightGray);
// Add the lhs panel
SoceityControlPanel controlPane = new SoceityControlPanel();
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.anchor = GridBagConstraints.NORTHWEST;
gbc.fill = GridBagConstraints.NONE;
gbc.insets = new Insets(8,8,8,8);
gbc.weightx = gbc.weighty = 0;
gridBagLayout.setConstraints(controlPane,gbc);
lhsPanel.add(controlPane);
lhsPanel.setBackground(Color.lightGray);
gridBagLayout = new GridBagLayout();
gbc = new GridBagConstraints();
setLayout(gridBagLayout);
setBackground(Color.lightGray);
setBorder(BorderFactory.createBevelBorder(BevelBorder.LOWERED));
gbc.gridwidth = 1;
gbc.anchor = GridBagConstraints.NORTHWEST;
gbc.fill = GridBagConstraints.NONE;
gbc.insets = new Insets(0,0,0,0);
gbc.weightx = gbc.weighty = 0;
gridBagLayout.setConstraints(lhsPanel,gbc);
add(lhsPanel);
// Add the panel that will contain the nodes
JPanel dataPanel = new JPanel();
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.anchor = GridBagConstraints.NORTHWEST;
gbc.fill = GridBagConstraints.BOTH;
gbc.weightx = gbc.weighty = 1;
gbc.insets = new Insets(8,8,8,8);
gridBagLayout.setConstraints(dataPanel,gbc);
add(dataPanel);
// Data panel info
gridBagLayout = new GridBagLayout();
dataPanel.setLayout(gridBagLayout);
dataPanel.setBackground(Color.lightGray);
JScrollPane scrollPane = new JScrollPane(graph);
scrollPane.setBorder(new BevelBorder(BevelBorder.LOWERED));
scrollPane.setPreferredSize(new Dimension(600,600));
graph.setPreferredSize(new Dimension(2000,2000));
graph.setBackground(new Color(245,230,140));
TitledBorder border = (BorderFactory.createTitledBorder("Agent Society"));
border.setTitlePosition(TitledBorder.TOP);
border.setTitleJustification(TitledBorder.RIGHT);
border.setTitleFont(new Font("Helvetica", Font.BOLD, 14));
border.setTitleColor(Color.blue);
dataPanel.setBorder(border);
JToolBar toolbar = new NodesToolBar();
gbc = new GridBagConstraints();
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.anchor = GridBagConstraints.WEST;
gbc.fill = GridBagConstraints.NONE;
gbc.weightx = gbc.weighty = 0;
gbc.insets = new Insets(0,8,0,0);
gridBagLayout.setConstraints(toolbar,gbc);
dataPanel.add(toolbar);
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.anchor = GridBagConstraints.WEST;
gbc.fill = GridBagConstraints.BOTH;
gbc.weightx = gbc.weighty = 1;
gbc.insets = new Insets(8,8,8,8);
gridBagLayout.setConstraints(scrollPane,gbc);
dataPanel.add(scrollPane);
}
Graph getGraph() { return graph; }
protected class SocietyNodeRenderer implements GraphNodeRenderer {
public Component getNodeRendererComponent(Graph g, GraphNode node) {
SocietyModelEntry obj = (SocietyModelEntry)node.getUserObject();
String name = obj.getName();
String icon_file = obj.getIcon();
if ( icon_file == null )
return new JLabel(name,JLabel.CENTER);
else {
JLabel label;
label = new JLabel(name,new ImageIcon(icon_file),JLabel.CENTER);
label.setVerticalTextPosition(JLabel.BOTTOM);
label.setHorizontalTextPosition(JLabel.CENTER);
return label;
}
}
}
protected class NodesToolBar extends JToolBar implements ActionListener {
protected JButton selectBtn;
protected JButton selectAllBtn;
protected JButton hideBtn;
protected JButton showBtn;
protected JButton collapseBtn;
protected JButton expandBtn;
protected JButton deleteBtn;
protected JButton recomputeBtn;
protected JButton redrawBtn;
public NodesToolBar() {
setBackground(Color.lightGray);
setBorder(new BevelBorder(BevelBorder.LOWERED));
setFloatable(false);
String sep = System.getProperty("file.separator");
String path = SystemProps.getProperty("gif.dir") + "generator" + sep;
// Draw Buttons
recomputeBtn = new JButton(new ImageIcon(path + "recompute.gif"));
recomputeBtn.setMargin(new Insets(0,0,0,0));
add(recomputeBtn);
recomputeBtn.setToolTipText("Recompute node positions");
recomputeBtn.addActionListener(this);
redrawBtn = new JButton(new ImageIcon(path + "redraw.gif"));
redrawBtn.setMargin(new Insets(0,0,0,0));
add(redrawBtn);
redrawBtn.setToolTipText("Redraw");
redrawBtn.addActionListener(this);
addSeparator();
selectBtn = new JButton(new ImageIcon(path + "select.gif"));
selectBtn.setMargin(new Insets(0,0,0,0));
add(selectBtn);
selectBtn.setToolTipText("Select nodes");
selectBtn.addActionListener(this);
selectAllBtn = new JButton(new ImageIcon(path + "selectAll.gif"));
selectAllBtn.setMargin(new Insets(0,0,0,0));
add(selectAllBtn);
selectAllBtn.setToolTipText("Select all nodes");
selectAllBtn.addActionListener(this);
addSeparator();
collapseBtn = new JButton(new ImageIcon(path + "collapse.gif"));
collapseBtn.setMargin(new Insets(0,0,0,0));
add(collapseBtn);
collapseBtn.setToolTipText("Collapse nodes");
collapseBtn.addActionListener(this);
expandBtn = new JButton(new ImageIcon(path + "expand.gif"));
expandBtn.setMargin(new Insets(0,0,0,0));
add(expandBtn);
expandBtn.setToolTipText("Expand nodes");
expandBtn.addActionListener(this);
addSeparator();
hideBtn = new JButton(new ImageIcon(path + "hide.gif"));
hideBtn.setMargin(new Insets(0,0,0,0));
add(hideBtn);
hideBtn.setToolTipText("Hide nodes");
hideBtn.addActionListener(this);
showBtn = new JButton(new ImageIcon(path + "show.gif"));
showBtn.setMargin(new Insets(0,0,0,0));
add(showBtn);
showBtn.setToolTipText("Show nodes");
showBtn.addActionListener(this);
}
public void actionPerformed(ActionEvent e) {
Object src = e.getSource();
if ( src == recomputeBtn )
graph.recompute();
else if ( src == redrawBtn )
graph.redraw();
else if ( src == selectBtn )
graph.select();
else if ( src == selectAllBtn )
graph.selectAll();
else if ( src == collapseBtn )
graph.collapse();
else if ( src == expandBtn )
graph.expand();
else if ( src == hideBtn )
graph.hide();
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -