⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 workspacemanager.java

📁 osworkflow修改版本
💻 JAVA
字号:
package com.opensymphony.workflow.config;import java.io.*;import java.util.*;import java.net.URL;import com.opensymphony.workflow.FactoryException;import com.opensymphony.workflow.designer.event.WorkspaceListener;import com.opensymphony.workflow.designer.event.WorkspaceEvent;import com.opensymphony.workflow.loader.Workspace;/** * @author Hani Suleiman (hani@formicary.net) * Date: May 15, 2003 * Time: 7:57:28 PM */public class WorkspaceManager{  private Workspace currentWorkspace = null;  private Collection listeners;  public void loadWorkspace(URL url) throws FactoryException, IOException  {    fireWorkspaceClosed();    saveWorkspace();    DefaultConfiguration config = new DefaultConfiguration();    config.load(url);    currentWorkspace  = (Workspace)config.getFactory();    fireWorkspaceOpened();  }  public void addWorkspaceListener(WorkspaceListener listener)  {    if(listeners==null)    {      listeners = new HashSet();    }    listeners.add(listener);  }  public void removeWorkspaceListener(WorkspaceListener listener)  {    if(listeners==null) return;    listeners.remove(listener);  }  protected void fireWorkspaceOpened()  {    if(listeners==null) return;    WorkspaceEvent event = new WorkspaceEvent(this, currentWorkspace, WorkspaceEvent.WORKSPACE_OPENED);    notifyListeners(event);  }  protected void fireWorkspaceClosed()  {    if(listeners==null) return;    WorkspaceEvent event = new WorkspaceEvent(this, currentWorkspace, WorkspaceEvent.WORKSPACE_CLOSED);    notifyListeners(event);  }  private void notifyListeners(WorkspaceEvent event)  {    Iterator iter = listeners.iterator();    while(iter.hasNext())    {      WorkspaceListener listener = (WorkspaceListener)iter.next();      listener.workspaceChanged(event);      if(event.isConsumed()) return;    }  }  public void setCurrentWorkspace(Workspace current)  {    saveWorkspace();    if(this.currentWorkspace!=null)      fireWorkspaceClosed();    currentWorkspace = current;    if(currentWorkspace!=null)      fireWorkspaceOpened();  }  public void saveWorkspace()  {    if(currentWorkspace!=null)    {      currentWorkspace.save();    }  }  public Workspace getCurrentWorkspace()  {    return currentWorkspace;  }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -