| Modifier and Type | Class and Description |
|---|---|
class |
DefaultModuleContext
This class implements the validation context.
|
| Modifier and Type | Method and Description |
|---|---|
SessionType |
MonitorExporter.export(ModuleContext context,
LProtocolDefinition protocol)
This method returns the session type associated with the supplied protocol.
|
| Modifier and Type | Method and Description |
|---|---|
void |
LBlockNodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
void |
LSendNodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
void |
LContinueNodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
void |
LInterruptibleNodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
void |
LRecursionNodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
void |
LReceiveNodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
void |
LDoNodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
void |
LParallelNodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
void |
NodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
void |
LChoiceNodeExporter.export(ModuleContext context,
ExportState state,
ModelObject mobj,
SessionType type)
This method exports the model object to the session type.
|
protected void |
LInterruptibleNodeExporter.exportCatch(ModuleContext context,
ExportState state,
LInterruptible.Catch elem,
SessionType type,
Message mesg) |
protected void |
LInterruptibleNodeExporter.exportThrow(ModuleContext context,
ExportState state,
LInterruptible elem,
SessionType type,
Message mesg) |
| 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 |
|---|---|
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.