| Package | Description |
|---|---|
| org.scribble.model.global | |
| org.scribble.validation.rules |
| Modifier and Type | Method and Description |
|---|---|
GBlock |
GRecursion.getBlock()
This method returns the activities.
|
GBlock |
GInterruptible.getBlock()
This method returns the activities.
|
abstract GBlock |
GSinglePathActivity.getBlock()
This method returns the single path.
|
GBlock |
GProtocolDefinition.getBlock()
This method returns the block of activities associated
with the definition.
|
| Modifier and Type | Method and Description |
|---|---|
abstract List<GBlock> |
GMultiPathActivity.getPaths()
This method returns the list of paths.
|
List<GBlock> |
GChoice.getPaths()
This method returns the list of mutually exclusive
activity blocks that comprise the multi-path construct.
|
List<GBlock> |
GParallel.getPaths()
This method returns the list of concurrent
activity blocks that comprise the multi-path construct.
|
| Modifier and Type | Method and Description |
|---|---|
void |
GVisitor.end(GBlock elem)
This method indicates the end of a
block.
|
void |
DefaultGVisitor.end(GBlock elem)
This method indicates the end of a
block.
|
void |
GRecursion.setBlock(GBlock block)
This method sets the block.
|
void |
GInterruptible.setBlock(GBlock block)
This method sets the block.
|
void |
GProtocolDefinition.setBlock(GBlock block)
This method sets the block of activities associated
with the definition.
|
boolean |
GVisitor.start(GBlock elem)
This method indicates the start of a
block.
|
boolean |
DefaultGVisitor.start(GBlock elem)
This method indicates the start of a
block.
|
| 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.
|
Copyright © 2014. All Rights Reserved.