graphtabbedpane.java

一个很好实用的工作流OSWORKFLOW开发例子.有着非常优秀的灵活性.

package com.opensymphony.workflow.designer;

import java.util.List;
import java.util.ArrayList;
import javax.swing.*;
import javax.swing.event.*;

/**
 * User: Hani Suleiman
 * Date: Jan 9, 2004
 * Time: 1:22:46 PM
 */
public class GraphTabbedPane extends JTabbedPane
{
  private List graphs = new ArrayList();

  public GraphTabbedPane()
  {
    // register a change listener
    addChangeListener(new ChangeListener()
    {
      // this method is called whenever the selected tab changes
      public void stateChanged(ChangeEvent evt)
      {
        WorkflowDesigner.INSTANCE.showSelectedCellDetails();
      }
    });
  }

  public WorkflowGraph getCurrentGraph()
  {
    int index = getSelectedIndex();
    if(index == -1 || index >= graphs.size()) return null;
    return (WorkflowGraph)graphs.get(index);
  }

  public boolean selectWorkflow(String workflowName)
  {
    for(int i = 0; i < getTabCount(); i++)
    {
      String name = getTitleAt(i);
      if(name.equals(workflowName))
      {
        setSelectedIndex(i);
        getCurrentGraph().getSelectionModel().clearSelection();
        return true;
      }
    }
    return false;
  }

  public void addGraph(WorkflowGraph graph)
  {
    graphs.add(graph);
    add(graph.getName(), new JScrollPane(graph));
    setSelectedIndex(getComponentCount() - 1);
  }

  public void removeAll()
  {
    super.removeAll();
    graphs.clear();
  }

  public WorkflowGraph[] getGraphs()
  {
    WorkflowGraph[] g = new WorkflowGraph[graphs.size()];
    graphs.toArray(g);
    return g;
  }

  public WorkflowGraph getGraph(String workflowName)
  {
    for(int i = 0; i < graphs.size(); i++)
    {
      WorkflowGraph graph = (WorkflowGraph)graphs.get(i);
      if(graph.getName().equals(workflowName))
      {
        return graph;
      }
    }
    return null;
  }

  public void renameGraph(String name, String newName)
  {
    for(int i = 0; i < graphs.size(); i++)
    {
      WorkflowGraph graph = (WorkflowGraph)graphs.get(i);
      if(graph.getName().equals(name))
      {
        graph.setName(newName);
        setTitleAt(i, newName);
        return;
      }
    }
  }

  public void removeGraph(String name)
  {
    for(int i = 0; i < graphs.size(); i++)
    {
      WorkflowGraph graph = (WorkflowGraph)graphs.get(i);
      if(graph.getName().equals(name))
      {
        removeTabAt(i);
        graphs.remove(i);
        revalidate();
        return;
      }
    }
  }

  public void removeGraph(WorkflowGraph graph)
  {
    for(int i = 0; i < graphs.size(); i++)
    {
      WorkflowGraph g = (WorkflowGraph)graphs.get(i);
      if(graph == g)
      {
        removeTabAt(i);
        graphs.remove(i);
        revalidate();
        return;
      }
    }
  }
}