📄 acltracepanel.java
字号:
ACLTreePanel_this_mouseAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
/**
* Description of the Method
*
* @param e Description of Parameter
*/
public void mouseClicked(MouseEvent e) {
}
ACLTracePanel adaptee;
}
// ***EOF***
private class ACLTreePanel_aclTree_mouseAdapter extends java.awt.event.MouseAdapter {
/**
* Constructor for the ACLTreePanel_aclTree_mouseAdapter object
*
* @param adaptee Description of Parameter
*/
ACLTreePanel_aclTree_mouseAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
/**
* Description of the Method
*
* @param e Description of Parameter
*/
public void mouseClicked(MouseEvent e) {
adaptee.aclTree_mouseClicked(e);
}
ACLTracePanel adaptee;
}
private class ACLTreePanel_systemMenuItem_actionAdapter implements java.awt.event.ActionListener {
/**
* Constructor for the ACLTreePanel_systemMenuItem_actionAdapter object
*
* @param adaptee Description of Parameter
*/
ACLTreePanel_systemMenuItem_actionAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
/**
* Description of the Method
*
* @param e Description of Parameter
*/
public void actionPerformed(ActionEvent e) {
adaptee.systemMenuItem_actionPerformed(e);
}
ACLTracePanel adaptee;
}
private class ACLTreePanel_zoomMenuItem_actionAdapter implements java.awt.event.ActionListener {
/**
* Constructor for the ACLTreePanel_zoomMenuItem_actionAdapter object
*
* @param adaptee Description of Parameter
*/
ACLTreePanel_zoomMenuItem_actionAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
/**
* Description of the Method
*
* @param e Description of Parameter
*/
public void actionPerformed(ActionEvent e) {
adaptee.zoomMenuItem_actionPerformed(e);
}
ACLTracePanel adaptee;
}
// ***EOF***
private class ACLTreePanel_saveMenuItem_actionAdapter implements java.awt.event.ActionListener {
/**
* Constructor for the ACLTreePanel_saveMenuItem_actionAdapter object
*
* @param adaptee Description of Parameter
*/
ACLTreePanel_saveMenuItem_actionAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
/**
* Description of the Method
*
* @param e Description of Parameter
*/
public void actionPerformed(ActionEvent e) {
adaptee.saveMenuItem_actionPerformed(e);
}
ACLTracePanel adaptee;
}
// ***EOF***
private class ACLTreePanel_aclTree_keyAdapter extends java.awt.event.KeyAdapter {
/**
* Constructor for the ACLTreePanel_aclTree_keyAdapter object
*
* @param adaptee Description of Parameter
*/
ACLTreePanel_aclTree_keyAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
/**
* Description of the Method
*
* @param e Description of Parameter
*/
public void keyTyped(KeyEvent e) {
adaptee.aclTree_keyTyped(e);
}
ACLTracePanel adaptee;
}
// ***EOF***
private class ACLTreePanel_deleteMenuItem_actionAdapter implements java.awt.event.ActionListener {
/**
* Constructor for the ACLTreePanel_deleteMenuItem_actionAdapter object
*
* @param adaptee Description of Parameter
*/
ACLTreePanel_deleteMenuItem_actionAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
/**
* Description of the Method
*
* @param e Description of Parameter
*/
public void actionPerformed(ActionEvent e) {
adaptee.deleteMenuItem_actionPerformed(e);
}
ACLTracePanel adaptee;
}
/**
* This class renderes the ACLTreePanel
*
* @author Chris van Aart - Acklin B.V., the Netherlands
* @created April 26, 2002
*/
private class ACLTreeRenderer extends JLabel implements TreeCellRenderer {
/**
* Constructor for the ACLTreeRenderer object
*/
ACLTreeRenderer() {
try {
jbInit();
}
catch (Exception e) {
e.printStackTrace();
}
}
/**
* Gets the TreeCellRendererComponent attribute of the ACLTreeRenderer
* object
*
* @param tree Description of Parameter
* @param value Description of Parameter
* @param isSelected Description of Parameter
* @param expanded Description of Parameter
* @param leaf Description of Parameter
* @param row Description of Parameter
* @param hasFocus Description of Parameter
* @return The TreeCellRendererComponent value
*/
public Component getTreeCellRendererComponent(JTree tree, Object value, boolean isSelected,
boolean expanded, boolean leaf, int row, boolean hasFocus) {
setText(((DefaultMutableTreeNode)value).toString());
int depth = ((DefaultMutableTreeNode)value).getLevel();
this.setFont(new java.awt.Font("SansSerif", 0, 11));
Color theColor = Color.black;
String sValue = value.toString();
switch (depth) {
case 0:// root
setIcon(rootIcon);
break;
case 1:
if (sValue.indexOf("in:") > 0) {
setIcon(incomingIcon);
theColor = Color.red;
}
else {
setIcon(outgoingIcon);
theColor = Color.blue;
}
break;
case 2:
setIcon(nodeIcon);
if (sValue.startsWith(":act ")) {
setIcon(this.messageTypeIcon);
String performative = sValue.substring(5, sValue.length());
theColor = ACLPerformativesRenderer.determineColor(performative);
this.setFont(new java.awt.Font("SansSerif", 1, 11));
}
if (sValue.startsWith(":content")) {
setIcon(this.detailsIcon);
}
if (sValue.startsWith(":sender")) {
setIcon(this.smallAgentIcon);
}
if ((sValue.startsWith(":receiver")) || (sValue.startsWith(":reply-to"))) {
setIcon(this.smallAgentIcon);
}
break;
case 3:
setIcon(this.detailsIcon);
break;
//default:
// setIcon(nodeIcon);
}
setBackground(isSelected ? Color.blue : Color.white);
setForeground(isSelected ? Color.white : theColor);
return this;
}
/**
* build up renderer
*
* @exception Exception Description of Exception
*/
private void jbInit() throws Exception {
this.setFont(new java.awt.Font("SansSerif", 0, 11));
this.setOpaque(true);
}
public ImageIcon rootIcon = new ImageIcon(this.getClass().getResource("images/inbox.gif"));
public ImageIcon nodeIcon = new ImageIcon(this.getClass().getResource("images/service.gif"));
public ImageIcon smallAgentIcon = new ImageIcon(this.getClass().getResource("images/smallagent.gif"));
public ImageIcon messageTypeIcon = new ImageIcon(this.getClass().getResource("images/messagetype.gif"));
public ImageIcon detailsIcon = new ImageIcon(this.getClass().getResource("images/details.gif"));
public ImageIcon incomingIcon = new ImageIcon(this.getClass().getResource("images/incoming.gif"));
public ImageIcon outgoingIcon = new ImageIcon(this.getClass().getResource("images/outgoing.gif"));
}
private class SortRenderer extends JLabel implements ListCellRenderer {
/**
* Constructor for the ACLPerformativesRenderer object
*/
public SortRenderer() {
setOpaque(true);
setFont(new java.awt.Font("Dialog", 0, 10));
}
/**
* Gets the ListCellRendererComponent attribute of the
* ACLPerformativesRenderer object
*
* @param list Description of Parameter
* @param value Description of Parameter
* @param index Description of Parameter
* @param isSelected Description of Parameter
* @param cellHasFocus Description of Parameter
* @return The ListCellRendererComponent value
*/
public Component getListCellRendererComponent(JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
if (value != null) {
String sValue = (String)value;
setText((String)value);
setBackground(isSelected ? Color.blue : Color.white);
setForeground(isSelected ? Color.white : Color.blue);
}
return this;
}
}
private class ACLTracePanel_aboutMenuItem_mouseAdapter extends java.awt.event.MouseAdapter {
ACLTracePanel_aboutMenuItem_mouseAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
public void mouseClicked(MouseEvent e) {
adaptee.aboutMenuItem_mouseClicked(e);
}
ACLTracePanel adaptee;
}
private class ACLTracePanel_clearQMenuItem_actionAdapter implements java.awt.event.ActionListener {
ACLTracePanel_clearQMenuItem_actionAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
public void actionPerformed(ActionEvent e) {
adaptee.clearQMenuItem_actionPerformed(e);
}
ACLTracePanel adaptee;
}
private class ACLTracePanel_openQMenuItem_actionAdapter implements java.awt.event.ActionListener {
ACLTracePanel_openQMenuItem_actionAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
public void actionPerformed(ActionEvent e) {
adaptee.openQMenuItem_actionPerformed(e);
}
ACLTracePanel adaptee;
}
private class ACLTracePanel_aboutMenuItem_actionAdapter implements java.awt.event.ActionListener {
ACLTracePanel_aboutMenuItem_actionAdapter(ACLTracePanel adaptee) {
this.adaptee = adaptee;
}
public void actionPerformed(ActionEvent e) {
adaptee.aboutMenuItem_actionPerformed(e);
}
ACLTracePanel adaptee;
}
public final static String DIRECTION_IN = "in";
public final static String DIRECTION_OUT = "out";
private static DateFormat dateFormat = DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.MEDIUM);
JLabel jLabel1 = new JLabel();
ButtonGroup sortingButtonGroup = new ButtonGroup();
JComboBox sortComboBox = new JComboBox();
JRadioButton ascRadioButton = new JRadioButton();
JRadioButton descRadioButton = new JRadioButton();
JButton sortButton = new JButton();
JMenuItem saveQMenuItem = new JMenuItem();
JMenuItem openQMenuItem = new JMenuItem();
JMenuItem clearQMenuItem = new JMenuItem();
Border border2;
Border border3;
private boolean sorting = false;
private JMenuItem deleteMenuItem = new JMenuItem();
private int inMsgCount = 0, outMsgCount = 0;
private int aclIndex = 0;
private DefaultMutableTreeNode aclRoot = new DefaultMutableTreeNode("messagetrace");
private DefaultTreeModel aclModel = new DefaultTreeModel(aclRoot);
private GridBagLayout gridBagLayout1 = new GridBagLayout();
private GridBagLayout gridBagLayout2 = new GridBagLayout();
private JScrollPane aclTreeScrollPane = new JScrollPane();
private JTree aclTree = new JTree();
private ACLTreeRenderer aclTreeRenderer = new ACLTreeRenderer();
private JPopupMenu thePopupMenu = new JPopupMenu();
private JMenuItem systemMenuItem = new JMenuItem();
private JMenuItem zoomMenuItem = new JMenuItem();
private int currentSelection = 0;
private JMenuItem saveMenuItem = new JMenuItem();
private JMenuItem stasticsMenuItem = new JMenuItem();
private JMenuItem aboutMenuItem = new JMenuItem();
private ImageIcon sortIcon =
new ImageIcon(this.getClass().getResource("images/sort.gif"));
private DefaultComboBoxModel sortComboBoxModel = new DefaultComboBoxModel();
private Agent agent;
private File currentDir;
private int x, y;
private ACLMessage currentACL;
private Border border1;
private TitledBorder titledBorder1;
}
// ***EOF***
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -