📄 resourcemanager.java
字号:
/* * ResourceManager.java * * Created on 2004年12月24日, 上午10:35 */package workflow.xwfbox.resource;import java.util.Vector;import java.util.Iterator;import workflow.xwfbox.engine.InstanceBinding;/** * * @author Administrator */public class ResourceManager { Organization _Organization; /** Creates a new instance of ResourceManager */ public ResourceManager() { String inxml = "D:/xwfbox-v3/source/xml/organization/Organization.org"; String mp = "file:///D:/xwfbox-v3/source/xml/mapping/ResourceMapping.xml"; _Organization = (Organization)InstanceBinding.getXMLInfo(inxml, mp); } public Organization getOrganization() { return _Organization; } public String getWorkListPath(String type) { if (type.equals("HUMAN")) { return _Organization.getUserPath(); } else if (type.equals("ROLE")) { return _Organization.getRolePath(); } else if (type.equals("DEPARTMENT")) { return _Organization.getDeptPath(); } else return "ERROR"; } public String getParticipantType(String participantId) { Vector users = (Vector)_Organization.getUsers().getUsers(); Iterator it = users.iterator(); while (it.hasNext()) { User user = (User)it.next(); if (user.getId().equals(participantId)) { return "HUMAN"; } } Vector roles = (Vector)_Organization.getRoles().getRoles(); it = roles.iterator(); while (it.hasNext()) { Role role = (Role)it.next(); if (role.getId().equals(participantId)) { return "ROLE"; } } Vector depts = (Vector)_Organization.getDepartments().getDepartments(); it = depts.iterator(); while (it.hasNext()) { Department dept = (Department)it.next(); if (dept.getId().equals(participantId)) { return "DEPARTMENT"; } } return null; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -