A

AbstractModelAdaptor - Class in org.scribble.parser.antlr

This class provides the absteact based implementation for a model adapter.

AbstractModelAdaptor() - Constructor for class org.scribble.parser.antlr.AbstractModelAdaptor

 

AbstractProtocolDeclProjectionRule - Class in org.scribble.projection.rules

This class is the abstract base class for the GProtocolDefinition and GProtocolInstance projection rules.

AbstractProtocolDeclProjectionRule() - Constructor for class org.scribble.projection.rules.AbstractProtocolDeclProjectionRule

 

AbstractResource - Class in org.scribble.resources

This class represents the resource.

AbstractResource(String) - Constructor for class org.scribble.resources.AbstractResource

The constructor.

accept(GProtocolInstance) - Method in class org.scribble.model.global.DefaultGVisitor

This method visits a protocol instance.

accept(GMessageTransfer) - Method in class org.scribble.model.global.DefaultGVisitor

This method visits an interaction component.

accept(GContinue) - Method in class org.scribble.model.global.DefaultGVisitor

This method visits a recursion component.

accept(GDo) - Method in class org.scribble.model.global.DefaultGVisitor

This method visits a do component.

accept(GCustomActivity) - Method in class org.scribble.model.global.DefaultGVisitor

This method visits a custom activity.

accept(PayloadTypeDecl) - Method in class org.scribble.model.global.DefaultGVisitor

This method visits a type import component.

accept(ImportDecl) - Method in class org.scribble.model.global.DefaultGVisitor

This method visits a protocol import component.

accept(GProtocolInstance) - Method in interface org.scribble.model.global.GVisitor

This method visits a protocol instance.

accept(GMessageTransfer) - Method in interface org.scribble.model.global.GVisitor

This method visits an interaction component.

accept(GContinue) - Method in interface org.scribble.model.global.GVisitor

This method visits a recursion component.

accept(GDo) - Method in interface org.scribble.model.global.GVisitor

This method visits a do component.

accept(GCustomActivity) - Method in interface org.scribble.model.global.GVisitor

This method visits a custom activity.

accept(LProtocolInstance) - Method in interface org.scribble.model.local.LVisitor

This method visits a protocol instance.

accept(LSend) - Method in interface org.scribble.model.local.LVisitor

This method visits a send component.

accept(LReceive) - Method in interface org.scribble.model.local.LVisitor

This method visits a receive component.

accept(LContinue) - Method in interface org.scribble.model.local.LVisitor

This method visits a recursion component.

accept(LDo) - Method in interface org.scribble.model.local.LVisitor

This method visits a do component.

accept(LCustomActivity) - Method in interface org.scribble.model.local.LVisitor

This method visits a custom activity construct.

accept(PayloadTypeDecl) - Method in interface org.scribble.model.Visitor

This method visits a type import component.

accept(ImportDecl) - Method in interface org.scribble.model.Visitor

This method visits a protocol import component.

add(E) - Method in class org.scribble.model.ContainmentList

Appends the specified element to the end of this list (optional operation).

add(int, E) - Method in class org.scribble.model.ContainmentList

Inserts the specified element at the specified position in this list (optional operation).

add(GActivity) - Method in class org.scribble.model.global.GBlock

This method adds an activity to the block.

add(LActivity) - Method in class org.scribble.model.local.LBlock

This method adds an activity to the block.

addAll(Collection<? extends E>) - Method in class org.scribble.model.ContainmentList

Appends all of the elements in the specified collection to the end of this list, in the order that they are returned by the specified collection's iterator (optional operation).

addAll(int, Collection<? extends E>) - Method in class org.scribble.model.ContainmentList

Inserts all of the elements in the specified collection into this list at the specified position (optional operation).

addChild(Object, Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

addNodeIndex(int) - Method in class org.scribble.monitor.SessionScope

This method adds an index to the session scope.

addSimulationListener(SimulationListener) - Method in class org.scribble.trace.simulation.Simulator

This method registers a simulation listener.

addSubScope(SessionScope) - Method in class org.scribble.monitor.SessionScope

This method adds a sub scope to the session's scope.

ANTLRMessageUtil - Class in org.scribble.parser.antlr

ANTLR message utilities.

Argument - Class in org.scribble.model

This class represents a message.

Argument() - Constructor for class org.scribble.model.Argument

The default constructor.

Argument(Argument) - Constructor for class org.scribble.model.Argument

 

ArgumentListModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'argumentList' parser rule.

ArgumentListModelAdaptor() - Constructor for class org.scribble.parser.antlr.ArgumentListModelAdaptor

 

ArgumentModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'messageSignature' parser rule.

ArgumentModelAdaptor() - Constructor for class org.scribble.parser.antlr.ArgumentModelAdaptor

 

B

becomeRoot(Object, Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

becomeRoot(Token, Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

C

checkMessage(SessionType, SessionScope, int, Message) - Method in class org.scribble.monitor.model.MessageNode

This method checks the message against the message node.

checkReceiverBeforeOtherActivity(ModuleContext, GBlock, Set<Role>, IssueLogger) - Method in class org.scribble.validation.rules.GChoiceValidationRule

This method checks that the first activity for a role is a message transfer where the role is the receiver.

checkReceiverOpSigDistinct(ModuleContext, GBlock, Set<Role>, Map<Role, Set<String>>, Map<Role, Set<String>>, IssueLogger) - Method in class org.scribble.validation.rules.GChoiceValidationRule

This method checks that the initial receiver for each non-choice role has a distinct operator or signature.

checkScope(SessionType, SessionScope, SessionScope, int) - Method in class org.scribble.monitor.DefaultMonitor

This method checks a sub-scope to see whether it has completed, and if so, remove it from the parent scope and initiate any optional completion node.

Choice - Class in org.scribble.monitor.model

This class represents a Choice action.

Choice() - Constructor for class org.scribble.monitor.model.Choice

 

clear() - Method in class org.scribble.model.ContainmentList

Removes all of the elements from this list (optional operation).

close(SimulatorContext) - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method closes the role simulator.

close(SimulatorContext) - Method in class org.scribble.trace.model.RoleSimulator

This method closes the role simulator.

CommandLine - Class in org.scribble.cli

This class provides the command line interface for the scribble parser.

CommandLine() - Constructor for class org.scribble.cli.CommandLine

 

completed(boolean) - Method in class org.scribble.monitor.SessionScope

This method sets the completion state of the session scope.

completed() - Method in class org.scribble.monitor.SessionScope

This method determines whether the session scope has completed.

ConsoleIssueLogger - Class in org.scribble.logging

This class provides an implementation of the journal that reports issues to the console.

ConsoleIssueLogger() - Constructor for class org.scribble.logging.ConsoleIssueLogger

 

ContainmentList<E extends ModelObject> - Class in org.scribble.model

This class represents a list that understands how to manage containment and parent relationships.

ContainmentList(ModelObject, Class<E>) - Constructor for class org.scribble.model.ContainmentList

This is the constructor for the containment list.

Continue - Class in org.scribble.monitor.model

This class represents a Continue action.

Continue() - Constructor for class org.scribble.monitor.model.Continue

 

create(Token) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

create(int, Token) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

create(int, String) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

create(int, Token, String) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.ArgumentListModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.ArgumentModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalChoiceModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalContinueModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalDoModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalInterruptibleModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalInterruptModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalMessageTransferModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalParallelModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalProtocolBlockModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalProtocolDeclModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.GlobalRecursionModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.ImportDeclModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalCatchModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalChoiceModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalContinueModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalDoModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalInterruptibleModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalParallelModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalProtocolBlockModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalProtocolDeclModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalReceiveModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalRecursionModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalSendModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.LocalThrowModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.MessageModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.MessageSignatureModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in interface org.scribble.parser.antlr.ModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.ModuleModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.ParameterDeclListModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.ParameterListModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.PayloadModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.PayloadTypeDeclModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.RoleDeclListModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createModelObject(ParserContext) - Method in class org.scribble.parser.antlr.RoleInstantiationListModelAdaptor

This method creates the model object(s) appropriate for the supplied stack of context, and returns them.

createTestCase(Step) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator.JUnitSimulationListener

This method creates a testcase entry for the supplied step.

D

DefaultGVisitor - Class in org.scribble.model.global

This class represents the default visitor which can be used to traverse a model.

DefaultGVisitor() - Constructor for class org.scribble.model.global.DefaultGVisitor

 

DefaultModuleContext - Class in org.scribble.context

This class implements the validation context.

DefaultModuleContext(Resource, Module, ModuleLoader) - Constructor for class org.scribble.context.DefaultModuleContext

This is the constructor.

DefaultModuleLoader - Class in org.scribble.context

This class provides a default implementation of the module loader interface.

DefaultModuleLoader() - Constructor for class org.scribble.context.DefaultModuleLoader

 

DefaultMonitor - Class in org.scribble.monitor

This class represents the monitorable version of a local protocol.

DefaultMonitor() - Constructor for class org.scribble.monitor.DefaultMonitor

 

DefaultParserContext - Class in org.scribble.parser.antlr

This interface represents the context used by the parser.

DefaultParserContext() - Constructor for class org.scribble.parser.antlr.DefaultParserContext

 

DefaultSimulatorContext - Class in org.scribble.trace.simulation

This class provides the default context support implementation for the simulator.

DefaultSimulatorContext(ResourceLocator) - Constructor for class org.scribble.trace.simulation.DefaultSimulatorContext

This constructor initializes the resource locator.

deleteChild(Object, int) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

derivedFrom(ModelObject) - Method in class org.scribble.model.ModelObject

This method establishes the necessary information to indicate that the current model object is derived from the supplied source model object.

deserializeSessionInstance(byte[]) - Static method in class org.scribble.monitor.MonitorUtil

This method returns the session instance of a supplied JSON representation.

deserializeTrace(byte[]) - Static method in class org.scribble.trace.util.TraceUtil

This method returns the simulation list for a supplied JSON representation.

DirectoryResourceLocator - Class in org.scribble.resources

This class provides a directory based resource locator.

DirectoryResourceLocator(String) - Constructor for class org.scribble.resources.DirectoryResourceLocator

This is the constructor for the directory resource locator, initialised with a ':' separated list of root directories.

Do - Class in org.scribble.monitor.model

This class represents a Choice action.

Do() - Constructor for class org.scribble.monitor.model.Do

 

dupNode(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

dupTree(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

E

end(GBlock) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the end of a block.

end(GChoice) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the end of a choice.

end(GParallel) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the end of a parallel.

end(GProtocolDefinition) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the end of a protocol.

end(GRecursion) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the end of a labelled block.

end(GInterruptible) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the end of an interruptible block.

end(GBlock) - Method in interface org.scribble.model.global.GVisitor

This method indicates the end of a block.

end(GChoice) - Method in interface org.scribble.model.global.GVisitor

This method indicates the end of a choice.

end(GParallel) - Method in interface org.scribble.model.global.GVisitor

This method indicates the end of a parallel.

end(GProtocolDefinition) - Method in interface org.scribble.model.global.GVisitor

This method indicates the end of a protocol.

end(GRecursion) - Method in interface org.scribble.model.global.GVisitor

This method indicates the end of a labelled block.

end(GInterruptible) - Method in interface org.scribble.model.global.GVisitor

This method indicates the end of an interruptible block.

end(LBlock) - Method in interface org.scribble.model.local.LVisitor

This method indicates the end of a block.

end(LChoice) - Method in interface org.scribble.model.local.LVisitor

This method indicates the end of a choice.

end(LParallel) - Method in interface org.scribble.model.local.LVisitor

This method indicates the end of a parallel.

end(LProtocolDefinition) - Method in interface org.scribble.model.local.LVisitor

This method indicates the end of a protocol.

end(LRecursion) - Method in interface org.scribble.model.local.LVisitor

This method indicates the end of a labelled block.

end(LInterruptible) - Method in interface org.scribble.model.local.LVisitor

This method indicates the end of an interruptible block.

END_COLUMN - Static variable in class org.scribble.model.ModelObject

The end column in the document at which the issue has been detected.

END_LINE - Static variable in class org.scribble.model.ModelObject

The end line in the document at which the issue has been detected.

END_LOCATION - Static variable in interface org.scribble.model.ModelProperties

This construct defines the end location in a textual description of a scribble construct.

END_POSITION - Static variable in class org.scribble.model.ModelObject

The end position in the document at which the issue has been detected.

equals(Object) - Method in class org.scribble.model.global.GBlock

 

equals(Object) - Method in class org.scribble.model.global.GChoice

 

equals(Object) - Method in class org.scribble.model.global.GContinue

 

equals(Object) - Method in class org.scribble.model.global.GInterruptible

 

equals(Object) - Method in class org.scribble.model.global.GMessageTransfer

 

equals(Object) - Method in class org.scribble.model.global.GParallel

 

equals(Object) - Method in class org.scribble.model.global.GRecursion

 

equals(Object) - Method in class org.scribble.model.local.LBlock

 

equals(Object) - Method in class org.scribble.model.local.LChoice

 

equals(Object) - Method in class org.scribble.model.local.LContinue

 

equals(Object) - Method in class org.scribble.model.local.LInterruptible

 

equals(Object) - Method in class org.scribble.model.local.LParallel

 

equals(Object) - Method in class org.scribble.model.local.LReceive

 

equals(Object) - Method in class org.scribble.model.local.LRecursion

 

equals(Object) - Method in class org.scribble.model.local.LSend

 

equals(Object) - Method in class org.scribble.model.MessageSignature

 

equals(Object) - Method in class org.scribble.model.Parameter

 

equals(Object) - Method in class org.scribble.model.ParameterDecl

 

equals(Object) - Method in class org.scribble.model.Role

 

equals(Object) - Method in class org.scribble.model.RoleDecl

 

equals(Object) - Method in class org.scribble.model.RoleInstantiation

 

equals(Object) - Method in class org.scribble.monitor.Message

error(String, Map<String, Object>) - Method in class org.scribble.logging.ConsoleIssueLogger

This method records an error issue.

error(String, ModelObject) - Method in class org.scribble.logging.ConsoleIssueLogger

This method records an error issue.

error(String, Map<String, Object>) - Method in interface org.scribble.logging.IssueLogger

This method records an error issue.

error(String, ModelObject) - Method in interface org.scribble.logging.IssueLogger

This method records an error issue.

errorNode(TokenStream, Token, Token, RecognitionException) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

evaluate(SessionType, int, SessionScope) - Method in class org.scribble.monitor.model.Choice

This method checks whether the node can be evaluated without external trigger.

evaluate(SessionType, int, SessionScope) - Method in class org.scribble.monitor.model.Continue

This method checks whether the node can be evaluated without external trigger.

evaluate(SessionType, int, SessionScope) - Method in class org.scribble.monitor.model.Do

This method checks whether the node can be evaluated without external trigger.

evaluate(SessionType, int, SessionScope) - Method in class org.scribble.monitor.model.Interruptible

This method checks whether the node can be evaluated without external trigger.

evaluate(SessionType, int, SessionScope) - Method in class org.scribble.monitor.model.Node

This method checks whether the node can be evaluated without external trigger.

evaluate(SessionType, int, SessionScope) - Method in class org.scribble.monitor.model.Parallel

This method checks whether the node can be evaluated without external trigger.

evaluate(SessionType, int, SessionScope) - Method in class org.scribble.monitor.model.Recursion

This method checks whether the node can be evaluated without external trigger.

execute(String[]) - Method in class org.scribble.cli.CommandLine

This method executes the supplied arguments.

export(ModuleContext, LProtocolDefinition) - Method in class org.scribble.monitor.export.MonitorExporter

This method returns the session type associated with the supplied protocol.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in class org.scribble.monitor.export.rules.LBlockNodeExporter

This method exports the model object to the session type.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in class org.scribble.monitor.export.rules.LChoiceNodeExporter

This method exports the model object to the session type.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in class org.scribble.monitor.export.rules.LContinueNodeExporter

This method exports the model object to the session type.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in class org.scribble.monitor.export.rules.LDoNodeExporter

This method exports the model object to the session type.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in class org.scribble.monitor.export.rules.LInterruptibleNodeExporter

This method exports the model object to the session type.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in class org.scribble.monitor.export.rules.LParallelNodeExporter

This method exports the model object to the session type.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in class org.scribble.monitor.export.rules.LReceiveNodeExporter

This method exports the model object to the session type.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in class org.scribble.monitor.export.rules.LRecursionNodeExporter

This method exports the model object to the session type.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in class org.scribble.monitor.export.rules.LSendNodeExporter

This method exports the model object to the session type.

export(ModuleContext, ExportState, ModelObject, SessionType) - Method in interface org.scribble.monitor.export.rules.NodeExporter

This method exports the model object to the session type.

exportCatch(ModuleContext, ExportState, LInterruptible.Catch, SessionType, Message) - Method in class org.scribble.monitor.export.rules.LInterruptibleNodeExporter

 

ExportState - Class in org.scribble.monitor.export.rules

This class represents state information associated with the exported protocols.

ExportState() - Constructor for class org.scribble.monitor.export.rules.ExportState

 

ExportState.StateInformation - Class in org.scribble.monitor.export.rules

This class represents the state information on the stack.

ExportState.StateInformation() - Constructor for class org.scribble.monitor.export.rules.ExportState.StateInformation

 

exportThrow(ModuleContext, ExportState, LInterruptible, SessionType, Message) - Method in class org.scribble.monitor.export.rules.LInterruptibleNodeExporter

 

extractCommonBehaviour(LChoice, RoleDecl, IssueLogger) - Static method in class org.scribble.projection.rules.GChoiceProjectionRule

Extract common behaviour.

F

failed(Trace, Step) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator.JUnitSimulationListener

This method identifies when the simulation of trace step has been unsuccessful.

failed(Trace, Step) - Method in interface org.scribble.trace.simulation.SimulationListener

This method identifies when the simulation of trace step has been unsuccessful.

G

GActivity - Class in org.scribble.model.global

This class represents the base class for all Scribble definition context.

GActivity() - Constructor for class org.scribble.model.global.GActivity

The default constructor.

GActivity(GActivity) - Constructor for class org.scribble.model.global.GActivity

The copy constructor.

GBlock - Class in org.scribble.model.global

This class represents a group of activities.

GBlock() - Constructor for class org.scribble.model.global.GBlock

 

GBlockProjectionRule - Class in org.scribble.projection.rules

This class implements the GBlock projection rule.

GBlockProjectionRule() - Constructor for class org.scribble.projection.rules.GBlockProjectionRule

 

GBlockValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GBlock component.

GBlockValidationRule() - Constructor for class org.scribble.validation.rules.GBlockValidationRule

 

GChoice - Class in org.scribble.model.global

This class represents the Choice construct between two or more paths.

GChoice() - Constructor for class org.scribble.model.global.GChoice

This is the default constructor.

GChoiceProjectionRule - Class in org.scribble.projection.rules

This class implements the GChoice projection rule.

GChoiceProjectionRule() - Constructor for class org.scribble.projection.rules.GChoiceProjectionRule

 

GChoiceValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GChoice component.

GChoiceValidationRule() - Constructor for class org.scribble.validation.rules.GChoiceValidationRule

 

GContinue - Class in org.scribble.model.global

This class represents the Raise construct.

GContinue() - Constructor for class org.scribble.model.global.GContinue

This is the default constructor.

GContinue(GContinue) - Constructor for class org.scribble.model.global.GContinue

This is the copy constructor.

GContinueProjectionRule - Class in org.scribble.projection.rules

This class implements the GContinue projection rule.

GContinueProjectionRule() - Constructor for class org.scribble.projection.rules.GContinueProjectionRule

 

GContinueValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GContinue component.

GContinueValidationRule() - Constructor for class org.scribble.validation.rules.GContinueValidationRule

 

GCustomActivity - Class in org.scribble.model.global

This class represents a custom activity.

GCustomActivity() - Constructor for class org.scribble.model.global.GCustomActivity

This is the default constructor.

GCustomActivity(GCustomActivity) - Constructor for class org.scribble.model.global.GCustomActivity

This is the copy constructor.

GDo - Class in org.scribble.model.global

This class represents the Run construct.

GDo() - Constructor for class org.scribble.model.global.GDo

This is the default constructor.

GDo(GDo) - Constructor for class org.scribble.model.global.GDo

This is the copy constructor.

GDoProjectionRule - Class in org.scribble.projection.rules

This class implements the GDo projection rule.

GDoProjectionRule() - Constructor for class org.scribble.projection.rules.GDoProjectionRule

 

GDoValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GDo component.

GDoValidationRule() - Constructor for class org.scribble.validation.rules.GDoValidationRule

 

get(int) - Method in class org.scribble.model.global.GBlock

This method returns the activity at the specified index.

get(int) - Method in class org.scribble.model.local.LBlock

This method returns the activity at the specified index.

getAlias() - Method in class org.scribble.model.Argument

This method returns the alias.

getAlias() - Method in class org.scribble.model.ImportDecl

This method returns the optional alias.

getAlias() - Method in class org.scribble.model.ParameterDecl

This method returns the alias of the parameter declaration.

getAlias() - Method in class org.scribble.model.PayloadTypeDecl

This method returns the alias.

getAlias() - Method in class org.scribble.model.RoleDecl

This method returns the alias of the role.

getAlias() - Method in class org.scribble.model.RoleInstantiation

This method returns the alias of the role.

getAnnotation() - Method in class org.scribble.model.PayloadElement

This method returns the optional annotation.

getArguments() - Method in class org.scribble.model.global.GDo

This method returns the argument list.

getArguments() - Method in class org.scribble.model.global.GProtocolInstance

This method returns the parameter declarations associated with the protocol.

getArguments() - Method in class org.scribble.model.local.LDo

This method returns the argument list.

getArguments() - Method in class org.scribble.model.local.LProtocolInstance

This method returns the parameter declarations associated with the protocol.

getBlock() - Method in class org.scribble.model.global.GInterruptible

This method returns the activities.

getBlock() - Method in class org.scribble.model.global.GProtocolDefinition

This method returns the block of activities associated with the definition.

getBlock() - Method in class org.scribble.model.global.GRecursion

This method returns the activities.

getBlock() - Method in class org.scribble.model.global.GSinglePathActivity

This method returns the single path.

getBlock() - Method in class org.scribble.model.local.LInterruptible

This method returns the activities.

getBlock() - Method in class org.scribble.model.local.LProtocolDefinition

This method returns the block of activities associated with the definition.

getBlock() - Method in class org.scribble.model.local.LRecursion

This method returns the activities.

getBlockIndex() - Method in class org.scribble.monitor.model.Interruptible

This method returns the block index.

getBlockIndex() - Method in class org.scribble.monitor.model.Recursion

This method returns the block index.

getCatches() - Method in class org.scribble.model.local.LInterruptible

This method gets the catches.

getCatches() - Method in class org.scribble.monitor.model.Interruptible

This method returns the node index associated with catch specifications.

getCatches() - Method in class org.scribble.monitor.SessionScope

This method returns the node index associated with catch specifications.

getChild(Object, int) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getChildCount(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getChildIndex(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getCompletionIndex() - Method in class org.scribble.monitor.SessionScope

This method returns the optional completion index.

getContents() - Method in class org.scribble.model.global.GBlock

This method returns the contents associated with the block.

getContents() - Method in class org.scribble.model.local.LBlock

This method returns the contents associated with the block.

getDeclarationName() - Method in class org.scribble.model.ImportDecl

This method returns the declaration name.

getDeclarationName() - Method in class org.scribble.model.ParameterDecl

This method returns the declaration name for the parameter declaration.

getDeclarationName() - Method in class org.scribble.model.RoleDecl

This method returns the declaration name for the role declaration.

getDescription() - Method in class org.scribble.trace.model.Trace

This method returns the description of the trace.

getFormat() - Method in class org.scribble.model.PayloadTypeDecl

This method returns the schema format.

getFromRole() - Method in class org.scribble.model.global.GMessageTransfer

This method returns the 'from' role.

getFromRole() - Method in class org.scribble.model.local.LReceive

This method returns the optional 'from' role.

getFromRole() - Method in class org.scribble.monitor.model.Receive

This method returns the 'from' role.

getFromRole() - Method in class org.scribble.trace.model.MessageTransfer

This method returns the role.

getImports() - Method in class org.scribble.model.Module

This method returns the list of import definitions.

getInputStream() - Method in class org.scribble.resources.InputStreamResource

This method returns an input stream containing the resource content.

getInputStream() - Method in interface org.scribble.resources.Resource

This method returns an input stream containing the resource content.

getInterrupts() - Method in class org.scribble.model.global.GInterruptible

This method gets the interrupts.

getLabel() - Method in class org.scribble.model.global.GContinue

This method returns the label associated with the recursion construct.

getLabel() - Method in class org.scribble.model.global.GRecursion

This method returns the label associated with the labelled block construct.

getLabel() - Method in class org.scribble.model.local.LContinue

This method returns the label associated with the recursion construct.

getLabel() - Method in class org.scribble.model.local.LRecursion

This method returns the label associated with the labelled block construct.

getLabelIndex(String) - Method in class org.scribble.monitor.export.rules.ExportState

This method returns the index associated with the supplied label.

getLabelIndex(String) - Method in class org.scribble.monitor.export.rules.ExportState.StateInformation

This method returns the index associated with the supplied label.

getLocalName() - Method in class org.scribble.model.Module

This method returns the last component of the fully qualified name.

getLocalRole() - Method in class org.scribble.model.local.LProtocolDecl

This method returns the local role.

getLocatedRole() - Method in class org.scribble.model.Module

This method returns the role associated with a local module.

getMember(String) - Method in class org.scribble.context.DefaultModuleContext

This method returns member associated with a name.

getMember(String, String) - Method in class org.scribble.context.DefaultModuleContext

This method returns a member associated with a specified named module.

getMember(String) - Method in interface org.scribble.context.ModuleContext

This method returns member associated with a name.

getMember(String, String) - Method in interface org.scribble.context.ModuleContext

This method returns a member associated with a specified named module.

getMemberName() - Method in class org.scribble.model.global.GProtocolInstance

This method returns the member name.

getMemberName() - Method in class org.scribble.model.ImportDecl

This method returns the name of the member being imported.

getMemberName() - Method in class org.scribble.model.local.LProtocolInstance

This method returns the member name.

getMessage() - Method in class org.scribble.model.global.GMessageTransfer

This method returns the message.

getMessage() - Method in class org.scribble.model.local.LReceive

This method returns the message.

getMessage() - Method in class org.scribble.model.local.LSend

This method returns the message.

getMessage(String) - Static method in class org.scribble.projection.rules.ProjectionMessages

This method returns the message associated with the supplied key.

getMessage() - Method in class org.scribble.trace.model.MessageTransfer

This method returns the values.

getMessage(String) - Static method in class org.scribble.validation.rules.ValidationMessages

This method returns the message associated with the supplied key.

getMessages() - Method in class org.scribble.model.global.GInterruptible.Interrupt

This method gets the interrupt messages.

getMessages() - Method in class org.scribble.model.local.LInterruptible.Catch

This method gets the interrupt messages.

getMessages() - Method in class org.scribble.model.local.LInterruptible.Throw

This method gets the interrupt messages.

getMessageSignature() - Method in class org.scribble.model.Argument

This method returns the message signature.

getMessageSignature() - Method in class org.scribble.model.Message

This method returns the message signature.

getMessageText(String) - Static method in class org.scribble.parser.antlr.ANTLRMessageUtil

This method removes the message location prefix.

getModelAdaptor(String) - Static method in class org.scribble.parser.antlr.ModelAdaptorFactory

This method returns the model adaptor implementation associated with the supplied rule name.

getModule() - Method in class org.scribble.model.ModelObject

This method returns the protocol model in which this object is contained.

getModule() - Method in class org.scribble.model.ProtocolDecl

This method returns the model in which this definition is contained.

getModule() - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

This method returns the module.

getModule() - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method returns the local module to be monitored.

getModuleName() - Method in class org.scribble.model.ImportDecl

This method returns the optional module name.

getMutuallyExclusive() - Method in class org.scribble.monitor.SessionScope

This method returns whether the session scope contains sub-scopes that are mutually exclusive.

getName() - Method in class org.scribble.model.Argument

This method returns the optional parameter or payload type name.

getName() - Method in class org.scribble.model.Module

This method returns the fully qualified name.

getName() - Method in class org.scribble.model.Parameter

This method returns the name of the role.

getName() - Method in class org.scribble.model.ParameterDecl

This method returns the name of the parameter declaration.

getName() - Method in class org.scribble.model.PayloadElement

This method returns the payload type or parameter name.

getName() - Method in class org.scribble.model.ProtocolDecl

This method returns the name.

getName() - Method in class org.scribble.model.Role

This method returns the name of the role.

getName() - Method in class org.scribble.model.RoleDecl

This method returns the name of the role.

getName() - Method in class org.scribble.model.RoleInstantiation

This method returns the name of the role.

getName() - Method in class org.scribble.monitor.SessionScope

This method returns the optional name associated with the scope.

getName() - Method in class org.scribble.trace.model.Role

This method returns the name of the trace.

getName() - Method in class org.scribble.trace.model.Trace

This method returns the name of the trace.

getNext() - Method in class org.scribble.monitor.model.Node

This method returns the next index.

getNode(int) - Method in class org.scribble.monitor.model.SessionType

This method returns the node at the specified index.

getNodeExporter(ModelObject) - Static method in class org.scribble.monitor.export.rules.NodeExporterFactory

This method returns a node exporter associated with the supplied model object.

getNodeIndexes() - Method in class org.scribble.monitor.SessionScope

This method returns the list of current nodes associated with the session instance.

getNodes() - Method in class org.scribble.monitor.model.SessionType

This method returns the nodes.

getOperator() - Method in class org.scribble.model.MessageSignature

This method returns the optional operator.

getOperator() - Method in class org.scribble.monitor.Message

This method returns the operator.

getOperator() - Method in class org.scribble.monitor.model.MessageNode

This method returns the operator.

getParameter() - Method in class org.scribble.model.Message

This method returns the optional parameter.

getParameterDeclaration(String) - Method in class org.scribble.model.ProtocolDecl

This method returns the parameter declaration associated with the supplied name.

getParameterDeclarations() - Method in class org.scribble.model.ProtocolDecl

This method returns the parameter declarations associated with the protocol.

getParent() - Method in class org.scribble.model.ModelObject

This method returns the parent of this model object.

getParent(Class<T>) - Method in class org.scribble.model.ModelObject

This method returns the parent with the specified type.

getParent(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getPath() - Method in class org.scribble.resources.AbstractResource

This method returns the resource path.

getPath() - Method in interface org.scribble.resources.Resource

This method returns the resource path.

getPathIndexes() - Method in class org.scribble.monitor.model.Choice

This method returns the choice path indexes.

getPathIndexes(List<Integer>) - Method in class org.scribble.monitor.model.Choice

This method sets the choice path indexes.

getPathIndexes() - Method in class org.scribble.monitor.model.Parallel

This method returns the choice path indexes.

getPathIndexes(List<Integer>) - Method in class org.scribble.monitor.model.Parallel

This method sets the choice path indexes.

getPaths() - Method in class org.scribble.model.global.GChoice

This method returns the list of mutually exclusive activity blocks that comprise the multi-path construct.

getPaths() - Method in class org.scribble.model.global.GMultiPathActivity

This method returns the list of paths.

getPaths() - Method in class org.scribble.model.global.GParallel

This method returns the list of concurrent activity blocks that comprise the multi-path construct.

getPaths() - Method in class org.scribble.model.local.LChoice

This method returns the list of mutually exclusive activity blocks that comprise the multi-path construct.

getPaths() - Method in class org.scribble.model.local.LParallel

This method returns the list of concurrent activity blocks that comprise the multi-path construct.

getPayloadElements() - Method in class org.scribble.model.MessageSignature

This method returns the list of types.

getPayloadTypeDeclarations() - Method in class org.scribble.model.Module

This method returns the list of payload types.

getProjectionRule(ModelObject) - Static method in class org.scribble.projection.rules.ProjectionRuleFactory

This method returns the projection rule associated with the supplied model object.

getProperties() - Method in class org.scribble.model.ModelObject

This method returns the properties associated with this model object.

getProperties(String, String) - Static method in class org.scribble.parser.antlr.ANTLRMessageUtil

This method returns the properties.

getProtocol() - Method in class org.scribble.model.global.GDo

This method returns the protocol.

getProtocol() - Method in class org.scribble.model.local.LDo

This method returns the protocol.

getProtocol(String) - Method in class org.scribble.model.Module

This method returns the protocol associated with the supplied name.

getProtocol() - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method returns the protocol to be monitored.

getProtocolIndex() - Method in class org.scribble.monitor.model.Do

This method returns the protocol index.

getProtocols() - Method in class org.scribble.model.Module

This method returns the list of protocols.

getResource(String) - Method in class org.scribble.cli.CommandLine

This method returns the resource associated with the supplied module name.

getResource() - Method in class org.scribble.context.DefaultModuleContext

This method returns the resource associated with the module.

getResource() - Method in interface org.scribble.context.ModuleContext

This method returns the resource associated with the module.

getResource(String) - Method in class org.scribble.resources.DirectoryResourceLocator

This method obtains the resource associated with the supplied path.

getResource(String) - Method in interface org.scribble.resources.ResourceLocator

This method obtains the resource associated with the supplied path.

getResourceLocator() - Method in class org.scribble.trace.simulation.DefaultSimulatorContext

This method returns the resource locator.

getResourceLocator() - Method in class org.scribble.trace.simulation.junit.JUnitSimulator

This method returns the resource locator.

getResourceLocator() - Method in interface org.scribble.trace.simulation.SimulatorContext

This method returns the resource locator.

getResourceRoot(Resource) - Method in class org.scribble.resources.DirectoryResourceLocator

This method returns the root location containing the supplied resource.

getRole() - Method in class org.scribble.model.global.GChoice

This method returns the role.

getRole() - Method in class org.scribble.model.global.GInterruptible.Interrupt

This method gets the 'by' role.

getRole() - Method in class org.scribble.model.local.LChoice

This method returns the role.

getRole() - Method in class org.scribble.model.local.LInterruptible.Catch

This method gets the 'from' role.

getRole() - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method returns the role within the module to be monitored.

getRoleDeclaration(String) - Method in class org.scribble.model.ProtocolDecl

This method returns the role declaration associated with the supplied name.

getRoleDeclarations() - Method in class org.scribble.model.ProtocolDecl

This method returns the role declarations associated with the protocol.

getRoleInstantiation(RoleDecl) - Method in class org.scribble.model.global.GDo

This method returns the role instantiation associated with the supplied role name, or null if not found.

getRoleInstantiation(RoleDecl) - Method in class org.scribble.model.global.GProtocolInstance

This method returns the role instantiation associated with the supplied role name, or null if not found.

getRoleInstantiations() - Method in class org.scribble.model.global.GDo

This method returns the argument list.

getRoleInstantiations() - Method in class org.scribble.model.global.GProtocolInstance

This method returns the role declarations associated with the protocol.

getRoleInstantiations() - Method in class org.scribble.model.local.LDo

This method returns the argument list.

getRoleInstantiations() - Method in class org.scribble.model.local.LProtocolInstance

This method returns the role declarations associated with the protocol.

getRoles() - Method in class org.scribble.model.global.GCustomActivity

This method returns the roles associated with the custom activity.

getRoles() - Method in class org.scribble.model.local.LCustomActivity

This method returns the roles associated with the custom activity.

getRoles() - Method in class org.scribble.trace.model.Trace

This method returns the roles.

getRoleSimulatorType(String) - Static method in class org.scribble.trace.simulation.RoleSimulatorManager

This method returns the role simulator type associated with the supplied name.

getSchema() - Method in class org.scribble.model.PayloadTypeDecl

This method returns the schema.

getScope() - Method in class org.scribble.model.global.GDo

This method returns the optional scope name.

getScope() - Method in class org.scribble.model.global.GInterruptible

This method returns the scope name.

getScope() - Method in class org.scribble.model.local.LDo

This method returns the optional scope name.

getScope() - Method in class org.scribble.model.local.LInterruptible

This method returns the scope name.

getScope() - Method in class org.scribble.monitor.SessionInstance

This method returns the top level scope associated with this session instance.

getSimulator() - Method in class org.scribble.trace.model.Role

This method returns the optional simulator for the role.

getSteps() - Method in class org.scribble.trace.model.Trace

This method returns the trace steps.

getSubScopes() - Method in class org.scribble.monitor.SessionScope

This method returns the list of sub-scopes associated with the session instance.

getSucceeds() - Method in class org.scribble.trace.model.Step

This method returns whether the action should succeed.

getText(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getThrows() - Method in class org.scribble.model.local.LInterruptible

This method gets the throws clause.

getThrows() - Method in class org.scribble.monitor.model.Interruptible

This method returns the node index associated with throw specifications.

getThrows() - Method in class org.scribble.monitor.SessionScope

This method returns the node index associated with throw specifications.

getToken(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getTokenStartIndex(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getTokenStopIndex(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getToRole() - Method in class org.scribble.monitor.model.Send

This method returns the 'to' role.

getToRoles() - Method in class org.scribble.model.global.GMessageTransfer

This method returns the 'to' roles.

getToRoles() - Method in class org.scribble.model.local.LInterruptible.Throw

This method returns the 'to' roles.

getToRoles() - Method in class org.scribble.model.local.LSend

This method returns the 'to' roles.

getToRoles() - Method in class org.scribble.trace.model.MessageTransfer

This method returns the 'to' roles.

getType() - Method in class org.scribble.model.ContainmentList

This method returns the base type associated with the list elements.

getType() - Method in class org.scribble.model.ParameterDecl

This method returns the type of the parameter declaration.

getType() - Method in class org.scribble.model.PayloadTypeDecl

This method returns the schema format.

getType(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getTypeDeclaration(String) - Method in class org.scribble.model.Module

This method returns the payload type associated with the supplied name.

getTypes() - Method in class org.scribble.monitor.Message

This method returns the types.

getTypes() - Method in class org.scribble.monitor.model.MessageNode

This method returns the types.

getUniqueID(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

getValidationRule(ModelObject) - Static method in class org.scribble.validation.rules.ValidationRuleFactory

This method returns the validation rule associated with the supplied model object.

getValues() - Method in class org.scribble.monitor.Message

This method returns the values.

GInterruptible - Class in org.scribble.model.global

This class represents the interruptible construct.

GInterruptible() - Constructor for class org.scribble.model.global.GInterruptible

This is the default constructor.

GInterruptible.Interrupt - Class in org.scribble.model.global

This class represents the interrupt definition.

GInterruptible.Interrupt() - Constructor for class org.scribble.model.global.GInterruptible.Interrupt

 

GInterruptibleProjectionRule - Class in org.scribble.projection.rules

This class implements the GRecursion projection rule.

GInterruptibleProjectionRule() - Constructor for class org.scribble.projection.rules.GInterruptibleProjectionRule

 

GInterruptibleValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GInterruptible component.

GInterruptibleValidationRule() - Constructor for class org.scribble.validation.rules.GInterruptibleValidationRule

 

GlobalChoiceModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'choice' parser rule.

GlobalChoiceModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalChoiceModelAdaptor

 

GlobalContinueModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'continue' parser rule.

GlobalContinueModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalContinueModelAdaptor

 

GlobalDoModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'doDef' parser rule.

GlobalDoModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalDoModelAdaptor

 

GlobalInterruptibleModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'interruptible' parser rule.

GlobalInterruptibleModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalInterruptibleModelAdaptor

 

GlobalInterruptModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'interruptible' parser rule.

GlobalInterruptModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalInterruptModelAdaptor

 

GlobalMessageTransferModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'message' parser rule.

GlobalMessageTransferModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalMessageTransferModelAdaptor

 

GlobalParallelModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'parallel' parser rule.

GlobalParallelModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalParallelModelAdaptor

 

GlobalProtocolBlockModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'globalInterationBlock' parser rule.

GlobalProtocolBlockModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalProtocolBlockModelAdaptor

 

GlobalProtocolDeclModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'globalProtocolDecl' parser rule.

GlobalProtocolDeclModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalProtocolDeclModelAdaptor

 

GlobalRecursionModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'recursion' parser rule.

GlobalRecursionModelAdaptor() - Constructor for class org.scribble.parser.antlr.GlobalRecursionModelAdaptor

 

GMessageTransfer - Class in org.scribble.model.global

This class represents an interaction: the communication of a message from one role to another, or several others.

GMessageTransfer() - Constructor for class org.scribble.model.global.GMessageTransfer

The default constructor.

GMessageTransfer(GMessageTransfer) - Constructor for class org.scribble.model.global.GMessageTransfer

The copy constructor.

GMessageTransfer(Message, Role, List<Role>) - Constructor for class org.scribble.model.global.GMessageTransfer

This method initializes the 'from' and 'to' roles, and message signature.

GMessageTransferProjectionRule - Class in org.scribble.projection.rules

This class implements the GMessageTransfer projection rule.

GMessageTransferProjectionRule() - Constructor for class org.scribble.projection.rules.GMessageTransferProjectionRule

 

GMessageTransferValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GMessage component.

GMessageTransferValidationRule() - Constructor for class org.scribble.validation.rules.GMessageTransferValidationRule

 

GMultiPathActivity - Class in org.scribble.model.global

This class represents the base class for all multi-path activities.

GMultiPathActivity() - Constructor for class org.scribble.model.global.GMultiPathActivity

The default constructor.

GMultiPathActivity(GMultiPathActivity) - Constructor for class org.scribble.model.global.GMultiPathActivity

The copy constructor.

GParallel - Class in org.scribble.model.global

This class represents the Parallel construct with two or more concurrent paths.

GParallel() - Constructor for class org.scribble.model.global.GParallel

This is the default constructor.

GParallelProjectionRule - Class in org.scribble.projection.rules

This class implements the GParallel projection rule.

GParallelProjectionRule() - Constructor for class org.scribble.projection.rules.GParallelProjectionRule

 

GParallelValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GParallel component.

GParallelValidationRule() - Constructor for class org.scribble.validation.rules.GParallelValidationRule

 

GProtocolDefinition - Class in org.scribble.model.global

This class represents the protocol notation.

GProtocolDefinition() - Constructor for class org.scribble.model.global.GProtocolDefinition

The default constructor.

GProtocolDefinitionProjectionRule - Class in org.scribble.projection.rules

This class implements the GProtocolDefinition projection rule.

GProtocolDefinitionProjectionRule() - Constructor for class org.scribble.projection.rules.GProtocolDefinitionProjectionRule

 

GProtocolDefinitionValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GProtocolDefinition component.

GProtocolDefinitionValidationRule() - Constructor for class org.scribble.validation.rules.GProtocolDefinitionValidationRule

 

GProtocolInstance - Class in org.scribble.model.global

This class represents the protocol notation.

GProtocolInstance() - Constructor for class org.scribble.model.global.GProtocolInstance

The default constructor.

GProtocolInstanceProjectionRule - Class in org.scribble.projection.rules

This class implements the GProtocolInstance projection rule.

GProtocolInstanceProjectionRule() - Constructor for class org.scribble.projection.rules.GProtocolInstanceProjectionRule

 

GProtocolInstanceValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GProtocolInstance component.

GProtocolInstanceValidationRule() - Constructor for class org.scribble.validation.rules.GProtocolInstanceValidationRule

 

GRecursion - Class in org.scribble.model.global

This class represents the Recur construct.

GRecursion() - Constructor for class org.scribble.model.global.GRecursion

This is the default constructor.

GRecursionProjectionRule - Class in org.scribble.projection.rules

This class implements the GRecursion projection rule.

GRecursionProjectionRule() - Constructor for class org.scribble.projection.rules.GRecursionProjectionRule

 

GRecursionValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GRecursion component.

GRecursionValidationRule() - Constructor for class org.scribble.validation.rules.GRecursionValidationRule

 

groupSubpathsWithCommonInitiator(LChoice, RoleDecl, IssueLogger) - Static method in class org.scribble.projection.rules.GChoiceProjectionRule

This method checks whether choice paths should be grouped into sub-paths with common initiating interaction sentences.

GSinglePathActivity - Class in org.scribble.model.global

This class represents the base class for all single-path activities.

GSinglePathActivity() - Constructor for class org.scribble.model.global.GSinglePathActivity

The default constructor.

GSinglePathActivity(GSinglePathActivity) - Constructor for class org.scribble.model.global.GSinglePathActivity

The copy constructor.

GVisitor - Interface in org.scribble.model.global

This interface represents a visitor which can be used to traverse a model.

H

handled(SessionType, SessionScope, int) - Method in class org.scribble.monitor.model.Node

This method unschedules the current node, if part of the session scope, and if a next index is identified, this will be evaluated.

hasCompleted() - Method in class org.scribble.monitor.SessionInstance

This method determines whether the session instance has completed.

hashCode() - Method in class org.scribble.model.global.GBlock

 

hashCode() - Method in class org.scribble.model.global.GChoice

 

hashCode() - Method in class org.scribble.model.global.GContinue

 

hashCode() - Method in class org.scribble.model.global.GInterruptible

 

hashCode() - Method in class org.scribble.model.global.GMessageTransfer

 

hashCode() - Method in class org.scribble.model.global.GParallel

 

hashCode() - Method in class org.scribble.model.global.GRecursion

 

hashCode() - Method in class org.scribble.model.local.LBlock

 

hashCode() - Method in class org.scribble.model.local.LChoice

 

hashCode() - Method in class org.scribble.model.local.LContinue

 

hashCode() - Method in class org.scribble.model.local.LInterruptible

 

hashCode() - Method in class org.scribble.model.local.LParallel

 

hashCode() - Method in class org.scribble.model.local.LReceive

 

hashCode() - Method in class org.scribble.model.local.LRecursion

 

hashCode() - Method in class org.scribble.model.local.LSend

 

hashCode() - Method in class org.scribble.model.MessageSignature

 

hashCode() - Method in class org.scribble.model.Parameter

 

hashCode() - Method in class org.scribble.model.ParameterDecl

 

hashCode() - Method in class org.scribble.model.Role

 

hashCode() - Method in class org.scribble.model.RoleDecl

 

hashCode() - Method in class org.scribble.model.RoleInstantiation

 

I

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GActivity

This method builds up the set of roles involved in the global activity.

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GBlock

This method builds up the set of roles involved in the global activity.

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GChoice

This method builds up the set of roles involved in the global activity.

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GContinue

This method builds up the set of roles involved in the global activity.

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GCustomActivity

This method builds up the set of roles involved in the global activity.

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GDo

This method builds up the set of roles involved in the global activity.

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GInterruptible

This method builds up the set of roles involved in the global activity.

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GMessageTransfer

This method builds up the set of roles involved in the global activity.

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GParallel

This method builds up the set of roles involved in the global activity.

identifyInvolvedRoles(Set<Role>) - Method in class org.scribble.model.global.GRecursion

This method builds up the set of roles involved in the global activity.

ImportDecl - Class in org.scribble.model

This class represents an imported protocol.

ImportDecl() - Constructor for class org.scribble.model.ImportDecl

The default constructor.

ImportDecl(ImportDecl) - Constructor for class org.scribble.model.ImportDecl

The copy constructor.

ImportDeclModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'importDecl' parser rule.

ImportDeclModelAdaptor() - Constructor for class org.scribble.parser.antlr.ImportDeclModelAdaptor

 

ImportDeclValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the ImportDecl component.

ImportDeclValidationRule() - Constructor for class org.scribble.validation.rules.ImportDeclValidationRule

 

importModule(String) - Method in class org.scribble.context.DefaultModuleContext

This method imports and returns the named module.

importModule(String) - Method in interface org.scribble.context.ModuleContext

This method imports and returns the named module.

indent(StringBuffer, int) - Static method in class org.scribble.model.ModelObject

This method indents the text.

indexOf(GActivity) - Method in class org.scribble.model.global.GBlock

This method returns the index of the supplied activity.

indexOf(LActivity) - Method in class org.scribble.model.local.LBlock

This method returns the index of the supplied activity.

info(String, Map<String, Object>) - Method in class org.scribble.logging.ConsoleIssueLogger

This method records an information issue.

info(String, ModelObject) - Method in class org.scribble.logging.ConsoleIssueLogger

This method records an information issue.

info(String, Map<String, Object>) - Method in interface org.scribble.logging.IssueLogger

This method records an information issue.

info(String, ModelObject) - Method in interface org.scribble.logging.IssueLogger

This method records an information issue.

init(SimulatorContext) - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method initializes the role simulator.

init(SimulatorContext) - Method in class org.scribble.trace.model.RoleSimulator

This method initializes the role simulator.

initialize(SessionInstance) - Method in class org.scribble.monitor.model.SessionType

This method initializes the supplied session instance to monitor against this session type.

initializeInstance(SessionType, SessionInstance) - Method in class org.scribble.monitor.DefaultMonitor

This method initializes a session instance based on the supplied session type.

initializeInstance(SessionType, SessionInstance) - Method in interface org.scribble.monitor.Monitor

This method initializes a session instance based on the supplied session type.

initLoader(String) - Method in class org.scribble.cli.CommandLine

This method initializes the loader.

initResultsFile(File) - Static method in class org.scribble.trace.simulation.junit.JUnitSimulator

This method initialixes the result file.

InputStreamResource - Class in org.scribble.resources

This class represents the resource.

InputStreamResource(String, InputStream) - Constructor for class org.scribble.resources.InputStreamResource

The constructor.

Interruptible - Class in org.scribble.monitor.model

This class represents an Interruptible action.

Interruptible() - Constructor for class org.scribble.monitor.model.Interruptible

 

isNil(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

isRole(Role) - Method in class org.scribble.model.RoleDecl

Determines whether the role declaration is associated with the supplied role.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GActivity

This method determines whether the supplied role is 'involved' in this global activity.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GBlock

This method determines whether the supplied role is 'involved' in this global activity.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GChoice

This method determines whether the supplied role is 'involved' in this global activity.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GContinue

This method determines whether the supplied role is 'involved' in this global activity.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GCustomActivity

This method determines whether the supplied role is 'involved' in this global activity.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GDo

This method determines whether the supplied role is 'involved' in this global activity.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GInterruptible

This method determines whether the supplied role is 'involved' in this global activity.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GMessageTransfer

This method determines whether the supplied role is 'involved' in this global activity.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GParallel

This method determines whether the supplied role is 'involved' in this global activity.

isRoleInvolved(RoleDecl) - Method in class org.scribble.model.global.GRecursion

This method determines whether the supplied role is 'involved' in this global activity.

isSameRole(LChoice, LChoice) - Method in class org.scribble.projection.rules.GChoiceProjectionRule

Check whether roles are the same.

IssueLogger - Interface in org.scribble.logging

This interface can be used to log validation feedback.

J

JUnitSimulator - Class in org.scribble.trace.simulation.junit

This class performs simulation of one or more trace files, and records the output in a JUnit XML file format.

JUnitSimulator() - Constructor for class org.scribble.trace.simulation.junit.JUnitSimulator

 

JUnitSimulator.JUnitSimulationListener - Class in org.scribble.trace.simulation.junit

JUnit implementation of the simulation listener interface, used to record the intermediate and final results from simulating the trace files.

JUnitSimulator.JUnitSimulationListener() - Constructor for class org.scribble.trace.simulation.junit.JUnitSimulator.JUnitSimulationListener

 

L

LActivity - Class in org.scribble.model.local

This class represents the base class for all Scribble definition context.

LActivity() - Constructor for class org.scribble.model.local.LActivity

The default constructor.

LActivity(LActivity) - Constructor for class org.scribble.model.local.LActivity

The copy constructor.

LBlock - Class in org.scribble.model.local

This class represents a group of activities.

LBlock() - Constructor for class org.scribble.model.local.LBlock

 

LBlockNodeExporter - Class in org.scribble.monitor.export.rules

This class exports a block into a session type to be monitored.

LBlockNodeExporter() - Constructor for class org.scribble.monitor.export.rules.LBlockNodeExporter

 

LBlockValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the LBlock component.

LBlockValidationRule() - Constructor for class org.scribble.validation.rules.LBlockValidationRule

 

LChoice - Class in org.scribble.model.local

This class represents the Choice construct between two or more paths.

LChoice() - Constructor for class org.scribble.model.local.LChoice

This is the default constructor.

LChoiceNodeExporter - Class in org.scribble.monitor.export.rules

This class exports a choice into a session type to be monitored.

LChoiceNodeExporter() - Constructor for class org.scribble.monitor.export.rules.LChoiceNodeExporter

 

LChoiceValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the LChoice component.

LChoiceValidationRule() - Constructor for class org.scribble.validation.rules.LChoiceValidationRule

 

LContinue - Class in org.scribble.model.local

This class represents the Raise construct.

LContinue() - Constructor for class org.scribble.model.local.LContinue

This is the default constructor.

LContinue(LContinue) - Constructor for class org.scribble.model.local.LContinue

This is the copy constructor.

LContinueNodeExporter - Class in org.scribble.monitor.export.rules

This class exports a receive into a session type to be monitored.

LContinueNodeExporter() - Constructor for class org.scribble.monitor.export.rules.LContinueNodeExporter

 

LCustomActivity - Class in org.scribble.model.local

This class represents a custom activity.

LCustomActivity() - Constructor for class org.scribble.model.local.LCustomActivity

This is the default constructor.

LCustomActivity(LCustomActivity) - Constructor for class org.scribble.model.local.LCustomActivity

This is the copy constructor.

LDo - Class in org.scribble.model.local

This class represents the Run construct.

LDo() - Constructor for class org.scribble.model.local.LDo

This is the default constructor.

LDo(LDo) - Constructor for class org.scribble.model.local.LDo

This is the copy constructor.

LDoNodeExporter - Class in org.scribble.monitor.export.rules

This class exports a Do into a session type to be monitored.

LDoNodeExporter() - Constructor for class org.scribble.monitor.export.rules.LDoNodeExporter

 

LDoValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the LDo component.

LDoValidationRule() - Constructor for class org.scribble.validation.rules.LDoValidationRule

 

LInterruptible - Class in org.scribble.model.local

This class represents the interruptible construct.

LInterruptible() - Constructor for class org.scribble.model.local.LInterruptible

This is the default constructor.

LInterruptible.Catch - Class in org.scribble.model.local

This class represents the catch definition.

LInterruptible.Catch() - Constructor for class org.scribble.model.local.LInterruptible.Catch

 

LInterruptible.Throw - Class in org.scribble.model.local

This class represents the throw definition.

LInterruptible.Throw() - Constructor for class org.scribble.model.local.LInterruptible.Throw

 

LInterruptibleNodeExporter - Class in org.scribble.monitor.export.rules

This class exports an Interruptible into a session type to be monitored.

LInterruptibleNodeExporter() - Constructor for class org.scribble.monitor.export.rules.LInterruptibleNodeExporter

 

LInterruptibleValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the LInterruptible component.

LInterruptibleValidationRule() - Constructor for class org.scribble.validation.rules.LInterruptibleValidationRule

 

loadModule(Resource) - Method in class org.scribble.cli.CommandLine

This method determines whether the module associated with the supplied resource is valid.

loadModule(String) - Method in class org.scribble.context.DefaultModuleLoader

This method loads the module associated with the specified name.

loadModule(String) - Method in interface org.scribble.context.ModuleLoader

This method loads the module associated with the specified name.

loadModule(String) - Method in class org.scribble.parser.ProtocolModuleLoader

This method loads the module associated with the specified name.

LocalCatchModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'interruptible' parser rule.

LocalCatchModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalCatchModelAdaptor

 

LocalChoiceModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'localChoice' parser rule.

LocalChoiceModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalChoiceModelAdaptor

 

LocalContinueModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'localContinue' parser rule.

LocalContinueModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalContinueModelAdaptor

 

LocalDoModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'doDef' parser rule.

LocalDoModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalDoModelAdaptor

 

LocalInterruptibleModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'interruptible' parser rule.

LocalInterruptibleModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalInterruptibleModelAdaptor

 

LocalParallelModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'localParallel' parser rule.

LocalParallelModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalParallelModelAdaptor

 

LocalProtocolBlockModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'localInteractionBlock' parser rule.

LocalProtocolBlockModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalProtocolBlockModelAdaptor

 

LocalProtocolDeclModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'localProtocolDecl' parser rule.

LocalProtocolDeclModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalProtocolDeclModelAdaptor

 

LocalReceiveModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'receive' parser rule.

LocalReceiveModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalReceiveModelAdaptor

 

LocalRecursionModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'localRecursion' parser rule.

LocalRecursionModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalRecursionModelAdaptor

 

LocalSendModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'send' parser rule.

LocalSendModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalSendModelAdaptor

 

LocalThrowModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'interruptible' parser rule.

LocalThrowModelAdaptor() - Constructor for class org.scribble.parser.antlr.LocalThrowModelAdaptor

 

LParallel - Class in org.scribble.model.local

This class represents the Parallel construct with two or more concurrent paths.

LParallel() - Constructor for class org.scribble.model.local.LParallel

This is the default constructor.

LParallelNodeExporter - Class in org.scribble.monitor.export.rules

This class exports a parallel into a session type to be monitored.

LParallelNodeExporter() - Constructor for class org.scribble.monitor.export.rules.LParallelNodeExporter

 

LParallelValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the LParallel component.

LParallelValidationRule() - Constructor for class org.scribble.validation.rules.LParallelValidationRule

 

LProtocolDecl - Class in org.scribble.model.local

This class represents the local protocol declaration.

LProtocolDecl() - Constructor for class org.scribble.model.local.LProtocolDecl

The default constructor.

LProtocolDefinition - Class in org.scribble.model.local

This class represents the protocol notation.

LProtocolDefinition() - Constructor for class org.scribble.model.local.LProtocolDefinition

The default constructor.

LProtocolDefinitionValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the LProtocolDefinition component.

LProtocolDefinitionValidationRule() - Constructor for class org.scribble.validation.rules.LProtocolDefinitionValidationRule

 

LProtocolInstance - Class in org.scribble.model.local

This class represents the protocol notation.

LProtocolInstance() - Constructor for class org.scribble.model.local.LProtocolInstance

The default constructor.

LProtocolInstanceValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GProtocolInstance component.

LProtocolInstanceValidationRule() - Constructor for class org.scribble.validation.rules.LProtocolInstanceValidationRule

 

LReceive - Class in org.scribble.model.local

This class represents an interaction: the communication of a message from one role to another, or several others.

LReceive() - Constructor for class org.scribble.model.local.LReceive

The default constructor.

LReceive(LReceive) - Constructor for class org.scribble.model.local.LReceive

The copy constructor.

LReceive(Message, Role) - Constructor for class org.scribble.model.local.LReceive

This constructor initializes the 'from' role and message signature.

LReceiveNodeExporter - Class in org.scribble.monitor.export.rules

This class exports a receive into a session type to be monitored.

LReceiveNodeExporter() - Constructor for class org.scribble.monitor.export.rules.LReceiveNodeExporter

 

LReceiveValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the LSend component.

LReceiveValidationRule() - Constructor for class org.scribble.validation.rules.LReceiveValidationRule

 

LRecursion - Class in org.scribble.model.local

This class represents the Recur construct.

LRecursion() - Constructor for class org.scribble.model.local.LRecursion

This is the default constructor.

LRecursionNodeExporter - Class in org.scribble.monitor.export.rules

This class exports a Recursion into a session type to be monitored.

LRecursionNodeExporter() - Constructor for class org.scribble.monitor.export.rules.LRecursionNodeExporter

 

LRecursionValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the LRecursion component.

LRecursionValidationRule() - Constructor for class org.scribble.validation.rules.LRecursionValidationRule

 

LSend - Class in org.scribble.model.local

This class represents an interaction: the communication of a message from one role to another, or several others.

LSend() - Constructor for class org.scribble.model.local.LSend

The default constructor.

LSend(LSend) - Constructor for class org.scribble.model.local.LSend

The copy constructor.

LSend(Message, Role) - Constructor for class org.scribble.model.local.LSend

This constructor initializes the 'to' role and message signature.

LSendNodeExporter - Class in org.scribble.monitor.export.rules

This class exports a send into a session type to be monitored.

LSendNodeExporter() - Constructor for class org.scribble.monitor.export.rules.LSendNodeExporter

 

LSendValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the LSend component.

LSendValidationRule() - Constructor for class org.scribble.validation.rules.LSendValidationRule

 

LVisitor - Interface in org.scribble.model.local

This interface represents a visitor which can be used to traverse a model.

M

main(String[]) - Static method in class org.scribble.cli.CommandLine

This is the main method for the Scribble CLI.

main(String[]) - Static method in class org.scribble.trace.simulation.junit.JUnitSimulator

This main method is invoked with the path of a single trace file, or a folder containing zero or more trace files.

MAPPER - Static variable in class org.scribble.monitor.MonitorUtil

 

MAPPER - Static variable in class org.scribble.trace.util.TraceUtil

 

merge(LChoice, RoleDecl, IssueLogger) - Static method in class org.scribble.projection.rules.GChoiceProjectionRule

This method processes a choice construct.

Message - Class in org.scribble.model

This class represents a message.

Message() - Constructor for class org.scribble.model.Message

The default constructor.

Message(Message) - Constructor for class org.scribble.model.Message

 

Message - Class in org.scribble.monitor

This class represents a message being sent or received by the role being monitored.

Message() - Constructor for class org.scribble.monitor.Message

 

MessageModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'messageSignature' parser rule.

MessageModelAdaptor() - Constructor for class org.scribble.parser.antlr.MessageModelAdaptor

 

MessageNode - Class in org.scribble.monitor.model

This class represents the base class for message related nodes.

MessageNode() - Constructor for class org.scribble.monitor.model.MessageNode

 

MessageSignature - Class in org.scribble.model

This class represents a message signature.

MessageSignature() - Constructor for class org.scribble.model.MessageSignature

The default constructor.

MessageSignature(String, List<PayloadElement>) - Constructor for class org.scribble.model.MessageSignature

Constructor for MessageSignatures that comprise an operation.

MessageSignature(MessageSignature) - Constructor for class org.scribble.model.MessageSignature

The copy constructor.

MessageSignatureModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'messageSignature' parser rule.

MessageSignatureModelAdaptor() - Constructor for class org.scribble.parser.antlr.MessageSignatureModelAdaptor

 

MessageSignatureValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the MessageSignature component.

MessageSignatureValidationRule() - Constructor for class org.scribble.validation.rules.MessageSignatureValidationRule

 

MessageTransfer - Class in org.scribble.trace.model

This class represents a message being transferred between the specified roles.

MessageTransfer() - Constructor for class org.scribble.trace.model.MessageTransfer

 

MessageValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the Message component.

MessageValidationRule() - Constructor for class org.scribble.validation.rules.MessageValidationRule

 

ModelAdaptor - Interface in org.scribble.parser.antlr

This interface defines the model adapter for the parser rules.

ModelAdaptorFactory - Class in org.scribble.parser.antlr

This class provides the model adaptor factory.

ModelAdaptorFactory() - Constructor for class org.scribble.parser.antlr.ModelAdaptorFactory

 

ModelObject - Class in org.scribble.model

This is the generic object from which all Scribble model objects are derived.

ModelObject() - Constructor for class org.scribble.model.ModelObject

This is the default constructor for the model object.

ModelObject(ModelObject) - Constructor for class org.scribble.model.ModelObject

This is the copy constructor.

ModelProperties - Interface in org.scribble.model

This interface provides the definitions for the properties associated with objects in the model.

Module - Class in org.scribble.model

This class represents the base class for models associated with specific notations.

Module() - Constructor for class org.scribble.model.Module

The default constructor for the model.

ModuleContext - Interface in org.scribble.context

This interface represents the validation context.

ModuleLoader - Interface in org.scribble.context

This interface is responsible for loading modules.

ModuleModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'module' parser rule.

ModuleModelAdaptor() - Constructor for class org.scribble.parser.antlr.ModuleModelAdaptor

 

ModuleProjectionRule - Class in org.scribble.projection.rules

This class implements the Module projection rule.

ModuleProjectionRule() - Constructor for class org.scribble.projection.rules.ModuleProjectionRule

 

ModuleValidationRule - Class in org.scribble.validation.rules

This class implements the validation rule for the GMessage component.

ModuleValidationRule() - Constructor for class org.scribble.validation.rules.ModuleValidationRule

 

Monitor - Interface in org.scribble.monitor

 

MonitorExporter - Class in org.scribble.monitor.export

This class exports a local protocol definition to a monitor model.

MonitorExporter() - Constructor for class org.scribble.monitor.export.MonitorExporter

 

MonitorRoleSimulator - Class in org.scribble.trace.model

This abstract class represents a simulator associated with a role in a message trace.

MonitorRoleSimulator() - Constructor for class org.scribble.trace.model.MonitorRoleSimulator

 

MonitorUtil - Class in org.scribble.monitor

This class provides model utility functions.

MonitorUtil() - Constructor for class org.scribble.monitor.MonitorUtil

 

N

nil() - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

Node - Class in org.scribble.monitor.model

This class represents the base class for all session nodes.

Node() - Constructor for class org.scribble.monitor.model.Node

 

NodeExporter - Interface in org.scribble.monitor.export.rules

This class exports local protocol objects into a session type to be monitored.

NodeExporterFactory - Class in org.scribble.monitor.export.rules

This class provides a factory for node exporters related to local protocol objects.

NodeExporterFactory() - Constructor for class org.scribble.monitor.export.rules.NodeExporterFactory

 

O

org.scribble.cli - package org.scribble.cli

 

org.scribble.context - package org.scribble.context

 

org.scribble.logging - package org.scribble.logging

 

org.scribble.model - package org.scribble.model

 

org.scribble.model.global - package org.scribble.model.global

 

org.scribble.model.local - package org.scribble.model.local

 

org.scribble.monitor - package org.scribble.monitor

 

org.scribble.monitor.export - package org.scribble.monitor.export

 

org.scribble.monitor.export.rules - package org.scribble.monitor.export.rules

 

org.scribble.monitor.model - package org.scribble.monitor.model

 

org.scribble.parser - package org.scribble.parser

 

org.scribble.parser.antlr - package org.scribble.parser.antlr

 

org.scribble.projection - package org.scribble.projection

 

org.scribble.projection.rules - package org.scribble.projection.rules

 

org.scribble.resources - package org.scribble.resources

 

org.scribble.trace.model - package org.scribble.trace.model

 

org.scribble.trace.simulation - package org.scribble.trace.simulation

 

org.scribble.trace.simulation.junit - package org.scribble.trace.simulation.junit

 

org.scribble.trace.util - package org.scribble.trace.util

 

org.scribble.validation - package org.scribble.validation

 

org.scribble.validation.rules - package org.scribble.validation.rules

 

P

Parallel - Class in org.scribble.monitor.model

This class represents a Parallel action.

Parallel() - Constructor for class org.scribble.monitor.model.Parallel

 

Parameter - Class in org.scribble.model

This class represents a parameter.

Parameter() - Constructor for class org.scribble.model.Parameter

This is the default constructor.

Parameter(Parameter) - Constructor for class org.scribble.model.Parameter

This is the copy constructor.

ParameterDecl - Class in org.scribble.model

This class represents a parameter declaration.

ParameterDecl() - Constructor for class org.scribble.model.ParameterDecl

This is the default constructor.

ParameterDecl(ParameterDecl) - Constructor for class org.scribble.model.ParameterDecl

This is the copy constructor.

ParameterDecl.ParameterType - Enum in org.scribble.model

Parameter declaration type.

ParameterDeclListModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'roleDef' parser rule.

ParameterDeclListModelAdaptor() - Constructor for class org.scribble.parser.antlr.ParameterDeclListModelAdaptor

 

ParameterListModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'parameterList' parser rule.

ParameterListModelAdaptor() - Constructor for class org.scribble.parser.antlr.ParameterListModelAdaptor

 

parse(Resource, ModuleLoader, IssueLogger) - Method in class org.scribble.parser.ProtocolParser

This method parses the scribble protocol contained in the supplied resource.

ParserContext - Interface in org.scribble.parser.antlr

This interface represents the context used by the parser.

PayloadElement - Class in org.scribble.model

This class represents a payload element associated with a model.

PayloadElement() - Constructor for class org.scribble.model.PayloadElement

The default constructor.

PayloadElement(PayloadElement) - Constructor for class org.scribble.model.PayloadElement

The copy constructor.

PayloadModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'payloadType' parser rule.

PayloadModelAdaptor() - Constructor for class org.scribble.parser.antlr.PayloadModelAdaptor

 

PayloadTypeDecl - Class in org.scribble.model

This class represents an imported type associated with a model.

PayloadTypeDecl() - Constructor for class org.scribble.model.PayloadTypeDecl

The default constructor.

PayloadTypeDecl(PayloadTypeDecl) - Constructor for class org.scribble.model.PayloadTypeDecl

The copy constructor.

PayloadTypeDeclModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'payloadTypeDecl' parser rule.

PayloadTypeDeclModelAdaptor() - Constructor for class org.scribble.parser.antlr.PayloadTypeDeclModelAdaptor

 

peek() - Method in class org.scribble.parser.antlr.DefaultParserContext

This method accesses the current component from the context and returns it to the caller.

peek() - Method in interface org.scribble.parser.antlr.ParserContext

This method accesses the current component from the context and returns it to the caller.

pop() - Method in class org.scribble.monitor.export.rules.ExportState

This method pops state information from the stack.

pop() - Method in class org.scribble.parser.antlr.DefaultParserContext

This method removes a component from the context and returns it to the caller.

pop() - Method in interface org.scribble.parser.antlr.ParserContext

This method removes a component from the context and returns it to the caller.

project(Module, Resource) - Method in class org.scribble.cli.CommandLine

This method projects the supplied module.

project(ModuleContext, Module, IssueLogger) - Method in class org.scribble.projection.ProtocolProjector

This method projects the supplied module, reporting any issues to the logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GBlockProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GChoiceProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GContinueProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GDoProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GInterruptibleProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GMessageTransferProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GParallelProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GProtocolDefinitionProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GProtocolInstanceProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.GRecursionProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.ModuleProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

project(ModuleContext, ModelObject, RoleDecl, IssueLogger) - Method in interface org.scribble.projection.rules.ProjectionRule

This method projects the supplied model object and reports any relevant issues to the supplied logger.

ProjectionMessages - Class in org.scribble.projection.rules

This class is responsible for returning the projection messages used by the rules.

ProjectionMessages() - Constructor for class org.scribble.projection.rules.ProjectionMessages

 

ProjectionRule - Interface in org.scribble.projection.rules

This interface represents a projection rule.

ProjectionRuleFactory - Class in org.scribble.projection.rules

This class provides the factory capability for projection rules.

ProjectionRuleFactory() - Constructor for class org.scribble.projection.rules.ProjectionRuleFactory

 

projectProtocolDecl(ModuleContext, ProtocolDecl, LProtocolDecl, RoleDecl, IssueLogger) - Method in class org.scribble.projection.rules.AbstractProtocolDeclProjectionRule

This method projects the protocol declaration information common to protocol definitions and instances.

PROTOCOL_EXTENSION - Static variable in class org.scribble.parser.ProtocolDefinitions

The protocol type.

ProtocolContext - Interface in org.scribble.parser

This interface provides access to capabilities based on the protocol being processed.

ProtocolDecl - Class in org.scribble.model

This class represents the protocol notation.

ProtocolDecl() - Constructor for class org.scribble.model.ProtocolDecl

The default constructor.

ProtocolDefinitions - Class in org.scribble.parser

This class provides common protocol definitions.

ProtocolModuleLoader - Class in org.scribble.parser

This class provides a default implementation of the ModuleLoader interface.

ProtocolModuleLoader(ProtocolParser, ResourceLocator, IssueLogger) - Constructor for class org.scribble.parser.ProtocolModuleLoader

This constructor initializes the module loader.

ProtocolParser - Class in org.scribble.parser

This class provides the ANTLR implementation of the Protocol Parser interface.

ProtocolParser() - Constructor for class org.scribble.parser.ProtocolParser

Default constructor.

ProtocolProjector - Class in org.scribble.projection

This class is responsible for projecting a protocol module.

ProtocolProjector() - Constructor for class org.scribble.projection.ProtocolProjector

 

ProtocolTreeAdaptor - Class in org.scribble.parser.antlr

This class provides the antlr tree adaptor.

ProtocolTreeAdaptor() - Constructor for class org.scribble.parser.antlr.ProtocolTreeAdaptor

The constructor.

ProtocolValidator - Class in org.scribble.validation

This class is responsible for validating a protocol module.

ProtocolValidator() - Constructor for class org.scribble.validation.ProtocolValidator

 

push() - Method in class org.scribble.monitor.export.rules.ExportState

This method pushes state information to the stack.

push(Object) - Method in class org.scribble.parser.antlr.DefaultParserContext

This method adds a component to the parser context.

push(Object) - Method in interface org.scribble.parser.antlr.ParserContext

This method adds a component to the parser context.

R

Receive - Class in org.scribble.monitor.model

This class represents a Receive action.

Receive() - Constructor for class org.scribble.monitor.model.Receive

 

receive(SimulatorContext, Message, String) - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method simulates the receiving of a message.

receive(SimulatorContext, Message, String) - Method in class org.scribble.trace.model.RoleSimulator

This method simulates the receiving of a message.

received(SessionType, SessionInstance, Message, String) - Method in class org.scribble.monitor.DefaultMonitor

This method checks whether the received message is valid.

received(SessionType, SessionScope, Message, String) - Method in class org.scribble.monitor.DefaultMonitor

This method checks whether the received message is applicable to the supplied session scope or any of its child scopes.

received(SessionType, SessionScope, int, Message, String) - Method in class org.scribble.monitor.model.Node

This method checks whether the sent message is valid.

received(SessionType, SessionScope, int, Message, String) - Method in class org.scribble.monitor.model.Receive

This method checks whether the sent message is valid.

received(SessionType, SessionInstance, Message, String) - Method in interface org.scribble.monitor.Monitor

This method checks whether the received message is valid.

Recursion - Class in org.scribble.monitor.model

This class represents a Recursion action.

Recursion() - Constructor for class org.scribble.monitor.model.Recursion

 

registerLabelIndex(String, int) - Method in class org.scribble.monitor.export.rules.ExportState

This method registers the label against the index.

registerLabelIndex(String, int) - Method in class org.scribble.monitor.export.rules.ExportState.StateInformation

This method registers the label against the index.

registerModule(Module) - Method in class org.scribble.context.DefaultModuleLoader

This method registers the supplied module.

registerRoleSimulator(String, Class<? extends RoleSimulator>) - Static method in class org.scribble.trace.simulation.RoleSimulatorManager

This method registers a role simulator class against a name.

remove(Object) - Method in class org.scribble.model.ContainmentList

Removes the first occurrence in this list of the specified element (optional operation).

remove(int) - Method in class org.scribble.model.ContainmentList

Removes the element at the specified position in this list (optional operation).

remove(GActivity) - Method in class org.scribble.model.global.GBlock

This method removes an activity from the block.

remove(LActivity) - Method in class org.scribble.model.local.LBlock

This method removes an activity from the block.

removeAll(Collection<?>) - Method in class org.scribble.model.ContainmentList

Removes from this list all the elements that are contained in the specified collection (optional operation).

removeSimulationListener(SimulationListener) - Method in class org.scribble.trace.simulation.Simulator

This method unregisters a simulation listener.

replaceChildren(Object, int, int, Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

Resource - Interface in org.scribble.resources

This class represents the resource.

RESOURCE_URL - Static variable in class org.scribble.model.ModelObject

The optional resource URL associated with the issue.

ResourceLocator - Interface in org.scribble.resources

This interface provides the resource location capability.

retainAll(Collection<?>) - Method in class org.scribble.model.ContainmentList

Retains only the elements in this list that are contained in the specified collection (optional operation).

Role - Class in org.scribble.model

This class represents a role.

Role() - Constructor for class org.scribble.model.Role

This is the default constructor.

Role(Role) - Constructor for class org.scribble.model.Role

This is the copy constructor.

Role(RoleDecl) - Constructor for class org.scribble.model.Role

This is the copy constructor.

Role(String) - Constructor for class org.scribble.model.Role

This constructor initializes the role with a name.

Role - Class in org.scribble.trace.model

This class represents a role associated with a message trace

Role() - Constructor for class org.scribble.trace.model.Role

 

RoleDecl - Class in org.scribble.model

This class represents a role.

RoleDecl() - Constructor for class org.scribble.model.RoleDecl

This is the default constructor.

RoleDecl(RoleDecl) - Constructor for class org.scribble.model.RoleDecl

This is the copy constructor.

RoleDecl(String) - Constructor for class org.scribble.model.RoleDecl

This constructor initializes the role with a name.

RoleDeclListModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'roleDef' parser rule.

RoleDeclListModelAdaptor() - Constructor for class org.scribble.parser.antlr.RoleDeclListModelAdaptor

 

RoleInstantiation - Class in org.scribble.model

This class represents a role instantiation.

RoleInstantiation() - Constructor for class org.scribble.model.RoleInstantiation

This is the default constructor.

RoleInstantiation(RoleInstantiation) - Constructor for class org.scribble.model.RoleInstantiation

This is the copy constructor.

RoleInstantiationListModelAdaptor - Class in org.scribble.parser.antlr

This class provides the model adapter for the 'roleInstantiationList' parser rule.

RoleInstantiationListModelAdaptor() - Constructor for class org.scribble.parser.antlr.RoleInstantiationListModelAdaptor

 

RoleSimulator - Class in org.scribble.trace.model

This abstract class represents a simulator associated with a role in a message trace.

RoleSimulator() - Constructor for class org.scribble.trace.model.RoleSimulator

 

RoleSimulatorManager - Class in org.scribble.trace.simulation

This class provides management of the role simulators.

RoleSimulatorManager() - Constructor for class org.scribble.trace.simulation.RoleSimulatorManager

 

rulePostProcessing(Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

S

scanForTraceFiles(File) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator

This method recursively processes a directory hierarchy locating 'trace' files, which are the simulated to produce results in the output file.

Send - Class in org.scribble.monitor.model

This class represents a Send action.

Send() - Constructor for class org.scribble.monitor.model.Send

 

send(SimulatorContext, Message, String) - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method simulates the sending of a message.

send(SimulatorContext, Message, String) - Method in class org.scribble.trace.model.RoleSimulator

This method simulates the sending of a message.

sent(SessionType, SessionInstance, Message, String) - Method in class org.scribble.monitor.DefaultMonitor

This method checks whether the sent message is valid.

sent(SessionType, SessionScope, Message, String) - Method in class org.scribble.monitor.DefaultMonitor

This method checks whether the sent message is applicable to the supplied session scope or any of its child scopes.

sent(SessionType, SessionScope, int, Message, String) - Method in class org.scribble.monitor.model.Node

This method checks whether the sent message is valid.

sent(SessionType, SessionScope, int, Message, String) - Method in class org.scribble.monitor.model.Send

This method checks whether the sent message is valid.

sent(SessionType, SessionInstance, Message, String) - Method in interface org.scribble.monitor.Monitor

This method checks whether the sent message is valid.

serializeSessionInstance(SessionInstance) - Static method in class org.scribble.monitor.MonitorUtil

This method returns the JSON representation of the session instance.

serializeTrace(Trace) - Static method in class org.scribble.trace.util.TraceUtil

This method returns the JSON representation of a trace.

SessionInstance - Class in org.scribble.monitor

This class represents the state associated with an instance of a session type.

SessionInstance() - Constructor for class org.scribble.monitor.SessionInstance

 

SessionScope - Class in org.scribble.monitor

This class represents the state information associated with a scope.

SessionScope() - Constructor for class org.scribble.monitor.SessionScope

The default constructor.

SessionType - Class in org.scribble.monitor.model

This class represents the monitorable version of a local protocol.

SessionType() - Constructor for class org.scribble.monitor.model.SessionType

 

set(int, E) - Method in class org.scribble.model.ContainmentList

Replaces the element at the specified position in this list with the specified element (optional operation).

setAlias(String) - Method in class org.scribble.model.Argument

This method sets the alias.

setAlias(String) - Method in class org.scribble.model.ImportDecl

This method sets the optional alias.

setAlias(String) - Method in class org.scribble.model.ParameterDecl

This method sets the alias of the parameter declaration.

setAlias(String) - Method in class org.scribble.model.PayloadTypeDecl

This method sets the alias.

setAlias(String) - Method in class org.scribble.model.RoleDecl

This method sets the alias of the role.

setAlias(String) - Method in class org.scribble.model.RoleInstantiation

This method sets the alias of the role.

setAnnotation(String) - Method in class org.scribble.model.PayloadElement

This method sets the optional annotation.

setBlock(GBlock) - Method in class org.scribble.model.global.GInterruptible

This method sets the block.

setBlock(GBlock) - Method in class org.scribble.model.global.GProtocolDefinition

This method sets the block of activities associated with the definition.

setBlock(GBlock) - Method in class org.scribble.model.global.GRecursion

This method sets the block.

setBlock(LBlock) - Method in class org.scribble.model.local.LInterruptible

This method sets the block.

setBlock(LBlock) - Method in class org.scribble.model.local.LProtocolDefinition

This method sets the block of activities associated with the definition.

setBlock(LBlock) - Method in class org.scribble.model.local.LRecursion

This method sets the block.

setBlockIndex(int) - Method in class org.scribble.monitor.model.Interruptible

This method sets the block index.

setBlockIndex(int) - Method in class org.scribble.monitor.model.Recursion

This method sets the block index.

setCatches(List<LInterruptible.Catch>) - Method in class org.scribble.model.local.LInterruptible

This method sets the catches.

setCatches(int) - Method in class org.scribble.monitor.model.Interruptible

This method sets the node index associated with catch specifications.

setCatches(int) - Method in class org.scribble.monitor.SessionScope

This method sets the node index associated with catch specifications.

setChild(Object, int, Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

setChildIndex(Object, int) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

setCompletionIndex(int) - Method in class org.scribble.monitor.SessionScope

This method returns the optional completion index.

setDescription(String) - Method in class org.scribble.trace.model.Trace

This method sets the description of the trace.

setEndProperties(ModelObject, Object) - Method in class org.scribble.parser.antlr.AbstractModelAdaptor

This method sets the end properties on the supplied model object.

setFormat(String) - Method in class org.scribble.model.PayloadTypeDecl

This method sets the schema format.

setFromRole(Role) - Method in class org.scribble.model.global.GMessageTransfer

This method sets the 'from' role.

setFromRole(Role) - Method in class org.scribble.model.local.LReceive

This method sets the optional 'from' role.

setFromRole(String) - Method in class org.scribble.monitor.model.Receive

This method sets the 'from' role.

setFromRole(String) - Method in class org.scribble.trace.model.MessageTransfer

This method sets the role.

setInterrupts(List<GInterruptible.Interrupt>) - Method in class org.scribble.model.global.GInterruptible

This method sets the interrupts.

setLabel(String) - Method in class org.scribble.model.global.GContinue

This method sets the label associated with the recursion construct.

setLabel(String) - Method in class org.scribble.model.global.GRecursion

This method sets the label associated with the labelled block construct.

setLabel(String) - Method in class org.scribble.model.local.LContinue

This method sets the label associated with the recursion construct.

setLabel(String) - Method in class org.scribble.model.local.LRecursion

This method sets the label associated with the labelled block construct.

setLocalRole(Role) - Method in class org.scribble.model.local.LProtocolDecl

This method sets the local role.

setMemberName(String) - Method in class org.scribble.model.global.GProtocolInstance

This method sets the member name.

setMemberName(String) - Method in class org.scribble.model.ImportDecl

This method sets the name of the member being imported.

setMemberName(String) - Method in class org.scribble.model.local.LProtocolInstance

This method sets the member name.

setMessage(Message) - Method in class org.scribble.model.global.GMessageTransfer

This method sets the message.

setMessage(Message) - Method in class org.scribble.model.local.LReceive

This method sets the message.

setMessage(Message) - Method in class org.scribble.model.local.LSend

This method sets the message.

setMessage(Message) - Method in class org.scribble.trace.model.MessageTransfer

This method sets the message.

setMessages(List<Message>) - Method in class org.scribble.model.global.GInterruptible.Interrupt

This method sets the interrupt messages.

setMessages(List<Message>) - Method in class org.scribble.model.local.LInterruptible.Catch

This method sets the interrupt messages.

setMessages(List<Message>) - Method in class org.scribble.model.local.LInterruptible.Throw

This method sets the interrupt messages.

setMessageSignature(MessageSignature) - Method in class org.scribble.model.Argument

This method sets the message signature.

setMessageSignature(MessageSignature) - Method in class org.scribble.model.Message

This method sets the message signature.

setModule(String) - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method sets the local module to be monitored.

setModuleName(String) - Method in class org.scribble.model.ImportDecl

This method sets the optional module name.

setMutuallyExclusive(boolean) - Method in class org.scribble.monitor.SessionScope

This method sets whether the session scope contains sub-scopes that are mutually exclusive.

setName(String) - Method in class org.scribble.model.Argument

This method sets the payload type or parameter name.

setName(String) - Method in class org.scribble.model.Module

This method sets the fully qualified name.

setName(String) - Method in class org.scribble.model.Parameter

This method sets the name of the role.

setName(String) - Method in class org.scribble.model.ParameterDecl

This method sets the name of the parameter declaration.

setName(String) - Method in class org.scribble.model.PayloadElement

This method sets the payload type or parameter name.

setName(String) - Method in class org.scribble.model.ProtocolDecl

This method sets the name.

setName(String) - Method in class org.scribble.model.Role

This method sets the name of the role.

setName(String) - Method in class org.scribble.model.RoleDecl

This method sets the name of the role.

setName(String) - Method in class org.scribble.model.RoleInstantiation

This method sets the name of the role.

setName(String) - Method in class org.scribble.monitor.SessionScope

This method sets the optional name associated with the scope.

setName(String) - Method in class org.scribble.trace.model.Role

This method sets the name of the trace.

setName(String) - Method in class org.scribble.trace.model.Trace

This method sets the name of the trace.

setNameNodes(boolean) - Static method in class org.scribble.monitor.model.Node

This method sets whether to name the sessions.

setNext(int) - Method in class org.scribble.monitor.model.Node

This method sets the next index.

setNodeIndexes(List<Integer>) - Method in class org.scribble.monitor.SessionScope

This method sets the list of node indexes associated with this scope.

setNodes(List<Node>) - Method in class org.scribble.monitor.model.SessionType

This method sets the nodes.

setOperator(String) - Method in class org.scribble.model.MessageSignature

This method sets the operator.

setOperator(String) - Method in class org.scribble.monitor.Message

This method sets the operator.

setOperator(String) - Method in class org.scribble.monitor.model.MessageNode

This method sets the operator.

setParameter(String) - Method in class org.scribble.model.Message

This method sets the parameter.

setParent(ModelObject) - Method in class org.scribble.model.ModelObject

This method sets the parent model object.

setParent(Object, Object) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

setParser(ScribbleParser) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

This method sets the parser.

setProtocol(String) - Method in class org.scribble.model.global.GDo

This method sets the protocol.

setProtocol(String) - Method in class org.scribble.model.local.LDo

This method sets the protocol.

setProtocol(String) - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method sets the protocol to be monitored.

setProtocolIndex(int) - Method in class org.scribble.monitor.model.Do

This method sets the protocol index.

setResourceLocator(ResourceLocator) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator

This method sets the resource locator.

setRole(Role) - Method in class org.scribble.model.global.GChoice

This method sets the role.

setRole(Role) - Method in class org.scribble.model.global.GInterruptible.Interrupt

This method sets the 'by' role.

setRole(Role) - Method in class org.scribble.model.local.LChoice

This method sets the role.

setRole(Role) - Method in class org.scribble.model.local.LInterruptible.Catch

This method sets the 'from' role.

setRole(String) - Method in class org.scribble.trace.model.MonitorRoleSimulator

This method sets the role within the module to be monitored.

setRoles(List<Role>) - Method in class org.scribble.trace.model.Trace

This method sets the roles.

setSchema(String) - Method in class org.scribble.model.PayloadTypeDecl

This method sets the schema.

setScope(String) - Method in class org.scribble.model.global.GDo

This method sets the optional scope name.

setScope(String) - Method in class org.scribble.model.global.GInterruptible

This method sets the scope name.

setScope(String) - Method in class org.scribble.model.local.LDo

This method sets the optional scope name.

setScope(String) - Method in class org.scribble.model.local.LInterruptible

This method sets the scope name.

setScope(SessionScope) - Method in class org.scribble.monitor.SessionInstance

This method sets the top level scope associated with this session instance.

setSimulator(RoleSimulator) - Method in class org.scribble.trace.model.Role

This method sets the optional simulator for the role.

setStartProperties(ModelObject, Object) - Method in class org.scribble.parser.antlr.AbstractModelAdaptor

This method sets the start properties on the supplied model object.

setSteps(List<Step>) - Method in class org.scribble.trace.model.Trace

This method sets the trace steps.

setSubScopes(List<SessionScope>) - Method in class org.scribble.monitor.SessionScope

This method sets the list of sub-scopes associated with this scope.

setSucceeds(boolean) - Method in class org.scribble.trace.model.Step

This method sets the 'to' roles.

setText(Object, String) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

setThrows(LInterruptible.Throw) - Method in class org.scribble.model.local.LInterruptible

This method sets the throws clause.

setThrows(int) - Method in class org.scribble.monitor.model.Interruptible

This method sets the node index associated with throw specifications.

setThrows(int) - Method in class org.scribble.monitor.SessionScope

This method sets the list of node indexes associated with throw specifications.

setTokenBoundaries(Object, Token, Token) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

setToRole(String) - Method in class org.scribble.monitor.model.Send

This method sets the 'to' role.

setToRoles(List<Role>) - Method in class org.scribble.model.global.GMessageTransfer

This method sets the 'to' roles.

setToRoles(List<Role>) - Method in class org.scribble.model.local.LInterruptible.Throw

This method sets the 'to' roles.

setToRoles(List<Role>) - Method in class org.scribble.model.local.LSend

This method sets the 'to' roles.

setToRoles(List<String>) - Method in class org.scribble.trace.model.MessageTransfer

This method sets the 'to' roles.

setType(ParameterDecl.ParameterType) - Method in class org.scribble.model.ParameterDecl

This method sets the type of the parameter declaration.

setType(String) - Method in class org.scribble.model.PayloadTypeDecl

This method sets the type.

setType(Object, int) - Method in class org.scribble.parser.antlr.ProtocolTreeAdaptor

setTypes(List<String>) - Method in class org.scribble.monitor.Message

This method sets the types.

setTypes(List<String>) - Method in class org.scribble.monitor.model.MessageNode

This method sets the types.

setValues(List<Object>) - Method in class org.scribble.monitor.Message

This method sets the values.

simulate(File) - Method in class org.scribble.cli.CommandLine

This method recursively scans the supplied location to determine if a trace file is present, and if found, simulates it.

simulate(SimulatorContext, Map<String, RoleSimulator>) - Method in class org.scribble.trace.model.MessageTransfer

This method simulates the step against the supplied role simulators, taking into account whether the step is expected to succeed.

simulate(SimulatorContext, Map<String, RoleSimulator>) - Method in class org.scribble.trace.model.Step

This method simulates the step against the supplied role simulators, taking into account whether the step is expected to succeed.

simulate(String, String) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator

This method simulates the trace file located at the specified path, or the zero or more trace files, if a directory is specified.

simulate(SimulatorContext, Trace) - Method in class org.scribble.trace.simulation.Simulator

This method initiates the simulation of a supplied trace.

simulateTrace(File) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator

This method simulates the supplied trace file.

SimulationListener - Interface in org.scribble.trace.simulation

This interface represents a simulation listener.

Simulator - Class in org.scribble.trace.simulation

This class represents a simulator.

Simulator() - Constructor for class org.scribble.trace.simulation.Simulator

 

SimulatorContext - Interface in org.scribble.trace.simulation

This interface provides context support for the simulator.

size() - Method in class org.scribble.model.global.GBlock

This method returns the number of activities in the block.

size() - Method in class org.scribble.model.local.LBlock

This method returns the number of activities in the block.

start(GBlock) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the start of a block.

start(GChoice) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the start of a choice.

start(GParallel) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the start of a parallel.

start(GProtocolDefinition) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the start of a protocol.

start(GRecursion) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the start of a labelled block.

start(GInterruptible) - Method in class org.scribble.model.global.DefaultGVisitor

This method indicates the start of an interruptible block.

start(GBlock) - Method in interface org.scribble.model.global.GVisitor

This method indicates the start of a block.

start(GChoice) - Method in interface org.scribble.model.global.GVisitor

This method indicates the start of a choice.

start(GParallel) - Method in interface org.scribble.model.global.GVisitor

This method indicates the start of a parallel.

start(GProtocolDefinition) - Method in interface org.scribble.model.global.GVisitor

This method indicates the start of a protocol.

start(GRecursion) - Method in interface org.scribble.model.global.GVisitor

This method indicates the start of a labelled block.

start(GInterruptible) - Method in interface org.scribble.model.global.GVisitor

This method indicates the start of an interruptible block.

start(LBlock) - Method in interface org.scribble.model.local.LVisitor

This method indicates the start of a block.

start(LChoice) - Method in interface org.scribble.model.local.LVisitor

This method indicates the start of a choice.

start(LParallel) - Method in interface org.scribble.model.local.LVisitor

This method indicates the start of a parallel.

start(LProtocolDefinition) - Method in interface org.scribble.model.local.LVisitor

This method indicates the start of a protocol.

start(LRecursion) - Method in interface org.scribble.model.local.LVisitor

This method indicates the start of a labelled block.

start(LInterruptible) - Method in interface org.scribble.model.local.LVisitor

This method indicates the start of an interruptible block.

start(Trace) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator.JUnitSimulationListener

This method identifies when a trace simulation has started.

start(Trace, Step) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator.JUnitSimulationListener

This method identifies when the simulation of trace step has started.

start(Trace) - Method in interface org.scribble.trace.simulation.SimulationListener

This method identifies when a trace simulation has started.

start(Trace, Step) - Method in interface org.scribble.trace.simulation.SimulationListener

This method identifies when the simulation of trace step has started.

START_COLUMN - Static variable in class org.scribble.model.ModelObject

The start column in the document at which the issue has been detected.

START_LINE - Static variable in class org.scribble.model.ModelObject

The start line in the document at which the issue has been detected.

START_LOCATION - Static variable in interface org.scribble.model.ModelProperties

This construct defines the start location in a textual description of a scribble construct.

START_POSITION - Static variable in class org.scribble.model.ModelObject

The start position in the document at which the issue has been detected.

Step - Class in org.scribble.trace.model

This class represents the base class from which all simulation actions are derived.

Step() - Constructor for class org.scribble.trace.model.Step

 

stop(Trace) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator.JUnitSimulationListener

This method identifies when a trace simulation has stopped.

stop(Trace) - Method in interface org.scribble.trace.simulation.SimulationListener

This method identifies when a trace simulation has stopped.

successful(Trace, Step) - Method in class org.scribble.trace.simulation.junit.JUnitSimulator.JUnitSimulationListener

This method identifies when the simulation of trace step has been successful.

successful(Trace, Step) - Method in interface org.scribble.trace.simulation.SimulationListener

This method identifies when the simulation of trace step has been successful.

T

toString() - Method in class org.scribble.model.Argument

 

toString() - Method in class org.scribble.model.global.GBlock

 

toString() - Method in class org.scribble.model.global.GChoice

 

toString() - Method in class org.scribble.model.global.GContinue

 

toString() - Method in class org.scribble.model.global.GInterruptible

 

toString() - Method in class org.scribble.model.global.GMessageTransfer

 

toString() - Method in class org.scribble.model.global.GParallel

 

toString() - Method in class org.scribble.model.global.GProtocolDefinition

 

toString() - Method in class org.scribble.model.global.GProtocolInstance

 

toString() - Method in class org.scribble.model.global.GRecursion

 

toString() - Method in class org.scribble.model.ImportDecl

 

toString() - Method in class org.scribble.model.local.LBlock

 

toString() - Method in class org.scribble.model.local.LChoice

 

toString() - Method in class org.scribble.model.local.LContinue

 

toString() - Method in class org.scribble.model.local.LInterruptible

 

toString() - Method in class org.scribble.model.local.LParallel

 

toString() - Method in class org.scribble.model.local.LProtocolDefinition

 

toString() - Method in class org.scribble.model.local.LProtocolInstance

 

toString() - Method in class org.scribble.model.local.LReceive

 

toString() - Method in class org.scribble.model.local.LRecursion

 

toString() - Method in class org.scribble.model.local.LSend

 

toString() - Method in class org.scribble.model.Message

 

toString() - Method in class org.scribble.model.MessageSignature

 

toString() - Method in class org.scribble.model.Module

toString() - Method in class org.scribble.model.Parameter

 

toString() - Method in class org.scribble.model.ParameterDecl

 

toString() - Method in class org.scribble.model.PayloadElement

 

toString() - Method in class org.scribble.model.PayloadTypeDecl

 

toString() - Method in class org.scribble.model.Role

 

toString() - Method in class org.scribble.model.RoleDecl

 

toString() - Method in class org.scribble.model.RoleInstantiation

 

toString() - Method in class org.scribble.monitor.Message

toString() - Method in class org.scribble.monitor.SessionInstance

toString() - Method in class org.scribble.trace.model.MessageTransfer

toText(StringBuffer, int) - Method in class org.scribble.model.Argument

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GBlock

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GChoice

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GContinue

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GCustomActivity

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GDo

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GInterruptible.Interrupt

 

toText(StringBuffer, int) - Method in class org.scribble.model.global.GInterruptible

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GMessageTransfer

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GParallel

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GProtocolDefinition

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GProtocolInstance

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.global.GRecursion

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.ImportDecl

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LBlock

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LChoice

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LContinue

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LCustomActivity

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LDo

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LInterruptible.Catch

 

toText(StringBuffer, int) - Method in class org.scribble.model.local.LInterruptible.Throw

 

toText(StringBuffer, int) - Method in class org.scribble.model.local.LInterruptible

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LParallel

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LProtocolDefinition

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LProtocolInstance

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LReceive

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LRecursion

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.local.LSend

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.Message

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.MessageSignature

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.ModelObject

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.Module

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.Parameter

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.ParameterDecl

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.PayloadElement

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.PayloadTypeDecl

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.Role

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.RoleDecl

This method generates a text representation of the protocol component.

toText(StringBuffer, int) - Method in class org.scribble.model.RoleInstantiation

This method generates a text representation of the protocol component.

Trace - Class in org.scribble.trace.model

This class represents a message trace.

Trace() - Constructor for class org.scribble.trace.model.Trace

 

TraceUtil - Class in org.scribble.trace.util

This class provides trace utility functions.

TraceUtil() - Constructor for class org.scribble.trace.util.TraceUtil

 

U

unregisterLabel(String) - Method in class org.scribble.monitor.export.rules.ExportState.StateInformation

This method unregisters the label.

unregisterLabel(String) - Method in class org.scribble.monitor.export.rules.ExportState

This method unregisters the label.

unregisterRoleSimulator(String) - Static method in class org.scribble.trace.simulation.RoleSimulatorManager

This method unregisters a role simulator class associated with the specified name.

updateResultFile() - Method in class org.scribble.trace.simulation.junit.JUnitSimulator

This method updates the results.

updateResultFile(File, Document) - Static method in class org.scribble.trace.simulation.junit.JUnitSimulator

This method updates the results from the junit document into the output (result) file.

URI - Static variable in interface org.scribble.model.ModelProperties

This construct defines the URI for locating the source component.

V

validate(ModuleContext, Module, IssueLogger) - Method in class org.scribble.validation.ProtocolValidator

This method validates the supplied module, reporting any issues to the logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GBlockValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GChoiceValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GContinueValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GDoValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GInterruptibleValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GMessageTransferValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GParallelValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GProtocolDefinitionValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GProtocolInstanceValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.GRecursionValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.ImportDeclValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LBlockValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LChoiceValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LDoValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LInterruptibleValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LParallelValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LProtocolDefinitionValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LProtocolInstanceValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LReceiveValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LRecursionValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.LSendValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.MessageSignatureValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.MessageValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in class org.scribble.validation.rules.ModuleValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validate(ModuleContext, ModelObject, IssueLogger) - Method in interface org.scribble.validation.rules.ValidationRule

This method validates the supplied model object and reports any relevant issues to the supplied logger.

validateModuleName(String) - Static method in class org.scribble.cli.CommandLine

This method validates the module name.

validatePaths(String) - Static method in class org.scribble.cli.CommandLine

This method validates the scribble path.

validateTraceLocation(File) - Static method in class org.scribble.cli.CommandLine

This method validates the trace location.

ValidationMessages - Class in org.scribble.validation.rules

This class is responsible for returning the validation messages used by the rules.

ValidationMessages() - Constructor for class org.scribble.validation.rules.ValidationMessages

 

ValidationRule - Interface in org.scribble.validation.rules

This interface represents a validation rule.

ValidationRuleFactory - Class in org.scribble.validation.rules

This class provides the factory capability for validation rules.

ValidationRuleFactory() - Constructor for class org.scribble.validation.rules.ValidationRuleFactory

 

valueOf(String) - Static method in enum org.scribble.model.ParameterDecl.ParameterType

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.scribble.model.ParameterDecl.ParameterType

Returns an array containing the constants of this enum type, in the order they are declared.

visit(Visitor) - Method in class org.scribble.model.Argument

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.global.GActivity

This method visits the model object using the supplied visitor.

visit(GVisitor) - Method in class org.scribble.model.global.GActivity

This method visits the model object using the supplied visitor.

visit(GVisitor) - Method in class org.scribble.model.global.GBlock

This method visits the model object using the supplied visitor.

visit(GVisitor) - Method in class org.scribble.model.global.GChoice

This method visits the model object using the supplied visitor.

visit(GVisitor) - Method in class org.scribble.model.global.GContinue

This method visits the model object using the supplied visitor.

visit(GVisitor) - Method in class org.scribble.model.global.GCustomActivity

This method visits the model object using the supplied visitor.

visit(GVisitor) - Method in class org.scribble.model.global.GDo

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.global.GInterruptible.Interrupt

 

visit(GVisitor) - Method in class org.scribble.model.global.GInterruptible

This method visits the model object using the supplied visitor.

visit(GVisitor) - Method in class org.scribble.model.global.GMessageTransfer

This method visits the model object using the supplied visitor.

visit(GVisitor) - Method in class org.scribble.model.global.GParallel

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.global.GProtocolDefinition

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.global.GProtocolInstance

This method visits the model object using the supplied visitor.

visit(GVisitor) - Method in class org.scribble.model.global.GRecursion

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.ImportDecl

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.local.LActivity

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LActivity

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LBlock

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LChoice

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LContinue

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LCustomActivity

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LDo

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.local.LInterruptible.Catch

 

visit(Visitor) - Method in class org.scribble.model.local.LInterruptible.Throw

 

visit(LVisitor) - Method in class org.scribble.model.local.LInterruptible

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LParallel

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.local.LProtocolDefinition

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.local.LProtocolInstance

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LReceive

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LRecursion

This method visits the model object using the supplied visitor.

visit(LVisitor) - Method in class org.scribble.model.local.LSend

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.Message

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.MessageSignature

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.ModelObject

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.Module

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.Parameter

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.ParameterDecl

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.PayloadElement

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.PayloadTypeDecl

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.Role

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.RoleDecl

This method visits the model object using the supplied visitor.

visit(Visitor) - Method in class org.scribble.model.RoleInstantiation

This method visits the model object using the supplied visitor.

Visitor - Interface in org.scribble.model

This interface represents a visitor which can be used to traverse a model.

W

warning(String, Map<String, Object>) - Method in class org.scribble.logging.ConsoleIssueLogger

This method records a warning issue.

warning(String, ModelObject) - Method in class org.scribble.logging.ConsoleIssueLogger

This method records a warning issue.

warning(String, Map<String, Object>) - Method in interface org.scribble.logging.IssueLogger

This method records a warning issue.

warning(String, ModelObject) - Method in interface org.scribble.logging.IssueLogger

This method records a warning issue.

_

_nameSessions - Static variable in class org.scribble.monitor.model.Node