| Package | Description |
|---|---|
| org.scribble.logging | |
| org.scribble.parser | |
| org.scribble.projection | |
| org.scribble.projection.rules | |
| org.scribble.validation | |
| org.scribble.validation.rules |
| Modifier and Type | Class and Description |
|---|---|
class |
ConsoleIssueLogger
This class provides an implementation of the journal that
reports issues to the console.
|
| Modifier and Type | Method and Description |
|---|---|
Module |
ProtocolParser.parse(Resource resource,
ModuleLoader loader,
IssueLogger logger)
This method parses the scribble protocol contained in the supplied
resource.
|
| Constructor and Description |
|---|
ProtocolModuleLoader(ProtocolParser parser,
ResourceLocator locator,
IssueLogger logger)
This constructor initializes the module loader.
|
| Modifier and Type | Method and Description |
|---|---|
Set<Module> |
ProtocolProjector.project(ModuleContext context,
Module module,
IssueLogger logger)
This method projects the supplied module, reporting
any issues to the logger.
|
| Modifier and Type | Method and Description |
|---|---|
protected static Object |
GChoiceProjectionRule.extractCommonBehaviour(LChoice projected,
RoleDecl role,
IssueLogger l)
Extract common behaviour.
|
protected static void |
GChoiceProjectionRule.groupSubpathsWithCommonInitiator(LChoice projected,
RoleDecl role,
IssueLogger l)
This method checks whether choice paths should be grouped into sub-paths
with common initiating interaction sentences.
|
protected static Object |
GChoiceProjectionRule.merge(LChoice projected,
RoleDecl role,
IssueLogger l)
This method processes a choice construct.
|
Object |
ModuleProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GContinueProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GProtocolDefinitionProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GRecursionProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GChoiceProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GParallelProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GDoProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
ProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GInterruptibleProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GProtocolInstanceProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GMessageTransferProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
Object |
GBlockProjectionRule.project(ModuleContext context,
ModelObject mobj,
RoleDecl role,
IssueLogger logger)
This method projects the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
AbstractProtocolDeclProjectionRule.projectProtocolDecl(ModuleContext context,
ProtocolDecl elem,
LProtocolDecl ret,
RoleDecl role,
IssueLogger logger)
This method projects the protocol declaration information common to protocol
definitions and instances.
|
| Modifier and Type | Method and Description |
|---|---|
void |
ProtocolValidator.validate(ModuleContext context,
Module module,
IssueLogger logger)
This method validates the supplied module, reporting
any issues to the logger.
|
| 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.
|
void |
GBlockValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LProtocolDefinitionValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
GChoiceValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
ValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LParallelValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LRecursionValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
MessageValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LInterruptibleValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
GContinueValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
GProtocolDefinitionValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
GDoValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LDoValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LChoiceValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
ModuleValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
GRecursionValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
GInterruptibleValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LBlockValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
GParallelValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LProtocolInstanceValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
GProtocolInstanceValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
ImportDeclValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
GMessageTransferValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LSendValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
LReceiveValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
void |
MessageSignatureValidationRule.validate(ModuleContext context,
ModelObject mobj,
IssueLogger logger)
This method validates the supplied model object
and reports any relevant issues to the supplied logger.
|
Copyright © 2014. All Rights Reserved.