acltracepanel.java

JADE(JAVA Agent开发框架)是一个完全由JAVA语言开发的软件,它简化了多Agent系统的实现。

    }


    public boolean equals(Object obj) {

      throw new java.lang.UnsupportedOperationException("Method equals() not yet implemented.");
    }


    final static int DATE = 0;
    final static int DIRECTION = 1;
    final static int SENDER = 2;
    final static int RECEIVER = 3;
    final static int PERFORMATIVE = 4;
    final static int ONTOLOGY = 5;

    final static int SORT_ASCENDING = 1;
    final static int SORT_DESCENDING = -1;

    private int sorting;
    private int mode;

  }


//  ***EOF***


  private class ACLTracePanel_sortComboBox_itemAdapter implements java.awt.event.ItemListener {

    ACLTracePanel_sortComboBox_itemAdapter(ACLTracePanel adaptee) {
      this.adaptee = adaptee;
    }


    public void itemStateChanged(ItemEvent e) {
      adaptee.sortComboBox_itemStateChanged(e);
    }


    ACLTracePanel adaptee;
  }


  private class ACLTracePanel_ascRadioButton_itemAdapter implements java.awt.event.ItemListener {

    ACLTracePanel_ascRadioButton_itemAdapter(ACLTracePanel adaptee) {
      this.adaptee = adaptee;
    }


    public void itemStateChanged(ItemEvent e) {
      adaptee.ascRadioButton_itemStateChanged(e);
    }


    ACLTracePanel adaptee;
  }


  private class ACLTracePanel_descRadioButton_itemAdapter implements java.awt.event.ItemListener {

    ACLTracePanel_descRadioButton_itemAdapter(ACLTracePanel adaptee) {
      this.adaptee = adaptee;
    }


    public void itemStateChanged(ItemEvent e) {
      adaptee.descRadioButton_itemStateChanged(e);
    }


    ACLTracePanel adaptee;
  }



  private class ACLTracePanel_sortButton_actionAdapter implements java.awt.event.ActionListener {

    ACLTracePanel_sortButton_actionAdapter(ACLTracePanel adaptee) {
      this.adaptee = adaptee;
    }


    public void actionPerformed(ActionEvent e) {
      adaptee.sortButton_actionPerformed(e);
    }


    ACLTracePanel adaptee;
  }


  private class ACLFileFilter extends javax.swing.filechooser.FileFilter {

    public ACLFileFilter() { }


    /**
     *  The description of this filter. For example: "JPG and GIF Images"
     *
     * @return    The Description value
     * @see       FileView#getName
     */
    public String getDescription() {
      return "ACLMessage files (*.acl)";
    }


    public boolean accept(File pathName) {
      if (pathName.isDirectory()) {
        return true;
      }
      else if (pathName.isFile() &&
        (pathName.getName().endsWith(".acl"))) {
        return true;
      }
      else {
        return false;
      }
    }
  }


  private class TraceFileFilter extends javax.swing.filechooser.FileFilter {

    public TraceFileFilter() { }


    /**
     *  The description of this filter. For example: "JPG and GIF Images"
     *
     * @return    The Description value
     * @see       FileView#getName
     */
    public String getDescription() {
      return "ACLMessageTrace files (*.trc)";
    }


    public boolean accept(File pathName) {
      if (pathName.isDirectory()) {
        return true;
      }
      else if (pathName.isFile() &&
        (pathName.getName().endsWith(".trc"))) {
        return true;
      }
      else {
        return false;
      }
    }


    private String extensions[] = {".trc"};
  }



  private class AboutFrame extends JWindow {

    public AboutFrame() {
      try {
        jbInit();
        this.setSize(400, 175);
        Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
        this.setLocation(screenSize.width / 2 - this.getSize().width / 2,
          screenSize.height / 2 - this.getSize().height / 2);

      }
      catch (Exception e) {
        e.printStackTrace();
      }
    }


    void logoLabel_mouseClicked(MouseEvent e) {
      this.setVisible(false);
    }


    void logoLabel3_mousePressed(MouseEvent e) {
      this.setVisible(false);
    }


    void jLabel2_mouseClicked(MouseEvent e) {
      this.setVisible(false);
    }


    void logoLabel3_mouseClicked(MouseEvent e) {
      this.setVisible(false);
    }


    void logoLabel_mouseEntered(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
    }


    void logoLabel_mouseExited(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
    }


    void logoLabel3_mouseEntered(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
    }


    void logoLabel3_mouseExited(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
    }


    void jLabel2_mouseEntered(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
    }


    void jLabel2_mouseExited(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
    }


    void logoLabel_mousePressed(MouseEvent e) {
      this.setVisible(false);
    }


    void logoLabel_mouseReleased(MouseEvent e) {
      this.setVisible(false);
    }


    void jLabel2_mousePressed(MouseEvent e) {
      this.setVisible(false);
    }


    void jLabel2_mouseReleased(MouseEvent e) {
      this.setVisible(false);
    }


    void jLabel4_mouseClicked(MouseEvent e) {
      this.setVisible(false);
    }


    void contentPanel_mouseClicked(MouseEvent e) {
      this.setVisible(false);
    }


    void jLabel1_mouseClicked(MouseEvent e) {
      this.setVisible(false);
    }


    void jLabel4_mouseEntered(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
    }


    void jLabel1_mouseEntered(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
    }


    void contentPanel_mouseEntered(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
    }


    void jLabel4_mouseExited(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
    }


    void contentPanel_mouseExited(MouseEvent e) {
      this.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
    }


    private void jbInit() throws Exception {
      // this.setClosable(true);
      //this.setOpaque(false);
      border1 = new TitledBorder(BorderFactory.createLineBorder(new Color(0, 0, 128), 1), "jade.tools.gui");
      this.getContentPane().setBackground(Color.white);
      this.getContentPane().setLayout(gridBagLayout1);
      contentPanel.setLayout(gridBagLayout2);
      jLabel1.setText("donated by Acklin B.V. to the Jade project");
      jLabel1.addMouseListener(
        new java.awt.event.MouseAdapter() {
          public void mouseClicked(MouseEvent e) {
            jLabel1_mouseClicked(e);
          }


          public void mouseEntered(MouseEvent e) {
            jLabel1_mouseEntered(e);
          }
        });
      jLabel2.setFont(new java.awt.Font("Dialog", 0, 12));
      jLabel2.setText("web: www.acklin.nl  |  email: [e-mail]");
      jLabel2.addMouseListener(
        new java.awt.event.MouseAdapter() {
          public void mouseClicked(MouseEvent e) {
            jLabel2_mouseClicked(e);
          }


          public void mouseEntered(MouseEvent e) {
            jLabel2_mouseEntered(e);
          }


          public void mouseExited(MouseEvent e) {
            jLabel2_mouseExited(e);
          }
        });
      contentPanel.setBackground(Color.white);
      contentPanel.setFont(new java.awt.Font("Dialog", 0, 11));
      contentPanel.setBorder(border1);
      contentPanel.addMouseListener(
        new java.awt.event.MouseAdapter() {
          public void mouseClicked(MouseEvent e) {
            contentPanel_mouseClicked(e);
          }


          public void mouseEntered(MouseEvent e) {
            contentPanel_mouseEntered(e);
          }


          public void mouseExited(MouseEvent e) {
            contentPanel_mouseExited(e);
          }
        });
      logoLabel3.setFont(new java.awt.Font("SansSerif", 1, 60));
      logoLabel3.setForeground(new Color(0, 0, 128));
      logoLabel3.setText("Acklin");
      logoLabel3.addMouseListener(
        new java.awt.event.MouseAdapter() {
          public void mouseClicked(MouseEvent e) {
            logoLabel3_mouseClicked(e);
          }


          public void mouseEntered(MouseEvent e) {
            logoLabel3_mouseEntered(e);
          }


          public void mouseExited(MouseEvent e) {
            logoLabel3_mouseExited(e);
          }
        });
      jLabel4.setFont(new java.awt.Font("Dialog", 1, 20));
      jLabel4.setForeground(Color.darkGray);
      jLabel4.setText("agent based support");
      jLabel4.addMouseListener(
        new java.awt.event.MouseAdapter() {
          public void mouseClicked(MouseEvent e) {
            jLabel4_mouseClicked(e);
          }


          public void mouseEntered(MouseEvent e) {
            jLabel4_mouseEntered(e);
          }


          public void mouseExited(MouseEvent e) {
            jLabel4_mouseExited(e);
          }
        });
      this.getContentPane().add(contentPanel, new GridBagConstraints(0, 0, 1, 1, 1.0, 1.0
        , GridBagConstraints.CENTER, GridBagConstraints.BOTH, new Insets(0, 0, 0, 0), 0, 0));
      contentPanel.add(jLabel1, new GridBagConstraints(0, 3, 1, 1, 0.0, 0.0
        , GridBagConstraints.CENTER, GridBagConstraints.NONE, new Insets(0, 0, 5, 0), 0, 0));
      contentPanel.add(jLabel2, new GridBagConstraints(0, 4, 1, 1, 0.0, 0.0
        , GridBagConstraints.CENTER, GridBagConstraints.NONE, new Insets(10, 0, 10, 0), 0, 0));
      contentPanel.add(logoLabel3, new GridBagConstraints(0, 0, 1, 1, 0.0, 0.0
        , GridBagConstraints.CENTER, GridBagConstraints.NONE, new Insets(0, 0, 0, 0), 0, 0));
      contentPanel.add(jLabel4, new GridBagConstraints(0, 2, 1, 1, 0.0, 0.0
        , GridBagConstraints.CENTER, GridBagConstraints.NONE, new Insets(0, 0, 20, 0), 0, 0));
    }


    GridBagLayout gridBagLayout1 = new GridBagLayout();

    JPanel contentPanel = new JPanel();
    GridBagLayout gridBagLayout2 = new GridBagLayout();
    JLabel jLabel1 = new JLabel();
    JLabel jLabel2 = new JLabel();
    JLabel logoLabel3 = new JLabel();
    JLabel jLabel4 = new JLabel();
    Border border1;

  }


  private class ACLTreePanel_stasticsMenuItem_actionAdapter implements java.awt.event.ActionListener {

    /**
     *  Constructor for the ACLTreePanel_stasticsMenuItem_actionAdapter object
     *
     * @param  adaptee  Description of Parameter
     */
    ACLTreePanel_stasticsMenuItem_actionAdapter(ACLTracePanel adaptee) {
      this.adaptee = adaptee;
    }


    /**
     *  Description of the Method
     *
     * @param  e  Description of Parameter
     */
    public void actionPerformed(ActionEvent e) {
      adaptee.stasticsMenuItem_actionPerformed(e);
    }


    ACLTracePanel adaptee;
  }
//  ***EOF***


//  ***EOF***

  private class ACLTreePanel_this_mouseAdapter extends java.awt.event.MouseAdapter {

    /**
     *  Constructor for the ACLTreePanel_this_mouseAdapter object
     *
     * @param  adaptee  Description of Parameter
     */