| Package | Description |
|---|---|
| org.scribble.model | |
| org.scribble.model.global | |
| org.scribble.model.local | |
| org.scribble.validation.rules |
| Modifier and Type | Method and Description |
|---|---|
Role |
Module.getLocatedRole()
This method returns the role associated with a local module.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
RoleDecl.isRole(Role role)
Determines whether the role declaration is associated with the
supplied role.
|
| Constructor and Description |
|---|
Role(Role role)
This is the copy constructor.
|
| Modifier and Type | Method and Description |
|---|---|
Role |
GMessageTransfer.getFromRole()
This method returns the 'from' role.
|
Role |
GChoice.getRole()
This method returns the role.
|
Role |
GInterruptible.Interrupt.getRole()
This method gets the 'by' role.
|
| Modifier and Type | Method and Description |
|---|---|
List<Role> |
GMessageTransfer.getToRoles()
This method returns the 'to' roles.
|
| Modifier and Type | Method and Description |
|---|---|
void |
GMessageTransfer.setFromRole(Role part)
This method sets the 'from' role.
|
void |
GChoice.setRole(Role role)
This method sets the role.
|
void |
GInterruptible.Interrupt.setRole(Role role)
This method sets the 'by' role.
|
| Modifier and Type | Method and Description |
|---|---|
void |
GRecursion.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
abstract void |
GActivity.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
void |
GChoice.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
void |
GDo.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
void |
GInterruptible.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
void |
GBlock.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
void |
GContinue.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
void |
GParallel.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
void |
GCustomActivity.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
void |
GMessageTransfer.identifyInvolvedRoles(Set<Role> roles)
This method builds up the set of roles involved in the global
activity.
|
void |
GMessageTransfer.setToRoles(List<Role> part)
This method sets the 'to' roles.
|
| Constructor and Description |
|---|
GMessageTransfer(Message sig,
Role fromRole,
List<Role> toRoles)
This method initializes the 'from' and 'to' roles, and
message signature.
|
| Constructor and Description |
|---|
GMessageTransfer(Message sig,
Role fromRole,
List<Role> toRoles)
This method initializes the 'from' and 'to' roles, and
message signature.
|
| Modifier and Type | Method and Description |
|---|---|
Role |
LReceive.getFromRole()
This method returns the optional 'from' role.
|
Role |
LProtocolDecl.getLocalRole()
This method returns the local role.
|
Role |
LInterruptible.Catch.getRole()
This method gets the 'from' role.
|
Role |
LChoice.getRole()
This method returns the role.
|
| Modifier and Type | Method and Description |
|---|---|
List<Role> |
LSend.getToRoles()
This method returns the 'to' roles.
|
List<Role> |
LInterruptible.Throw.getToRoles()
This method returns the 'to' roles.
|
| Modifier and Type | Method and Description |
|---|---|
void |
LReceive.setFromRole(Role part)
This method sets the optional 'from' role.
|
void |
LProtocolDecl.setLocalRole(Role role)
This method sets the local role.
|
void |
LInterruptible.Catch.setRole(Role role)
This method sets the 'from' role.
|
void |
LChoice.setRole(Role role)
This method sets the role.
|
| Modifier and Type | Method and Description |
|---|---|
void |
LSend.setToRoles(List<Role> part)
This method sets the 'to' roles.
|
void |
LInterruptible.Throw.setToRoles(List<Role> part)
This method sets the 'to' roles.
|
| Constructor and Description |
|---|
LReceive(Message sig,
Role fromRole)
This constructor initializes the 'from' role and message
signature.
|
LSend(Message sig,
Role toRole)
This constructor initializes the 'to' role and message
signature.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
GChoiceValidationRule.checkReceiverBeforeOtherActivity(ModuleContext context,
GBlock block,
Set<Role> roles,
IssueLogger logger)
This method checks that the first activity for a role is a message transfer where the
role is the receiver.
|
protected void |
GChoiceValidationRule.checkReceiverOpSigDistinct(ModuleContext context,
GBlock block,
Set<Role> roles,
Map<Role,Set<String>> operators,
Map<Role,Set<String>> signatures,
IssueLogger logger)
This method checks that the initial receiver for each non-choice role has a distinct operator
or signature.
|
protected void |
GChoiceValidationRule.checkReceiverOpSigDistinct(ModuleContext context,
GBlock block,
Set<Role> roles,
Map<Role,Set<String>> operators,
Map<Role,Set<String>> signatures,
IssueLogger logger)
This method checks that the initial receiver for each non-choice role has a distinct operator
or signature.
|
protected void |
GChoiceValidationRule.checkReceiverOpSigDistinct(ModuleContext context,
GBlock block,
Set<Role> roles,
Map<Role,Set<String>> operators,
Map<Role,Set<String>> signatures,
IssueLogger logger)
This method checks that the initial receiver for each non-choice role has a distinct operator
or signature.
|
Copyright © 2014. All Rights Reserved.