| Package | Description |
|---|---|
| org.scribble.model | |
| org.scribble.model.global | |
| org.scribble.model.local |
| Constructor and Description |
|---|
RoleInstantiation(RoleInstantiation role)
This is the copy constructor.
|
| Modifier and Type | Method and Description |
|---|---|
RoleInstantiation |
GDo.getRoleInstantiation(RoleDecl role)
This method returns the role instantiation associated with the supplied
role name, or null if not found.
|
RoleInstantiation |
GProtocolInstance.getRoleInstantiation(RoleDecl role)
This method returns the role instantiation associated with the supplied
role name, or null if not found.
|
| Modifier and Type | Method and Description |
|---|---|
List<RoleInstantiation> |
GDo.getRoleInstantiations()
This method returns the argument list.
|
List<RoleInstantiation> |
GProtocolInstance.getRoleInstantiations()
This method returns the role declarations associated with
the protocol.
|
| Modifier and Type | Method and Description |
|---|---|
List<RoleInstantiation> |
LDo.getRoleInstantiations()
This method returns the argument list.
|
List<RoleInstantiation> |
LProtocolInstance.getRoleInstantiations()
This method returns the role declarations associated with
the protocol.
|
Copyright © 2014. All Rights Reserved.