public class GChoiceValidationRule extends Object implements ValidationRule
| Constructor and Description |
|---|
GChoiceValidationRule() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
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 |
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.
|
void |
validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
public void validate(ModuleContext context, ModelObject mobj, IssueLogger logger)
validate in interface ValidationRulecontext - The validation contextmobj - The model objectlogger - The loggerprotected void checkReceiverBeforeOtherActivity(ModuleContext context, GBlock block, Set<Role> roles, IssueLogger logger)
context - The contextblock - The blockroles - The roles to checklogger - The loggerprotected void checkReceiverOpSigDistinct(ModuleContext context, GBlock block, Set<Role> roles, Map<Role,Set<String>> operators, Map<Role,Set<String>> signatures, IssueLogger logger)
context - The contextblock - The blockroles - The roles to checklogger - The loggerCopyright © 2014. All Rights Reserved.