📄 rolemanagerservice.java
字号:
/* * Created by IntelliJ IDEA. * User: russell * Date: Jan 31, 2003 * Time: 4:06:44 AM * To change template for new class use * Code Style | Class Templates options (Tools | IDE Options). */package org.gridsphere.services.core.security.role;import org.gridsphere.portlet.service.PortletService;import org.gridsphere.services.core.persistence.QueryFilter;import org.gridsphere.services.core.user.User;import java.util.List;public interface RoleManagerService extends PortletService { public List<PortletRole> getRoles(); public void deleteRole(PortletRole role); public PortletRole getRole(String roleName); public void saveRole(PortletRole role); public boolean isUserInRole(User user, PortletRole role); public List<PortletRole> getRolesForUser(User user); public int getNumUsersInRole(PortletRole role); public List<User> getUsersInRole(PortletRole role); public List<User> getUsersInRole(PortletRole role, QueryFilter filter); public void addUserToRole(User user, PortletRole role); public void deleteUserInRole(User user, PortletRole role); public List<PortletRole> getDefaultRoles(); public void addDefaultRole(PortletRole role); public void removeDefaultRole(PortletRole role);}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -