|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Role | |
---|---|
lij.model | Classes that together constitute the data model of an LCC protocl. |
Uses of Role in lij.model |
---|
Fields in lij.model with type parameters of type Role | |
---|---|
private java.util.HashMap<Term,Role> |
Framework.roles
|
Methods in lij.model that return Role | |
---|---|
Role |
Framework.getInitialRole()
Returns the Role definition that is of the kind "initial". |
Methods in lij.model that return types with arguments of type Role | |
---|---|
java.util.HashMap<Term,Role> |
Framework.getRoles()
Accessor. |
Methods in lij.model with parameters of type Role | |
---|---|
void |
Framework.addRole(Role newRole)
Adds a new Role into the Framework's map of Role definitions. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |