workflow_main.java

用java实现的工作流

package treedoc;

/** 功能
*  主窗体类......
 * 流程管理平台的主窗口
 */

/**
 * 名称       : WORKFLOW_MAIN
 * 描述       : 工作流管理系统--主窗口窗体类
 * 版权信息   : Copyright (c) 2004 COMSCI
 * @作者      : COMSCI Sichuan Fangfa Digital
 * @版本      : 0.9 builder 2004091910
 * @日期      : 2004/09/19
 */


import java.net.*;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.border.*;
import java.io.*;

public class workflow_main
    extends JFrame {

//系统定义类初始化

 private  BorderLayout borderLayout1 = new BorderLayout();

//自定义引用类初始化
  public String gxl = null;
   MenuTest menuTest = new MenuTest(); //菜单内部类
   workflow_GraphEd gd;

  private Container ContentPane;
  public  workflow_main wm;
  public static workflow_FlowTree jTree1;
   workflow_JClosableTabbedPane wtp;
   workflow_StatusBar statusBar = new workflow_StatusBar();
   workflow_Document wdoc;
   workflow_DocumentActionContent wdac;
   workflow_Graph2Gxl he;
  static String upname, depname1;
  public static String path, path1;

// 定义ACTION变量
  protected Action
      export;

// 定义其它J字头组件
  URL insertUrl1 = workflow_main.class.getClassLoader().getResource(
      "resources/16.gif");
  TitledBorder titledBorder1;
  JSplitPane jSplitPane1 = new JSplitPane();
  JTabbedPane jTabbedPane1 = new JTabbedPane();

//构造方法,带workflow_login传入的用户名称

  public workflow_main(String uname,String depname) {
    he = new workflow_Graph2Gxl(path);
    upname = uname;
    depname1 = depname;
    try {
      jbInit();
    }
    catch (Exception e) {
      e.printStackTrace();
    }

  }

//JB的INIT方法,初始化界面
  private void jbInit() throws Exception {

    titledBorder1 = new TitledBorder("");
    wtp = new workflow_JClosableTabbedPane();
    jTree1 = new workflow_FlowTree(gd, wtp, path, path1,upname,depname1);
    ContentPane = (JPanel)this.getContentPane();
    ContentPane.setLayout(borderLayout1);
    jTabbedPane1.setEnabled(true);
    jTabbedPane1.setDoubleBuffered(true);
    jTabbedPane1.setOpaque(false);
    jTabbedPane1.setPreferredSize(new Dimension(170, 55));
    jTabbedPane1.setToolTipText("流程管理");


    wtp.setDebugGraphicsOptions(0);
    wtp.setDoubleBuffered(true);
    wtp.setOpaque(true);
    wtp.setToolTipText("模型设计标签");


    jTabbedPane1.add(jTree1.createTree(), "流程管理");
    ContentPane.setLayout(new BorderLayout());
    ContentPane.setEnabled(true);
    ContentPane.add(statusBar, BorderLayout.SOUTH);
    jSplitPane1.setBorder(BorderFactory.createEtchedBorder());
    ContentPane.add(this.bar(), BorderLayout.NORTH);
    ContentPane.add(jSplitPane1, BorderLayout.CENTER);
    jSplitPane1.add(jTabbedPane1, JSplitPane.LEFT);
    jSplitPane1.add(this.wtp, JSplitPane.RIGHT);

    this.setJMenuBar(menuTest); //设置菜单

  }

//主方法体.........
  public static void main(String argv[]) {

    check_filepath(); //检查GXL存放目录方法
    initComponentStly(); //设置系统界面风格

    workflow_main wm = new workflow_main(upname,depname1);

    wm.setDefaultCloseOperation(wm.EXIT_ON_CLOSE);
    wm.addWindowListener(new WindowAdapter() {
      public void windowClosing(WindowEvent e) {
        jTree1.serializableNode(jTree1.root);
        System.exit(0);
      }
    });

    wm.setSize(830, 560);
    wm.setTitle("电子政务公文流转管理器1.0v   当前用户:" + upname + "  所在部门 :" + depname1 );
    wm.show();

  }

// 主菜单定义
  class MenuTest
      extends JMenuBar {

    public MenuTest() {

      JMenu fileMenu = new JMenu("文件(F)");

      JMenuItem exitMenuItem = new JMenuItem("退出系统",
                                             new ImageIcon(workflow_main.class.
          getResource(
          "resources/Exit.gif")));
      exitMenuItem.setAccelerator(KeyStroke.getKeyStroke('E',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      JMenuItem newMenuItem = new JMenuItem("新建流程模型",
                                            new ImageIcon(workflow_main.class.
          getResource(
          "resources/ModuleDefine.gif")));
      newMenuItem.setAccelerator(KeyStroke.getKeyStroke('N',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      fileMenu.add(newMenuItem);
      fileMenu.add(exitMenuItem);


      JMenu fileMenu_edit = new JMenu("编辑(E)");

      JMenuItem testMenuItem = new JMenuItem("编辑流程",
                                             new ImageIcon(workflow_main.class.
          getResource(
          "resources/GenericNew.gif")));
      testMenuItem.setAccelerator(KeyStroke.getKeyStroke('E',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      JMenuItem displayMenuItem = new JMenuItem("显示GXL代码",
                                                new ImageIcon(workflow_main.class.
          getResource(
          "resources/ActivitySetNew.gif")));
      displayMenuItem.setAccelerator(KeyStroke.getKeyStroke('D',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      JMenuItem cutMenuItem = new JMenuItem("剪贴",
                                            new ImageIcon(workflow_main.class.
          getResource(
          "resources/cut.gif")));
      cutMenuItem.setAccelerator(KeyStroke.getKeyStroke('C',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      JMenuItem copyMenuItem = new JMenuItem("复制",
                                             new ImageIcon(workflow_main.class.
          getResource(
          "resources/copy.gif")));
      copyMenuItem.setAccelerator(KeyStroke.getKeyStroke('O',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      JMenuItem redoMenuItem = new JMenuItem("重作",
                                             new ImageIcon(workflow_main.class.
          getResource(
          "resources/ModuleOm.gif")));
      redoMenuItem.setAccelerator(KeyStroke.getKeyStroke('R',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      fileMenu_edit.add(testMenuItem);
      fileMenu_edit.addSeparator();
      fileMenu_edit.add(displayMenuItem);
      fileMenu_edit.add(cutMenuItem);
      fileMenu_edit.add(copyMenuItem);
      fileMenu_edit.add(redoMenuItem);
      JMenu fileMenu_workflow = new JMenu("流程事务管理(L)");

      JMenuItem fileMenu_workflow_new = new JMenuItem("创建新事务",
          new ImageIcon(workflow_main.class.getResource(
          "resources/ShowCode.gif")));
      fileMenu_workflow_new.setAccelerator(KeyStroke.getKeyStroke('F',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      JMenuItem fileMenu_workflow_edit = new JMenuItem("事务流程关联",
          new ImageIcon(workflow_main.class.getResource(
          "resources/PackageNew.gif")));
      fileMenu_workflow_edit.setAccelerator(KeyStroke.getKeyStroke('I',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      fileMenu_workflow.add(fileMenu_workflow_new);
      fileMenu_workflow.add(fileMenu_workflow_edit);

// 公文关联管理

      JMenu fileMenu_doc = new JMenu("文件管理(F)");
      JMenuItem fileMenu_doc_new = new JMenuItem("创建新公文",
                                                 new ImageIcon(workflow_main.class.
          getResource(
          "resources/workflowProcessNew.gif")));
      fileMenu_doc_new.setAccelerator(KeyStroke.getKeyStroke('D',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      JMenuItem fileMenu_doc_edit = new JMenuItem("流程文件关联",
                                                  new ImageIcon(workflow_main.class.
          getResource(
          "resources/ModuleMonitor.gif")));

      fileMenu_doc_edit.setAccelerator(KeyStroke.getKeyStroke('G',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      JMenuItem fileMenu_doc_action = new JMenuItem("公文流转情况",
          new ImageIcon(workflow_main.class.
                        getResource(
          "resources/ModuleMonitor.gif")));

      fileMenu_doc_action.setAccelerator(KeyStroke.getKeyStroke('Q',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      fileMenu_doc.add(fileMenu_doc_new);
      fileMenu_doc.add(fileMenu_doc_edit);
      fileMenu_doc.add(fileMenu_doc_action);

      JMenu fileMenu_about = new JMenu("关于(A)");

      JMenuItem fileMenu_about_about = new JMenuItem("关于JWFD",
          new ImageIcon(workflow_main.class.getResource(
          "resources/About.gif")));

      fileMenu_about_about.setAccelerator(KeyStroke.getKeyStroke('A',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));

      JMenuItem fileMenu_about_help = new JMenuItem("帮助",
          new ImageIcon(workflow_main.class.getResource(
          "resources/CheckPackageInvalid.gif")));

      fileMenu_about_help.setAccelerator(KeyStroke.getKeyStroke('H',
          Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(), false));