📄 worklistmanager.java
字号:
/* * WorkListManager.java * * Created on 2004年12月24日, 上午11:24 */package workflow.xwfbox.worklist;import workflow.xwfbox.engine.InstanceBinding;import java.util.Date;import java.util.Calendar;import java.util.Vector;import java.util.Iterator;/** * * @author Administrator */public class WorkListManager { String inxml; String mp = "file:///D:/xwfbox-v3/source/xml/mapping/WorkListMapping.xml"; WorkList _WorkList = null; /** Creates a new instance of WorkListManager */ public WorkListManager(String participantId, String worklistPath) { inxml = worklistPath + participantId + "WorkList.xml"; _WorkList = (WorkList)InstanceBinding.getXMLInfo(inxml, mp); } public void pushWorkItem(String TaskId, String TaskName, String InstanceId) { if (_WorkList == null) { _WorkList = new WorkList(); } WorkItem wi = new WorkItem(); wi.setTaskId(TaskId); wi.setTaskName(TaskName); wi.setInstanceId(InstanceId); Calendar rightNow = Calendar.getInstance(); Date time = rightNow.getTime(); wi.setArrival(time); wi.setState("START"); _WorkList.getWorkItems().addElement(wi); int ret = InstanceBinding.putXMLInfo(_WorkList, inxml, mp); } public Vector getWorkItems() { if (_WorkList != null) return _WorkList.getWorkItems(); else return null; } public WorkItem getWorkItem(String workItemId) { Iterator it = _WorkList.getWorkItems().iterator(); while (it.hasNext()) { WorkItem wi = (WorkItem)it.next(); if (wi.getTaskId().equals(workItemId)) { return wi; } } return null; } public void setWorkItemState(String workItemId, String state) { WorkItem wi = getWorkItem(workItemId); wi.setState(state); } public void setWorkItemFinishTime(String workItemId, Date time) { WorkItem wi = getWorkItem(workItemId); wi.setFinished(time); } public void update() { int ret = InstanceBinding.putXMLInfo(_WorkList, inxml, mp); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -