creategui.java

Petri网分析工具PIPE is open-source

package pipe.gui;

import java.io.File;
import java.util.ArrayList;

import javax.swing.JScrollPane;
import javax.swing.JSplitPane;
import javax.swing.JTabbedPane;
import javax.swing.JTree;
import javax.swing.border.EmptyBorder;

import pipe.dataLayer.DataLayer;


public class CreateGui implements Constants {
  public static GuiFrame appGui;
  private static Animator animator;
  private static JTabbedPane appTab;
  private static int freeSpace;
  
  private static ArrayList tabs=new ArrayList();
  
  public static String appPath, imgPath, userPath; // useful for stuff

  private static class TabData { // a structure for holding a tab's data
    public DataLayer appModel;
    public GuiView appView;
    public File appFile;
  }

  /** The Module will go in the top pane, the animation window in the bottom pane */
  public static JSplitPane leftPane;
  public static AnimationHistory animBox;
  public static JScrollPane scroller;

  public static void init(){

    appPath=ExtFileManager.getClassRoot((new Grid()).getClass()).toString()+System.getProperty("file.separator");
    imgPath=appPath+"Images"+System.getProperty("file.separator");
    userPath=null; // make the initial dir for browsing be My Documents (win), ~ (*nix), etc

    appGui = new GuiFrame("PIPE: Platform Independent Petri Net Editor");

    Grid.enableGrid();
    
    appTab = new JTabbedPane();

    animator = new Animator();
    appGui.setTab();   // sets Tab properties
    
    // create the tree
    ModuleManager moduleManager = new ModuleManager();
    JTree moduleTree = moduleManager.getModuleTree();

    leftPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT,moduleTree,null);
    leftPane.setContinuousLayout(true);
    leftPane.setDividerSize(0);

    JSplitPane pane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,leftPane,appTab);
    pane.setContinuousLayout(true);
    pane.setOneTouchExpandable(true);
    pane.setBorder(null); // avoid multiple borders
    pane.setDividerSize(8);

    appGui.getContentPane().add(pane);
    appGui.createNewTab(null);

    appGui.setVisible(true);
  }
  
  public static GuiFrame getApp(){  //returns a reference to the application
    return appGui;
  }
  
  public static DataLayer getModel(){
    return getModel(appTab.getSelectedIndex());
  }

  public static void nullModel(int index){
    try {
      TabData tab=(TabData)(tabs.get(index));
      tab.appModel=null;
    } catch (ArrayIndexOutOfBoundsException e) {
      System.err.println("Tried to null model with bad index");
    }
  }

  public static void nullView(int index){
    try {
      TabData tab=(TabData)(tabs.get(index));
      tab.appView=null;
    } catch (ArrayIndexOutOfBoundsException e) {
      System.err.println("Tried to null view with bad index");
    }
  }

  public static DataLayer getModel(int index){
    if(index<0) return null;
    TabData tab=(TabData)(tabs.get(index));
    if(tab.appModel==null) tab.appModel=new DataLayer();
    return tab.appModel; 
  }

  public static GuiView getView(int index){
    if(index<0) return null;
    TabData tab=(TabData)(tabs.get(index));
    if(tab.appView==null) tab.appView=new GuiView();
    return tab.appView;
  }

  public static GuiView getView(){
    return getView(appTab.getSelectedIndex());
  }
  
  public static File getFile(){
    TabData tab=(TabData)(tabs.get(appTab.getSelectedIndex()));
    return tab.appFile;
  }

  public static void setFile(File modelfile, int fileNo){
    if(fileNo>=tabs.size()) return;
    TabData tab=(TabData)(tabs.get(fileNo));
    tab.appFile=modelfile;
  }

  public static int getFreeSpace(){
    tabs.add(new TabData());
    return tabs.size()-1;
  }
  
  public static void removeTab(int index) {
    tabs.remove(index);
  }

  public static JTabbedPane getTab(){
    return appTab;
  }

  public static Animator getAnimator(){
    return animator;
  }


  /** returns the current dataLayer object - used to get a reference to pass to the modules */
  public static DataLayer currentPNMLData() {
    if(appTab.getSelectedIndex()<0) return null;
    TabData tab=(TabData)(tabs.get(appTab.getSelectedIndex()));
    return tab.appModel;
  }

  /** Creates a new animationHistory text area, and returns a reference to it*/
  public static void addAnimationHistory() {
    try {
      animBox = new AnimationHistory("Animation history\n");
      animBox.setEditable(false);

      scroller = new JScrollPane(animBox);
      scroller.setBorder(new EmptyBorder(0,0,0,0)); // make it less bad on XP

      leftPane.setBottomComponent(scroller);

      leftPane.setDividerLocation(0.5);
      leftPane.setDividerSize(8);
    } catch (javax.swing.text.BadLocationException be){
      be.printStackTrace();
    }
  }

  public static void removeAnimationHistory() {
    if (scroller != null) {
      leftPane.remove(scroller);
      leftPane.setDividerLocation(0);
      leftPane.setDividerSize(0);
    }
  }


  public static AnimationHistory getAnimationHistory() {
    return animBox;
  }
}