📄 rolemanager.java
字号:
package net.sourceforge.ganttproject.roles;import java.util.EventListener;import java.util.EventObject;/** * @author athomas */public interface RoleManager { public RoleSet createRoleSet(String name); public RoleSet[] getRoleSets(); /** Clear the role list */ public void clear(); /** Return all roles exept the default roles */ // public String [] getRolesShort(); public Role[] getProjectLevelRoles(); /** Load roles from the file */ /** Add a role on the list */ public void add(int ID, String role); public class Access { public static RoleManager getInstance() { return ourInstance; } private static RoleManager ourInstance = new RoleManagerImpl(); } public static int DEFAULT_ROLES_NUMBER = 11; public RoleSet getProjectRoleSet(); public RoleSet getRoleSet(String rolesetName); public Role[] getEnabledRoles(); public Role getDefaultRole(); public void importData(RoleManager roleManager); public void addRoleListener(Listener listener); public void removeRoleListener(Listener listener); public interface Listener extends EventListener { public void rolesChanged(RoleEvent e); } public class RoleEvent extends EventObject { private RoleSet myChangedRoleSet; public RoleEvent(RoleManager source, RoleSet changedRoleSet) { super(source); myChangedRoleSet = changedRoleSet; } public RoleSet getChangedRoleSet() { return myChangedRoleSet; } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -