public interface RoleEditor extends Editor<org.jboss.errai.security.shared.api.Role,org.jboss.errai.security.shared.api.Role>
A role editor.
Modifier and Type | Method and Description |
---|---|
PerspectiveActivity |
homePerspective()
The role's home perspective
|
String |
name()
The role name.
|
PermissionCollection |
permissions()
The role's permissions
|
int |
rolePriority()
The role's priority
|
edit, flush, getValue, setViolations
String name()
PermissionCollection permissions()
PerspectiveActivity homePerspective()
int rolePriority()
Copyright © 2012–2019 JBoss by Red Hat. All rights reserved.