A B C D E F G H I J L M N O P Q R S T U V W X Z _

A

ACTION_IDENTIFIER_DELIMETER - Static variable in class com.evelopers.unimod.resources.Constants
 
ACTION_NOT_FOUND - Static variable in class com.evelopers.unimod.resources.Messages
 
ANY - Static variable in class com.evelopers.unimod.core.stateworks.Event
 
ANY_EVENT_NAME - Static variable in class com.evelopers.unimod.core.stateworks.Event
 
ASSOCIATION - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
ASSOCIATION_INCORRECT - Static variable in class com.evelopers.unimod.resources.Messages
 
ASSOCIATION_NULL - Static variable in class com.evelopers.unimod.resources.Messages
 
ASTFormulaSimplifier - class com.evelopers.unimod.analysis.ASTFormulaSimplifier.
 
ASTFormulaSimplifier(ASTFactory) - Constructor for class com.evelopers.unimod.analysis.ASTFormulaSimplifier
 
ASTTermSimplifier - class com.evelopers.unimod.analysis.ASTTermSimplifier.
 
ASTTermSimplifier(TermSimplifier, ASTFactory) - Constructor for class com.evelopers.unimod.analysis.ASTTermSimplifier
 
ASTTermSimplifier(ASTFactory) - Constructor for class com.evelopers.unimod.analysis.ASTTermSimplifier
 
ASTTermSimplifier(AST, ASTFactory) - Constructor for class com.evelopers.unimod.analysis.ASTTermSimplifier
 
AbstractEventProcessor - class com.evelopers.unimod.runtime.AbstractEventProcessor.
 
AbstractEventProcessor() - Constructor for class com.evelopers.unimod.runtime.AbstractEventProcessor
 
AbstractEventProcessorListener - class com.evelopers.unimod.runtime.AbstractEventProcessorListener.
Base implementation of EventProcessorListener
AbstractEventProcessorListener() - Constructor for class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
Action - class com.evelopers.unimod.core.stateworks.Action.
Action implements such State Machine abstractions as input action, output action, send event to state machine action
Action(String) - Constructor for class com.evelopers.unimod.core.stateworks.Action
Creates action with given controllable object and name.
ActionExecutionPosition - class com.evelopers.unimod.debug.protocol.position.ActionExecutionPosition.
 
ActionExecutionPosition(StateMachineContext, StateMachinePath, String, boolean) - Constructor for class com.evelopers.unimod.debug.protocol.position.ActionExecutionPosition
 
ActionExecutor - class com.evelopers.unimod.runtime.interpretation.ActionExecutor.
Knows how to excecute given Action against given context.
ActionExecutor(ControlledObjectsMap) - Constructor for class com.evelopers.unimod.runtime.interpretation.ActionExecutor
 
ActionTypeMismatchException - exception com.evelopers.unimod.parser.ActionTypeMismatchException.
Thrown by ExprParser when type of action mismatches its usage.
ActionTypeMismatchException(ControlledObjectHandler, String, Class, Class, int) - Constructor for class com.evelopers.unimod.parser.ActionTypeMismatchException
 
AppConnector - class com.evelopers.unimod.debug.app.AppConnector.
 
AppConnector(int, MessageCoder, Logger) - Constructor for class com.evelopers.unimod.debug.app.AppConnector
 
AppDebugger - class com.evelopers.unimod.debug.app.AppDebugger.
ModelEngine remote debugger.
AppDebugger(int, boolean, MessageCoder, ModelEngine, Logger) - Constructor for class com.evelopers.unimod.debug.app.AppDebugger
Create app-side debugger engine
AppDebugger(int, boolean, MessageCoder, ModelEngine) - Constructor for class com.evelopers.unimod.debug.app.AppDebugger
 
AppDebugger(int, boolean, MessageCoder, ModelEngine, XMLReader, Logger) - Constructor for class com.evelopers.unimod.debug.app.AppDebugger
Create app-side debugger engine
Association - class com.evelopers.unimod.core.stateworks.Association.
An association between ClassElements
Association(ClassElement, ClassElement) - Constructor for class com.evelopers.unimod.core.stateworks.Association
Creates new association using controlled object name as supplier role.
Association(ClassElement, String, ClassElement, String) - Constructor for class com.evelopers.unimod.core.stateworks.Association
Creates new association.
accept(ModelVisitor) - Method in class com.evelopers.unimod.core.ModelElement
Accepts given visitor.
accept(ModelVisitor) - Method in class com.evelopers.unimod.core.stateworks.State
Accepts given visitor by substates if ModelVisitor.visit(com.evelopers.unimod.core.ModelElement)returns true.
actionIdentToLocalVar(String) - Method in class com.evelopers.unimod.transform.source.Tool
 
actionName - Variable in class com.evelopers.unimod.core.stateworks.Action
 
addASTIntervalChildren(Range.Interval, IdentNode, AST) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
addASTRangeChildren(Range, IdentNode, AST) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
addBooleanChildren(AST) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
addCompilationListener(CompilationListener) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
 
addCompletenessListener(CompletenessListener) - Method in class com.evelopers.unimod.validation.CompletenessValidator
Adds listener to list of completeness listeners.
addCompletenessListener(CompletenessListener) - Method in class com.evelopers.unimod.validation.StateMachineValidator
 
addConsistencyListener(ConsistencyListener) - Method in class com.evelopers.unimod.validation.ConsistencyValidator
Adds listener to list of consistency listeners.
addConsistencyListener(ConsistencyListener) - Method in class com.evelopers.unimod.validation.StateMachineValidator
 
addContolledObjectHandler(ControlledObjectHandler) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Creates new association with the given controlled object handler as a supplier and this state machine as a client.
addControlledObjectHandler(ControlledObjectHandler) - Method in class com.evelopers.unimod.core.stateworks.Model
 
addEventProcessorListener(EventProcessorListener) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Adds eventProcessorListener to listeners list.
addEventProcessorListener(EventProcessorListener) - Method in interface com.evelopers.unimod.runtime.EventProcessor
 
addEventProviderHandler(EventProviderHandler) - Method in class com.evelopers.unimod.core.stateworks.Model
 
addExceptionHandler(ExceptionHandler) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Add handler for exceptions raised during event processing.
addExceptionHandler(ExceptionHandler) - Method in interface com.evelopers.unimod.runtime.EventProcessor
 
addIncomingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
addIncomingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.ControlledObjectHandler
Prohibits to add incoming association from sources other then state machine.
addIncomingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.EventProviderHandler
 
addIncomingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
addIncomingTransition(Transition) - Method in class com.evelopers.unimod.core.stateworks.State
Adds incoming transition.
addIndents(Document) - Static method in class com.evelopers.unimod.transform.xml.XMLHelper
 
addIntervalChildren(AST) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
addOnEnterAction(Action) - Method in class com.evelopers.unimod.core.stateworks.State
Adds on-enter action
addOutgoingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
addOutgoingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.ControlledObjectHandler
Prohibits to add any outgoing associations
addOutgoingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.EventProviderHandler
 
addOutgoingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Adds an association to state machine.
addOutgoingTransition(Transition) - Method in class com.evelopers.unimod.core.stateworks.State
Adds outgoing transition.
addOutputAction(Action) - Method in class com.evelopers.unimod.core.stateworks.Transition
Adds output action
addParametersToContext(StateMachineContext.Context) - Method in class com.evelopers.unimod.core.stateworks.Event
Adds all parameters to given context.
addPropertyChangeListener(PropertyChangeListener) - Method in class com.evelopers.unimod.core.ModelElement
Adds new property change listener
addStateMachine(StateMachine) - Method in class com.evelopers.unimod.core.stateworks.Model
 
addStateMachine(StateMachine) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
addStructureListener(StructureListener) - Method in class com.evelopers.unimod.validation.StateMachineValidator
 
addStrucutreListener(StructureListener) - Method in class com.evelopers.unimod.validation.StructureValidator
Adds listener to list of structure listeners.
addSubmachine(StateMachine) - Method in class com.evelopers.unimod.core.stateworks.State
Adds included state machine
addSubstate(State) - Method in class com.evelopers.unimod.core.stateworks.State
Adds substate.
addTerm(TermSimplifier) - Method in class com.evelopers.unimod.analysis.FormulaSimplifier
 
addToContext(StateMachineContext.Context) - Method in class com.evelopers.unimod.runtime.context.Parameter
Method addToContext adds parameter to given context.
afterInputActionExecution(StateMachineContext, StateMachinePath, String, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
afterInputActionExecution(StateMachineContext, StateMachinePath, String, String, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Input action was executed
afterInputActionExecution(StateMachineContext, StateMachinePath, String, String, String) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
afterInputActionExecution(StateMachineContext, StateMachinePath, String, String, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
afterOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
afterOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Output action was executed
afterOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
afterOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
afterOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
afterOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Output action was executed
afterOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
afterOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
afterSubmachineExecution(StateMachineContext, Event, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
afterSubmachineExecution(StateMachineContext, Event, StateMachinePath, String, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Submachines of the active state was executed with event e.
afterSubmachinesExecution(StateMachineContext, Event, StateMachinePath, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
and(Set) - Method in class com.evelopers.unimod.analysis.BooleanSimplifier
Merges astSet to conjunction.
and(AST) - Method in class com.evelopers.unimod.analysis.DistributiveBrackets
 
astFactory - Variable in class com.evelopers.unimod.analysis.ASTFormulaSimplifier
 
astFactory - Variable in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
attachSource() - Method in class com.evelopers.unimod.core.stateworks.Association
 
attachSource() - Method in class com.evelopers.unimod.core.stateworks.Transition
 
attachTarget() - Method in class com.evelopers.unimod.core.stateworks.Association
 
attachTarget() - Method in class com.evelopers.unimod.core.stateworks.Transition
 
attainableStates - Variable in class com.evelopers.unimod.validation.StructureVisitor
Set of attainable states

B

BREAKPOINTS - Static variable in interface com.evelopers.unimod.debug.app.Params.Event
 
BREAKPOINTS - Static variable in interface com.evelopers.unimod.debug.debugger.Params.Event
 
BooleanSimplifier - class com.evelopers.unimod.analysis.BooleanSimplifier.
This class may be used to simplify formula, to merge set of formulae as conjunction or disjunction, to negate formula.
BreakpointManager - class com.evelopers.unimod.debug.app.BreakpointManager.
 
BreakpointManager(boolean) - Constructor for class com.evelopers.unimod.debug.app.BreakpointManager
 
BreakpointManager - interface com.evelopers.unimod.debug.debugger.BreakpointManager.
 
BreakpointManagerImpl - class com.evelopers.unimod.debug.debugger.console.BreakpointManagerImpl.
 
BreakpointManagerImpl() - Constructor for class com.evelopers.unimod.debug.debugger.console.BreakpointManagerImpl
 
BreakpointPositions - class com.evelopers.unimod.debug.BreakpointPositions.
For any model element returns array of positions, which may be used as breakpoint.
badTransitionFromInitState(StateMachine, Transition) - Method in interface com.evelopers.unimod.validation.StructureListener
Called when transition from init state has trigger event or guard condition.
badTransitionFromInitState(StateMachine, Transition) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
beforeInputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
beforeInputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
beforeInputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Input action will be executed
beforeInputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
beforeInputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
beforeOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
beforeOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
beforeOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Output action will be executed
beforeOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
beforeOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
beforeOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
beforeOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
beforeOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Output action will be executed
beforeOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
beforeOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
beforeSubmachineExecution(StateMachineContext, Event, StateMachinePath, String, String) - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
beforeSubmachineExecution(StateMachineContext, Event, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
beforeSubmachineExecution(StateMachineContext, Event, StateMachinePath, String, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Submachines of the active state will be executed with event e.
beforeSubmachinesExecution(StateMachineContext, Event, StateMachinePath, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
booleanVariablesIterator() - Method in class com.evelopers.unimod.analysis.TermSimplifier
 

C

CHILDREN_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.Model
 
CLASS - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
CLIENT_ROLE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
CLIENT_ROLE_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.Association
 
COMMENT_DELIMETER - Static variable in class com.evelopers.unimod.resources.Constants
 
CONFIG_STORE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
CONFIG_STORE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
CONSOLE - Static variable in interface com.evelopers.unimod.log.Logger
Simple console logger.
CONTROLLED_OBJECT - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
CONTROLLED_OBJECT - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
CONTROLLED_OBJECT_STEREOTYPE - Static variable in class com.evelopers.unimod.core.stateworks.ControlledObjectHandler
 
CREATE_OBJECT_ERROR - Static variable in class com.evelopers.unimod.resources.Messages
 
CalculatedInputActions - class com.evelopers.unimod.runtime.interpretation.CalculatedInputActions.
Map of Action that was already calculated during expression interpreting.
CalculatedInputActions(ActionExecutor) - Constructor for class com.evelopers.unimod.runtime.interpretation.CalculatedInputActions
 
ClassElement - class com.evelopers.unimod.core.stateworks.ClassElement.
Abstract base implementaion for all classes in model such as ControlledObjectHandler, EventProviderHandler and StateMachine.
ClassElement(String, String) - Constructor for class com.evelopers.unimod.core.stateworks.ClassElement
 
ComeToStatePosition - class com.evelopers.unimod.debug.protocol.position.ComeToStatePosition.
 
ComeToStatePosition(StateMachineContext, StateMachinePath, String) - Constructor for class com.evelopers.unimod.debug.protocol.position.ComeToStatePosition
 
CommandMessage - class com.evelopers.unimod.debug.protocol.CommandMessage.
Possible commands: set breakpoints, remove breakpoints, make step, resume
CompilationListener - interface com.evelopers.unimod.compilation.CompilationListener.
Compilation process listener.
CompletenessCheckVisitor - class com.evelopers.unimod.validation.CompletenessCheckVisitor.
Visits every state and checks completenes of guard condition set.
CompletenessCheckVisitor() - Constructor for class com.evelopers.unimod.validation.CompletenessCheckVisitor
 
CompletenessListener - interface com.evelopers.unimod.validation.CompletenessListener.
Listener of validation events.
CompletenessValidator - class com.evelopers.unimod.validation.CompletenessValidator.
Validates completeness (every state has complete system of transitions for every event).
CompletenessValidator() - Constructor for class com.evelopers.unimod.validation.CompletenessValidator
 
CompositeTargetStatePosition - class com.evelopers.unimod.debug.protocol.position.CompositeTargetStatePosition.
Target state of selected transition is composite state
CompositeTargetStatePosition(StateMachineContext, StateMachinePath, String) - Constructor for class com.evelopers.unimod.debug.protocol.position.CompositeTargetStatePosition
 
ConsistencyCheckVisitor - class com.evelopers.unimod.validation.ConsistencyCheckVisitor.
Visits every state and checks consistency of guard conditions set.
ConsistencyCheckVisitor() - Constructor for class com.evelopers.unimod.validation.ConsistencyCheckVisitor
 
ConsistencyListener - interface com.evelopers.unimod.validation.ConsistencyListener.
Listener of inconsistent transition pairs.
ConsistencyValidator - class com.evelopers.unimod.validation.ConsistencyValidator.
Validates consistency (every state has consistent system of transitions for every event).
ConsistencyValidator() - Constructor for class com.evelopers.unimod.validation.ConsistencyValidator
 
ConsoleDebugger - class com.evelopers.unimod.debug.debugger.console.ConsoleDebugger.
 
ConsoleDebugger() - Constructor for class com.evelopers.unimod.debug.debugger.console.ConsoleDebugger
 
ConsoleManager - class com.evelopers.unimod.debug.debugger.console.ConsoleManager.
 
ConsoleManager(Model) - Constructor for class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 
ConstNode - class com.evelopers.unimod.parser.ConstNode.
AST node for numeric constant
ConstNode() - Constructor for class com.evelopers.unimod.parser.ConstNode
Does nothing.
ConstNode(Token) - Constructor for class com.evelopers.unimod.parser.ConstNode
Creates const for given token.
Constants - class com.evelopers.unimod.resources.Constants.
Singletone.
ControlledObject - interface com.evelopers.unimod.runtime.ControlledObject.
Used as flag, indicating that class may be used as controlled object during runtime.
ControlledObjectHandler - class com.evelopers.unimod.core.stateworks.ControlledObjectHandler.
Class ControlledObjectHandler is a container for Controlled Object implementation.
ControlledObjectHandler(String, String) - Constructor for class com.evelopers.unimod.core.stateworks.ControlledObjectHandler
Creates controlled object handler with given name and implementation class.
ControlledObjectsManager - interface com.evelopers.unimod.runtime.ControlledObjectsManager.
Implementors of this interface manages controlled objects' life cycles.
ControlledObjectsMap - interface com.evelopers.unimod.runtime.ControlledObjectsMap.
Collection of controlled objects
CoreContract - class com.evelopers.unimod.contract.CoreContract.
Converts model elements into String and vice versa
checkIdenticalFalse(boolean) - Method in class com.evelopers.unimod.analysis.TermSimplifier
 
checkIdentifier(String) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
 
checkState(State) - Method in class com.evelopers.unimod.validation.CompletenessCheckVisitor
 
checkState(State) - Method in class com.evelopers.unimod.validation.ConsistencyCheckVisitor
Checks consistency of State s.
clear() - Method in class com.evelopers.unimod.analysis.Range
Set this range to be equal to empty set
clearContext(EventMessage) - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
 
clearEventParameters(EventMessage) - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
 
com.evelopers.unimod.analysis - package com.evelopers.unimod.analysis
 
com.evelopers.unimod.compilation - package com.evelopers.unimod.compilation
 
com.evelopers.unimod.contract - package com.evelopers.unimod.contract
 
com.evelopers.unimod.core - package com.evelopers.unimod.core
 
com.evelopers.unimod.core.stateworks - package com.evelopers.unimod.core.stateworks
 
com.evelopers.unimod.debug - package com.evelopers.unimod.debug
 
com.evelopers.unimod.debug.app - package com.evelopers.unimod.debug.app
 
com.evelopers.unimod.debug.debugger - package com.evelopers.unimod.debug.debugger
 
com.evelopers.unimod.debug.debugger.console - package com.evelopers.unimod.debug.debugger.console
 
com.evelopers.unimod.debug.protocol - package com.evelopers.unimod.debug.protocol
 
com.evelopers.unimod.debug.protocol.position - package com.evelopers.unimod.debug.protocol.position
 
com.evelopers.unimod.log - package com.evelopers.unimod.log
 
com.evelopers.unimod.parser - package com.evelopers.unimod.parser
 
com.evelopers.unimod.resources - package com.evelopers.unimod.resources
 
com.evelopers.unimod.runtime - package com.evelopers.unimod.runtime
 
com.evelopers.unimod.runtime.config - package com.evelopers.unimod.runtime.config
 
com.evelopers.unimod.runtime.context - package com.evelopers.unimod.runtime.context
 
com.evelopers.unimod.runtime.interpretation - package com.evelopers.unimod.runtime.interpretation
 
com.evelopers.unimod.runtime.logger - package com.evelopers.unimod.runtime.logger
 
com.evelopers.unimod.transform - package com.evelopers.unimod.transform
 
com.evelopers.unimod.transform.source - package com.evelopers.unimod.transform.source
 
com.evelopers.unimod.transform.xml - package com.evelopers.unimod.transform.xml
 
com.evelopers.unimod.util - package com.evelopers.unimod.util
 
com.evelopers.unimod.validation - package com.evelopers.unimod.validation
 
comeToState(StateMachineContext, StateMachinePath, String) - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
comeToState(StateMachineContext, StateMachinePath, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
comeToState(StateMachineContext, StateMachinePath, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Come to some state
compile(StateMachine) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
Compiles whole state machine WITHOUT included state machines
compile(StateMachine, ControlledObjectHandler) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
Compiles given controlled object
compile(StateMachine, EventProviderHandler) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
Compiles given event provider object
compile(StateMachine, State) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
Compiles given state with it's output actions
compile(StateMachine, Transition) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
Compiles given transition with it's guard, event and output actions
compile(StateMachine, Transition, Guard) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
Compiles given guard
compile(StateMachine, ModelElement, Action) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
 
compile(StateMachine, Event) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
Compiles given event
compile() - Method in class com.evelopers.unimod.validation.ValidationTool
 
compileWithIncluded(StateMachine) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
Compiles whole state machine WITH included state machines
compositeTargetState(StateMachineContext, StateMachinePath, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
compositeTargetState(StateMachineContext, StateMachinePath, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Target state is composite
configExists(StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
controlledObjectHandlers - Variable in class com.evelopers.unimod.core.stateworks.Model
 
create() - Static method in class com.evelopers.unimod.contract.CoreContract
 
create() - Static method in class com.evelopers.unimod.runtime.context.StateMachineContextImpl
 
create(Logger) - Static method in class com.evelopers.unimod.transform.source.ModelToSource
 
create() - Static method in class com.evelopers.unimod.transform.source.Tool
 
create() - Static method in class com.evelopers.unimod.transform.xml.ModelToXML
Returns transformer instance
create() - Static method in class com.evelopers.unimod.transform.xml.XMLToModel
 
createAction(String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Creates Action (Input or Output).
createBooleanSimplifier() - Static method in class com.evelopers.unimod.analysis.BooleanSimplifier
 
createBuildIn(EventManager, EventProcessor, ControlledObjectsMap) - Static method in class com.evelopers.unimod.runtime.ModelEngine
After creating new build-in engine you have to start your event providers manually.
createBuildIn(EventManager, EventProcessor) - Static method in class com.evelopers.unimod.runtime.ModelEngine
 
createBuildInModelEngine(Model, ControlledObjectsMap, boolean) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationHelper
 
createControlledObjectHandler(String, String) - Method in class com.evelopers.unimod.core.stateworks.Model
Creates controlled object handler and adds it to model.
createCreated(ThreadInfo) - Static method in class com.evelopers.unimod.debug.protocol.EventMessage
 
createEQ_AST(IdentNode, int) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
createEventProcessor(Model) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationHelper
 
createEventProviderHandler(String, String) - Method in class com.evelopers.unimod.core.stateworks.Model
Creates event provider handler and adds it to model.
createGuard(String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Creates guard condition
createIdentNode(Action) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
createIncomingAssociation(ClassElement, String, String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
createIncomingAssociation(ClassElement, String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
createIncomingAssociation(ClassElement) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
createLE_AST(int, IdentNode) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
createLE_AST(IdentNode, int) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
createModel(String) - Static method in class com.evelopers.unimod.core.stateworks.Model
Creates new model
createModel(String) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
createNEQ_AST(IdentNode, int) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
createObjectsManager(Model) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationHelper
 
createOutgoingAssociation(ClassElement, String, String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
createOutgoingAssociation(ClassElement, String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
createOutgoingAssociation(ClassElement) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
createRemoveBreakpoints(Position[]) - Static method in class com.evelopers.unimod.debug.protocol.CommandMessage
 
createResume(ThreadInfo) - Static method in class com.evelopers.unimod.debug.protocol.CommandMessage
 
createResumed(ThreadInfo) - Static method in class com.evelopers.unimod.debug.protocol.EventMessage
 
createSetBreakpoints(Position[]) - Static method in class com.evelopers.unimod.debug.protocol.CommandMessage
 
createStandAlone(EventManager, EventProcessor, ControlledObjectsManager, EventProvidersManager) - Static method in class com.evelopers.unimod.runtime.ModelEngine
After creating new stand alone engine you have to ModelEngine.start() it
createStandAloneModelEngine(Model, boolean) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationHelper
 
createState(String, StateType) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Creates state
createStateMachine(String) - Method in class com.evelopers.unimod.core.stateworks.Model
Creates state machine with given name and adds it to model.
createStateMachine(String) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
createStep(ThreadInfo) - Static method in class com.evelopers.unimod.debug.protocol.CommandMessage
 
createSuspendedOnBreakpoint(Position, ThreadInfo) - Static method in class com.evelopers.unimod.debug.protocol.EventMessage
 
createSuspendedOnStep(Position, ThreadInfo) - Static method in class com.evelopers.unimod.debug.protocol.EventMessage
 
createTopState(String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
createTransition(State, State, Guard, Event) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Creates transition
createUnknownCommand(String) - Static method in class com.evelopers.unimod.debug.protocol.EventMessage
 
createValidator(StateMachine) - Static method in class com.evelopers.unimod.validation.StateMachineValidator
 
currentMachine - Variable in class com.evelopers.unimod.transform.xml.XMLToModel
 

D

DTD_RESOURCE - Static variable in interface com.evelopers.unimod.transform.xml.XML
 
DUPLICATE_STATE_DEFENITION - Static variable in class com.evelopers.unimod.resources.Messages
 
DebugException - exception com.evelopers.unimod.debug.DebugException.
 
DebugException(Throwable, String) - Constructor for class com.evelopers.unimod.debug.DebugException
 
Debugger - class com.evelopers.unimod.debug.debugger.Debugger.
ModelEngine remote debugger.
Debugger(String, int, MessageCoder, BreakpointManager, UIManager) - Constructor for class com.evelopers.unimod.debug.debugger.Debugger
 
Debugger(String, int, MessageCoder, BreakpointManager, UIManager, Logger) - Constructor for class com.evelopers.unimod.debug.debugger.Debugger
 
DebuggerConnector - class com.evelopers.unimod.debug.debugger.DebuggerConnector.
 
DebuggerConnector(String, int, MessageCoder) - Constructor for class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
DeepCopyHelper - class com.evelopers.unimod.util.DeepCopyHelper.
Object deep copy helper.
DeepCopyHelper() - Constructor for class com.evelopers.unimod.util.DeepCopyHelper
 
DefaultCompilationListener - class com.evelopers.unimod.compilation.DefaultCompilationListener.
Simple implementation of CompilationListener.
DefaultCompilationListener() - Constructor for class com.evelopers.unimod.compilation.DefaultCompilationListener
 
DistinguishConfigManager - class com.evelopers.unimod.runtime.config.DistinguishConfigManager.
In-memory config store implementation.
DistinguishConfigManager() - Constructor for class com.evelopers.unimod.runtime.config.DistinguishConfigManager
 
DistributiveBrackets - class com.evelopers.unimod.analysis.DistributiveBrackets.
Takes AST representing conjunction of literals and disjunctions of terms.
DistributiveBrackets(ASTFactory) - Constructor for class com.evelopers.unimod.analysis.DistributiveBrackets
 
debug(Object) - Method in class com.evelopers.unimod.log.Logger.Console
 
debug(Object) - Method in class com.evelopers.unimod.log.Logger.Empty
 
debug(Object) - Method in interface com.evelopers.unimod.log.Logger
Logs debug message
decode(InputStream) - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
 
decode(InputStream) - Method in interface com.evelopers.unimod.debug.protocol.MessageCoder
 
decodeAction(State, String) - Static method in class com.evelopers.unimod.contract.CoreContract
 
decodeAction(Iterator, String) - Static method in class com.evelopers.unimod.contract.CoreContract
 
decodeEvent(String) - Static method in class com.evelopers.unimod.contract.CoreContract
 
decodeInputAction(Transition, String) - Static method in class com.evelopers.unimod.contract.CoreContract
 
decodeOutputAction(Transition, String) - Static method in class com.evelopers.unimod.contract.CoreContract
 
decodeState(StateMachine, String) - Static method in class com.evelopers.unimod.contract.CoreContract
 
decodeStateMachine(Model, String) - Static method in class com.evelopers.unimod.contract.CoreContract
 
decodeStateMachineConfig(String) - Static method in class com.evelopers.unimod.contract.RuntimeContract
 
decodeStateMachinePath(String) - Static method in class com.evelopers.unimod.contract.RuntimeContract
 
decodeTransition(StateMachine, String) - Static method in class com.evelopers.unimod.contract.CoreContract
 
deepCopy(Serializable) - Static method in class com.evelopers.unimod.util.DeepCopyHelper
Creates deep copy of given object.
delete(int) - Method in class com.evelopers.unimod.analysis.Range
Delete point value from this range.
dependsOn(Action) - Method in class com.evelopers.unimod.analysis.TermSimplifier
 
detachSource() - Method in class com.evelopers.unimod.core.stateworks.Association
 
detachSource() - Method in class com.evelopers.unimod.core.stateworks.Transition
 
detachTarget() - Method in class com.evelopers.unimod.core.stateworks.Association
 
detachTarget() - Method in class com.evelopers.unimod.core.stateworks.Transition
 
dispose(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.debug.ThreadConfigManager
 
dispose() - Method in class com.evelopers.unimod.debug.app.AppConnector
 
dispose() - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
dispose() - Method in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
dispose() - Method in class com.evelopers.unimod.debug.debugger.console.BreakpointManagerImpl
 
dispose() - Method in class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 
dispose() - Method in interface com.evelopers.unimod.runtime.EventProvider
Called on sthutdown.
dispose() - Method in interface com.evelopers.unimod.runtime.LifeCycleManager
Stops managed objects.
dispose() - Method in class com.evelopers.unimod.runtime.QueuedHandler
 
dispose(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in interface com.evelopers.unimod.runtime.StateMachineConfigManager
Disposes config store.
dispose() - Method in class com.evelopers.unimod.runtime.StrictHandler
 
dispose(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.config.DistinguishConfigManager
 
dispose(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.config.SharedStateConfigManager
 
disposeConfig(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
disposeEventProviders() - Method in class com.evelopers.unimod.debug.app.AppDebugger
 
disposeEventProviders() - Method in class com.evelopers.unimod.debug.debugger.Debugger
 

E

E1 - Static variable in class com.evelopers.unimod.debug.app.AppConnector
 
E1 - Static variable in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
E2 - Static variable in class com.evelopers.unimod.debug.app.AppConnector
 
E2 - Static variable in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
E21 - Static variable in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
E21 - Static variable in interface com.evelopers.unimod.debug.debugger.BreakpointManager
Must have associated parameter with name Params.Event.BREAKPOINTS with value as array of Position
E22 - Static variable in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
E22 - Static variable in interface com.evelopers.unimod.debug.debugger.BreakpointManager
Must have associated parameter with name Params.Event.BREAKPOINTS with value as array of Position
E23 - Static variable in interface com.evelopers.unimod.debug.debugger.UIManager
Event must has associated THREAD_INFO parameter - ident of thread to make step in which
E24 - Static variable in interface com.evelopers.unimod.debug.debugger.UIManager
Event must has associated THREAD_INFO parameter - ident of thread to resume
E25 - Static variable in interface com.evelopers.unimod.debug.debugger.UIManager
 
E26 - Static variable in interface com.evelopers.unimod.debug.debugger.UIManager
 
E3 - Static variable in class com.evelopers.unimod.debug.app.AppConnector
 
E3 - Static variable in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
E4 - Static variable in class com.evelopers.unimod.debug.app.AppConnector
 
E4 - Static variable in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
E5 - Static variable in class com.evelopers.unimod.debug.app.AppConnector
 
E5 - Static variable in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
E6 - Static variable in class com.evelopers.unimod.debug.app.AppConnector
 
E6 - Static variable in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
E7 - Static variable in class com.evelopers.unimod.debug.app.AppConnector
 
E7 - Static variable in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
E8 - Static variable in class com.evelopers.unimod.debug.app.AppConnector
 
ELSE - Static variable in class com.evelopers.unimod.core.stateworks.Guard
Else Guard
ELSE_EXPR - Static variable in class com.evelopers.unimod.core.stateworks.Guard
Expression for else guard
EMPTY - Static variable in interface com.evelopers.unimod.log.Logger
Empty logger.
EVENT - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
EVENT_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.Transition
 
EVENT_PROVIDER - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
EVENT_PROVIDER - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
EVENT_PROVIDER_ASSOCIATION - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
EVENT_PROVIDER_STEREOTYPE - Static variable in class com.evelopers.unimod.core.stateworks.EventProviderHandler
 
EXECUTE_METHOD_ERROR - Static variable in class com.evelopers.unimod.resources.Messages
 
EXPR_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.Guard
 
Event - class com.evelopers.unimod.core.stateworks.Event.
Event abstraction.
Event(String) - Constructor for class com.evelopers.unimod.core.stateworks.Event
Creates event with given name.
Event(String, Parameter[]) - Constructor for class com.evelopers.unimod.core.stateworks.Event
Creates event with given name and array of parameters. this constructor must be used during runtime only.
Event(String, Parameter) - Constructor for class com.evelopers.unimod.core.stateworks.Event
 
Event(String, Parameter, Parameter) - Constructor for class com.evelopers.unimod.core.stateworks.Event
 
Event(String, Parameter, Parameter, Parameter) - Constructor for class com.evelopers.unimod.core.stateworks.Event
 
EventManager - interface com.evelopers.unimod.runtime.EventManager.
The implemetors of this interface manages events sent to ModelEngine.
EventMessage - class com.evelopers.unimod.debug.protocol.EventMessage.
Posiible events: suspended on breakpoint, suspended on step, resumed
EventProcessingPosition - class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition.
Indicates that event processing was started or was finished depending on #started field value.
EventProcessingPosition(StateMachineContext, StateMachinePath, Event, StateMachineConfig, boolean) - Constructor for class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
EventProcessor - interface com.evelopers.unimod.runtime.EventProcessor.
 
EventProcessorEventProvider - class com.evelopers.unimod.debug.app.EventProcessorEventProvider.
EventProvider for app-side debugger engine.
EventProcessorEventProvider() - Constructor for class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
EventProcessorException - exception com.evelopers.unimod.runtime.EventProcessorException.
Wrapper for all exceptions that were thrown by input and output actions execution.
EventProcessorException(Throwable) - Constructor for class com.evelopers.unimod.runtime.EventProcessorException
 
EventProcessorException(String) - Constructor for class com.evelopers.unimod.runtime.EventProcessorException
 
EventProcessorException(Throwable, String) - Constructor for class com.evelopers.unimod.runtime.EventProcessorException
 
EventProcessorListener - interface com.evelopers.unimod.runtime.EventProcessorListener.
Interface for pluggable runtime units.
EventProvider - interface com.evelopers.unimod.runtime.EventProvider.
Event Provider.
EventProviderHandler - class com.evelopers.unimod.core.stateworks.EventProviderHandler.
EvnetProvider object handler
EventProviderHandler(String, String) - Constructor for class com.evelopers.unimod.core.stateworks.EventProviderHandler
 
EventProvidersManager - interface com.evelopers.unimod.runtime.EventProvidersManager.
The implementors of this interface manges life cycle of event providers
EventProvidersMap - interface com.evelopers.unimod.runtime.EventProvidersMap.
Collection of event providers
ExceptionHandler - interface com.evelopers.unimod.runtime.ExceptionHandler.
Model engine client can implement this interface and pass it to AbstractEventProcessor engine to be able to recevie notifications from engine about exceptions.
ExceptionHandlerImpl - class com.evelopers.unimod.debug.ExceptionHandlerImpl.
 
ExceptionHandlerImpl(Logger) - Constructor for class com.evelopers.unimod.debug.ExceptionHandlerImpl
 
encode(Event) - Static method in class com.evelopers.unimod.contract.CoreContract
 
encode(Transition) - Static method in class com.evelopers.unimod.contract.CoreContract
 
encode(State) - Static method in class com.evelopers.unimod.contract.CoreContract
 
encode(StateMachine) - Static method in class com.evelopers.unimod.contract.CoreContract
 
encode(Action) - Static method in class com.evelopers.unimod.contract.CoreContract
 
encode(StateMachinePath) - Static method in class com.evelopers.unimod.contract.RuntimeContract
 
encode(StateMachineConfig) - Static method in class com.evelopers.unimod.contract.RuntimeContract
 
encode(Message, OutputStream) - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
 
encode(Message, OutputStream) - Method in interface com.evelopers.unimod.debug.protocol.MessageCoder
 
equal(AST, AST) - Method in class com.evelopers.unimod.analysis.BooleanSimplifier
Checks is f is equal to g.
equals(Object) - Method in class com.evelopers.unimod.core.ModelElement
Compare with another model element.
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.Action
Compares two actions.
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.Association
This implementation considers ends of association and value of supplier's role to be immutable.
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.ControlledObjectHandler
 
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.Event
Compares events.
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.EventProviderHandler
 
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.Guard
Two guards equal if their expr equal
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.Model
 
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.State
 
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Checks if this state machine equals to the given object.
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.StateType
Compares two state types
equals(Object) - Method in class com.evelopers.unimod.core.stateworks.Transition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.ThreadInfo
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.ActionExecutionPosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.ComeToStatePosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.CompositeTargetStatePosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.FinalStatePosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.InputActionExecutionPosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.OnEnterActionExecutionPosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.OutputActionExecutionPosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.Position
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.TransitionCandidatePosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.TransitionFoundPosition
 
equals(Object) - Method in class com.evelopers.unimod.debug.protocol.position.TransitionSelectionPosition
 
equals(Object) - Method in class com.evelopers.unimod.parser.IdentNode
 
equals(Object) - Method in class com.evelopers.unimod.runtime.StateMachineConfig
 
equals(Object) - Method in class com.evelopers.unimod.runtime.StateMachinePath
 
error(Object) - Method in class com.evelopers.unimod.log.Logger.Console
 
error(Object) - Method in class com.evelopers.unimod.log.Logger.Empty
 
error(Object) - Method in interface com.evelopers.unimod.log.Logger
Logs error message
error(SAXParseException) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
event - Variable in class com.evelopers.unimod.core.stateworks.Transition
Trigger event.
eventProcessingFinished(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
eventProcessingFinished(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Event processor finished processing of event e.
eventProcessingFinished(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
eventProcessingFinished(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
eventProcessingStarted(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
eventProcessingStarted(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
eventProcessingStarted(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Event processor started processing of event e.
eventProcessingStarted(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
eventProcessingStarted(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
eventProviderHandlers - Variable in class com.evelopers.unimod.core.stateworks.Model
 
eventSkipped(StateMachineContext, StateMachinePath, String, Event) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
eventSkipped(StateMachineContext, StateMachinePath, String, Event) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Transition to go was not found.
execute(Action, StateMachineContext) - Method in class com.evelopers.unimod.runtime.interpretation.ActionExecutor
Executes action against given context, ignoring return type.
executeBool(Action, StateMachineContext) - Method in class com.evelopers.unimod.runtime.interpretation.ActionExecutor
Executes action against given context, treating return type as boolean.
executeNum(Action, StateMachineContext) - Method in class com.evelopers.unimod.runtime.interpretation.ActionExecutor
Executes action against given context, treating return type as int.

F

FINAL - Static variable in class com.evelopers.unimod.core.stateworks.StateType
Final state type
FINAL_NAME - Static variable in class com.evelopers.unimod.core.stateworks.StateType
 
FinalStatePosition - class com.evelopers.unimod.debug.protocol.position.FinalStatePosition.
State machine comes to final state
FinalStatePosition(StateMachineContext, StateMachinePath, StateMachineConfig) - Constructor for class com.evelopers.unimod.debug.protocol.position.FinalStatePosition
 
FormulaSimplifier - class com.evelopers.unimod.analysis.FormulaSimplifier.
 
FormulaSimplifier() - Constructor for class com.evelopers.unimod.analysis.FormulaSimplifier
 
fatal(Object) - Method in class com.evelopers.unimod.log.Logger.Console
 
fatal(Object) - Method in class com.evelopers.unimod.log.Logger.Empty
 
fatal(Object) - Method in interface com.evelopers.unimod.log.Logger
Logs fatal message
fatalError(SAXParseException) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
find(Collection, String) - Method in class com.evelopers.unimod.core.stateworks.Model
 
findState(String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
findSubmachine(String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
fireAfter(StateMachineContext, Action, Object) - Method in class com.evelopers.unimod.runtime.interpretation.CalculatedInputActions
Does nothing may be overriden to send notification
fireAfterInputActionExecution(StateMachineContext, StateMachinePath, String, String, Object) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireAfterOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireAfterOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireAfterSubmachineExecution(StateMachineContext, Event, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireBefore(StateMachineContext, Action) - Method in class com.evelopers.unimod.runtime.interpretation.CalculatedInputActions
Does nothing may be overriden to send notification
fireBeforeInputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireBeforeOnEnterActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireBeforeOutputActionExecution(StateMachineContext, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireBeforeSubmachineExecution(StateMachineContext, Event, StateMachinePath, String, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireComeToState(StateMachineContext, StateMachinePath, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireCompositeTargetState(StateMachineContext, StateMachinePath, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireEventProcessingFinished(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireEventProcessingStarted(StateMachineContext, Event, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireEventSkipped(StateMachineContext, StateMachinePath, String, Event) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireException(StateMachineContext, SystemException) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Sends notification about exception to exception handlers
fireIncompleteGuardSet(StateMachine, State, Event, Guard) - Method in class com.evelopers.unimod.validation.CompletenessCheckVisitor
 
fireIncompleteGuardSet(StateMachine, State, Event, Guard) - Method in class com.evelopers.unimod.validation.CompletenessValidator
 
fireInconsistentGuardSet(StateMachine, Transition, Transition, Guard) - Method in class com.evelopers.unimod.validation.ConsistencyCheckVisitor
 
fireInconsistentGuardSet(StateMachine, Transition, Transition, Guard) - Method in class com.evelopers.unimod.validation.ConsistencyValidator
 
firePropertyChange(String, Object, Object) - Method in class com.evelopers.unimod.core.ModelElement
Fires property change event
fireRedundantElseTransitions(StateMachine, State, Event, int) - Method in class com.evelopers.unimod.validation.ConsistencyCheckVisitor
 
fireRedundantElseTransitions(StateMachine, State, Event, int) - Method in class com.evelopers.unimod.validation.ConsistencyValidator
 
fireStateMachineCameToFinalState(StateMachineContext, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireTransitionCandidate(StateMachineContext, StateMachinePath, String, Event, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireTransitionFound(StateMachineContext, StateMachinePath, String, Event, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireTransitionNotFound(StateMachineContext, StateMachinePath, String, Event) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
fireTransitionsOfSuperstate(StateMachineContext, StateMachinePath, String, Event) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
format(String, Object, Object, Object, Object) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
format(String, Object, Object, Object) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
format(String, Object, Object) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
fromByteArray(byte[]) - Static method in class com.evelopers.unimod.util.DeepCopyHelper
Deserialize object from given byte array

G

GUARD - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
GUARD_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.Transition
 
Guard - class com.evelopers.unimod.core.stateworks.Guard.
Contains guard condition.
Guard(String) - Constructor for class com.evelopers.unimod.core.stateworks.Guard
Creates gruard condition based on given logical expression.
generate(File, String, Model, File, Map) - Method in class com.evelopers.unimod.transform.source.ModelToSource
Generates source file based on given template from given jar file
generate(String, Model, File, Map) - Method in class com.evelopers.unimod.transform.source.ModelToSource
Generates source file based on given template from class path
generate(File, Model, File, Map) - Method in class com.evelopers.unimod.transform.source.ModelToSource
Generates source file based on given template file
getAST() - Method in class com.evelopers.unimod.analysis.DistributiveBrackets
 
getAST() - Method in class com.evelopers.unimod.core.stateworks.Guard
Returns Abstract Syntax Tree (AST)
getAction() - Method in class com.evelopers.unimod.debug.protocol.position.ActionExecutionPosition
 
getAction() - Method in class com.evelopers.unimod.parser.IdentNode
Returns Action.
getActionName(String) - Static method in class com.evelopers.unimod.compilation.StateMachineCompiler
Parses action name from identifier
getActionName() - Method in class com.evelopers.unimod.core.stateworks.Action
 
getActionName() - Method in class com.evelopers.unimod.parser.ActionTypeMismatchException
 
getActionName() - Method in class com.evelopers.unimod.parser.UndefinedActionException
 
getActiveState() - Method in class com.evelopers.unimod.runtime.StateMachineConfig
Returns state name
getAllEvents(StateMachine) - Method in class com.evelopers.unimod.transform.source.Tool
 
getAllNotElseTransitions(Event) - Method in class com.evelopers.unimod.validation.StateTransitionsDecorator
 
getAllStates() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Return new set that contains all states
getAllStates(State) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Return new set that are contained by the given root directly (as substates) or indirectly (as substates of substates etc.)
getAllTransition() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Returns all transitions
getAllTransitions() - Method in class com.evelopers.unimod.validation.StateTransitionsDecorator
 
getApplicationContext() - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.StateMachineContextImpl1
 
getApplicationContext() - Method in interface com.evelopers.unimod.runtime.context.StateMachineContext
Must return application context
getApplicationContext() - Method in class com.evelopers.unimod.runtime.context.StateMachineContextImpl
 
getAttainableStates() - Method in class com.evelopers.unimod.validation.StateMachineValidator
 
getAttainableStates() - Method in class com.evelopers.unimod.validation.StructureVisitor
 
getBool(Action, StateMachineContext) - Method in class com.evelopers.unimod.runtime.interpretation.CalculatedInputActions
 
getBreapoints() - Method in class com.evelopers.unimod.debug.protocol.CommandMessage
 
getClassElement(String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Returns associated class element with given supplier role name
getClientRole() - Method in class com.evelopers.unimod.core.stateworks.Association
 
getConfig() - Method in class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
getConfig() - Method in class com.evelopers.unimod.debug.protocol.position.FinalStatePosition
 
getConfig(StateMachinePath) - Method in class com.evelopers.unimod.runtime.config.DistinguishConfigManager
 
getConfigManager(String) - Method in interface com.evelopers.unimod.runtime.ModelStructure
Returns config manager for state machine with given name.
getConfigManager(String) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationModelStructure
 
getConfigManagerClassName() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
getConstants() - Static method in class com.evelopers.unimod.resources.Constants
 
getContainer(Model) - Method in class com.evelopers.unimod.debug.protocol.position.ComeToStatePosition
 
getContainer(Model) - Method in class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
getContainer(Model) - Method in class com.evelopers.unimod.debug.protocol.position.InputActionExecutionPosition
 
getContainer(Model) - Method in class com.evelopers.unimod.debug.protocol.position.OnEnterActionExecutionPosition
 
getContainer(Model) - Method in class com.evelopers.unimod.debug.protocol.position.OutputActionExecutionPosition
 
getContainer(Model) - Method in class com.evelopers.unimod.debug.protocol.position.Position
Returns container element for position.
getContainer(Model) - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
getContainer(Model) - Method in class com.evelopers.unimod.debug.protocol.position.TransitionCandidatePosition
 
getContext() - Method in class com.evelopers.unimod.debug.protocol.position.Position
 
getControlledObject(String) - Method in interface com.evelopers.unimod.runtime.ControlledObjectsMap
Returns controlled object by its name.
getControlledObject(String) - Static method in class com.evelopers.unimod.runtime.interpretation.InstantiateHelper
Instantiates target ControlledObject implementation.
getControlledObjectHandler(String) - Method in class com.evelopers.unimod.core.stateworks.Model
Returns first found controlled object handler with given name
getControlledObjectHandler(String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Returns controlled object handler with given name.
getControlledObjectHandler() - Method in class com.evelopers.unimod.parser.ActionTypeMismatchException
 
getControlledObjectHandler() - Method in class com.evelopers.unimod.parser.UndefinedActionException
 
getControlledObjectHandlerName() - Method in class com.evelopers.unimod.parser.UndefinedControlledObjectHandlerException
 
getControlledObjectHandlers() - Method in class com.evelopers.unimod.core.stateworks.Model
 
getControlledObjectHandlers() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Returns all controlled object handlers
getControlledObjectsManager() - Method in class com.evelopers.unimod.runtime.ModelEngine
 
getControlledObjectsManager() - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationObjectsManager
 
getControlledObjectsMap() - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Returns map of controlled objects.
getElseTransition(Event) - Method in class com.evelopers.unimod.validation.StateTransitionsDecorator
 
getErrors() - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
getEvent() - Method in class com.evelopers.unimod.core.stateworks.Transition
Returns trigged event
getEvent() - Method in class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
getEvent() - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
getEvent() - Method in class com.evelopers.unimod.debug.protocol.position.TransitionSelectionPosition
 
getEventContext() - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.StateMachineContextImpl1
 
getEventContext() - Method in interface com.evelopers.unimod.runtime.context.StateMachineContext
Must return event context
getEventContext() - Method in class com.evelopers.unimod.runtime.context.StateMachineContextImpl
 
getEventManager() - Method in class com.evelopers.unimod.runtime.ModelEngine
 
getEventProcessor() - Method in class com.evelopers.unimod.runtime.ModelEngine
Returns event processor passed to factory method.
getEventProvider(String) - Method in interface com.evelopers.unimod.runtime.EventProvidersMap
Returns event provider by its name.
getEventProvider(String) - Static method in class com.evelopers.unimod.runtime.interpretation.InstantiateHelper
Instantiates target EventProvider implementation.
getEventProviderHandler(String) - Method in class com.evelopers.unimod.core.stateworks.Model
Returns first found event provider handler with given name
getEventProviderHandlers() - Method in class com.evelopers.unimod.core.stateworks.Model
 
getEventProviderHandlers() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
getEventProvidersManager() - Method in class com.evelopers.unimod.runtime.ModelEngine
 
getEventProvidersManager() - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationObjectsManager
 
getEvents(boolean) - Method in class com.evelopers.unimod.core.stateworks.State
Returns all events that are located on outgoing transitions It's guaranteed that if ay event is present, it will be last in list
getExpectedType() - Method in class com.evelopers.unimod.parser.ActionTypeMismatchException
 
getExpr() - Method in class com.evelopers.unimod.core.stateworks.Guard
Return guard condition logical expression.
getFilteredOutgoingTransitions(Event, boolean) - Method in class com.evelopers.unimod.core.stateworks.State
Returs filtered list of outgoing transitions.
getFormula() - Method in class com.evelopers.unimod.analysis.FormulaSimplifier
 
getFoundType() - Method in class com.evelopers.unimod.parser.ActionTypeMismatchException
 
getGuard() - Method in class com.evelopers.unimod.core.stateworks.Transition
Returns guard condition
getHandledEvents() - Method in class com.evelopers.unimod.validation.StateTransitionsDecorator
Returns all events that are handled in the state without Event.ANY.
getHandledEventsWithSuperstates(State) - Method in class com.evelopers.unimod.transform.source.Tool
 
getIdent() - Method in class com.evelopers.unimod.debug.protocol.ThreadInfo
 
getIdentifier() - Method in class com.evelopers.unimod.core.stateworks.Action
Returns identifier
getImplName() - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
getImplName() - Method in class com.evelopers.unimod.core.stateworks.ImplementationHandler
Returns implementation class name
getIncludingState() - Method in class com.evelopers.unimod.runtime.StateMachinePath
Returns state of super state machine that includes pointed state machine
getIncomingAssociations() - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
getIncomingTransitions() - Method in class com.evelopers.unimod.core.stateworks.State
 
getInfo() - Method in class com.evelopers.unimod.debug.protocol.EventMessage
 
getInitialSubstate() - Method in class com.evelopers.unimod.core.stateworks.State
 
getInputActions() - Method in class com.evelopers.unimod.core.stateworks.Guard
Returns set of input actions, that is being used in guard condiiton.
getInputActions(StateMachine, Class) - Method in class com.evelopers.unimod.transform.source.Tool
 
getInstance() - Static method in class com.evelopers.unimod.runtime.interpretation.InterpretationHelper
 
getIntConstant(String) - Method in class com.evelopers.unimod.resources.Constants
 
getIntervals() - Method in class com.evelopers.unimod.analysis.Range
Returns range of the vaiable presented as an array of intervals
getLock(ThreadInfo) - Method in class com.evelopers.unimod.debug.app.ThreadManager
 
getLogger(String) - Method in class com.evelopers.unimod.log.Logger.Console
 
getLogger(Class) - Method in class com.evelopers.unimod.log.Logger.Console
 
getLogger(String) - Method in class com.evelopers.unimod.log.Logger.Empty
 
getLogger(Class) - Method in class com.evelopers.unimod.log.Logger.Empty
 
getLogger(String) - Method in interface com.evelopers.unimod.log.Logger
Returns another logger for given name.
getLogger(Class) - Method in interface com.evelopers.unimod.log.Logger
Returns another logger for given class.
getMessage(String) - Method in class com.evelopers.unimod.resources.Messages
 
getMessage(String, Object[]) - Method in class com.evelopers.unimod.resources.Messages
 
getMessages() - Static method in class com.evelopers.unimod.resources.Messages
 
getModelStructure() - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Returns the structure of the model.
getModelStructure() - Method in interface com.evelopers.unimod.runtime.EventProcessor
 
getModelStructure() - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationEventProcessor
 
getName() - Method in class com.evelopers.unimod.core.ModelElement
Returns name
getName() - Method in class com.evelopers.unimod.core.stateworks.StateType
Returns name of state type
getName() - Method in class com.evelopers.unimod.debug.protocol.ThreadInfo
 
getName() - Method in class com.evelopers.unimod.runtime.context.Parameter
 
getNoInitState() - Method in class com.evelopers.unimod.validation.StructureVisitor
Returns set of attainable composite states which have no initial states.
getNotRootMachinesWithEventProviders() - Method in class com.evelopers.unimod.validation.StructureVisitor
 
getNum(Action, StateMachineContext) - Method in class com.evelopers.unimod.runtime.interpretation.CalculatedInputActions
 
getObject() - Method in class com.evelopers.unimod.core.stateworks.Action
 
getObject() - Method in class com.evelopers.unimod.core.stateworks.ImplementationHandler
Instantiates target implementation object.
getObject(String, Class) - Static method in class com.evelopers.unimod.runtime.interpretation.InstantiateHelper
Instantiates target implementation object.
getObjectName(String) - Static method in class com.evelopers.unimod.compilation.StateMachineCompiler
Parses object name from identifier
getOnEnterActions() - Method in class com.evelopers.unimod.core.stateworks.State
Returns list of on-enter actions
getOperationType(ControlledObjectHandler, String) - Method in interface com.evelopers.unimod.compilation.OperationResolver
For given object and actionName this method returns return-type of operation or null if object doesn't have an operation with the name same to given actionName.
getOriginalClassName() - Method in interface com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.NotSerializableObjectHandler
 
getOriginalClassName() - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.NotSerializableObjectHandlerImpl
 
getOriginalToString() - Method in interface com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.NotSerializableObjectHandler
 
getOriginalToString() - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.NotSerializableObjectHandlerImpl
 
getOutgoingAssociations() - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
getOutgoingTransitions() - Method in class com.evelopers.unimod.core.stateworks.State
Returns outgoing transitions.
getOutputActions() - Method in class com.evelopers.unimod.core.stateworks.Transition
Returns output actions
getParameter(String) - Method in interface com.evelopers.unimod.runtime.context.StateMachineContext.Context
Returns value of parameter
getParameter(String) - Method in class com.evelopers.unimod.runtime.context.StateMachineContextImpl.ContextImpl
 
getParameterNames() - Method in interface com.evelopers.unimod.runtime.context.StateMachineContext.Context
Returns all parameters names in context
getParameterNames() - Method in class com.evelopers.unimod.runtime.context.StateMachineContextImpl.ContextImpl
 
getParameterValues(String) - Method in interface com.evelopers.unimod.runtime.context.StateMachineContext.Context
Returns all values of parameter with given name
getParameterValues(String) - Method in class com.evelopers.unimod.runtime.context.StateMachineContextImpl.ContextImpl
 
getParameters() - Method in class com.evelopers.unimod.core.stateworks.Event
 
getPath() - Method in class com.evelopers.unimod.debug.protocol.position.Position
 
getPosition() - Method in class com.evelopers.unimod.debug.protocol.EventMessage
 
getPosition() - Method in class com.evelopers.unimod.parser.ParserException
 
getPositions(StateMachine, State) - Static method in class com.evelopers.unimod.debug.BreakpointPositions
Returns positions that must be used as breakpoints to stop in given state, before execution of on-enter action
getPositions(StateMachine, Transition) - Static method in class com.evelopers.unimod.debug.BreakpointPositions
Returns positions that must be used as breakpoints to stop on given transition, before calculating guard condition
getPositions(StateMachine, State, Action) - Static method in class com.evelopers.unimod.debug.BreakpointPositions
Returns positions that must be used as breakpoints to stop before execution of given action in given state
getPositions(StateMachine, State, StateMachine) - Static method in class com.evelopers.unimod.debug.BreakpointPositions
 
getPositions(StateMachine, Transition, Action, boolean) - Static method in class com.evelopers.unimod.debug.BreakpointPositions
Returns positions that must be used as breakpoints to stop before execution of input or output action on given transition
getRange() - Method in class com.evelopers.unimod.analysis.TermSimplifier.IntervalLiteral
 
getRange(Action) - Method in class com.evelopers.unimod.analysis.TermSimplifier
Gets the array of intervals for variable action.
getRedundantInitStates() - Method in class com.evelopers.unimod.validation.StructureVisitor
Returns map of attainable composite states which have more then one initial state.
getReturnType() - Method in class com.evelopers.unimod.parser.IdentNode
 
getRootPath() - Method in interface com.evelopers.unimod.runtime.ModelStructure
Returns path to the root state machine.
getRootPath() - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationModelStructure
 
getRootStateMachine() - Method in class com.evelopers.unimod.core.stateworks.Model
 
getShift(StateMachinePath) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
getSimplifiedFormula() - Method in class com.evelopers.unimod.analysis.ASTFormulaSimplifier
 
getSimplifiedTerm() - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
getSource() - Method in class com.evelopers.unimod.core.stateworks.Association
Returns state machine that is a client in this association.
getSourceState() - Method in class com.evelopers.unimod.core.stateworks.Transition
Returns source state
getState() - Method in class com.evelopers.unimod.debug.protocol.position.ComeToStatePosition
 
getState() - Method in class com.evelopers.unimod.debug.protocol.position.CompositeTargetStatePosition
 
getState() - Method in class com.evelopers.unimod.debug.protocol.position.OnEnterActionExecutionPosition
 
getState() - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
getState() - Method in class com.evelopers.unimod.debug.protocol.position.TransitionSelectionPosition
 
getState() - Method in class com.evelopers.unimod.validation.StateTransitionsDecorator
 
getStateMachine(String) - Method in class com.evelopers.unimod.core.stateworks.Model
Returns first found state machine with given name
getStateMachine(String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Returns associated state machine with given supplier role name
getStateMachine(Model) - Method in class com.evelopers.unimod.debug.protocol.position.Position
 
getStateMachine() - Method in class com.evelopers.unimod.runtime.StateMachinePath
Returns name of pointed state machine
getStateMachine(String) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationModelStructure
 
getStateMachine() - Method in class com.evelopers.unimod.validation.StateMachineValidator
 
getStateMachineConfigManager(String) - Static method in class com.evelopers.unimod.runtime.interpretation.InstantiateHelper
Instantiates target StateMachineConfigManager implementation.
getStateMachines() - Method in class com.evelopers.unimod.core.stateworks.Model
 
getStateMachines() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Returns all associated state machines
getStereotype() - Method in class com.evelopers.unimod.core.ModelElement
Returns stereotype
getStringConstant(String) - Method in class com.evelopers.unimod.resources.Constants
 
getSubMachine() - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
getSubmachines() - Method in class com.evelopers.unimod.core.stateworks.State
Returns list of included state machines
getSubmachines() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Return all state machines included by all states of this state machine as submachines
getSubstates() - Method in class com.evelopers.unimod.core.stateworks.State
Returns substates.
getSuperStateMachinePath() - Method in class com.evelopers.unimod.runtime.StateMachinePath
Returns path to super state machine
getSuperstate() - Method in class com.evelopers.unimod.core.stateworks.State
Returns superstate.
getSupplierRole() - Method in class com.evelopers.unimod.core.stateworks.Association
Supplier role is the name that is used be state machine to identify the controlled object.
getTarget() - Method in class com.evelopers.unimod.core.stateworks.Association
Returns controlled object that is a supplier in this association.
getTarget(Model) - Method in class com.evelopers.unimod.debug.protocol.position.ComeToStatePosition
 
getTarget(Model) - Method in class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
getTarget(Model) - Method in class com.evelopers.unimod.debug.protocol.position.InputActionExecutionPosition
 
getTarget(Model) - Method in class com.evelopers.unimod.debug.protocol.position.OnEnterActionExecutionPosition
 
getTarget(Model) - Method in class com.evelopers.unimod.debug.protocol.position.OutputActionExecutionPosition
 
getTarget(Model) - Method in class com.evelopers.unimod.debug.protocol.position.Position
Returns target element of position.
getTarget(Model) - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
getTarget(Model) - Method in class com.evelopers.unimod.debug.protocol.position.TransitionCandidatePosition
 
getTargetState() - Method in class com.evelopers.unimod.core.stateworks.Transition
Returns target state
getThreadInfo() - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
getThreadInfo() - Method in class com.evelopers.unimod.debug.protocol.Message
 
getThreadManager() - Static method in class com.evelopers.unimod.debug.app.ThreadManager
 
getTop() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Return top state.
getTopConfig(String) - Method in interface com.evelopers.unimod.runtime.ModelStructure
Initial config factory method.
getTopConfig(String) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationModelStructure
 
getTransition() - Method in class com.evelopers.unimod.debug.protocol.position.InputActionExecutionPosition
 
getTransition() - Method in class com.evelopers.unimod.debug.protocol.position.OutputActionExecutionPosition
 
getTransition() - Method in class com.evelopers.unimod.debug.protocol.position.TransitionCandidatePosition
 
getTransition() - Method in class com.evelopers.unimod.debug.protocol.position.TransitionFoundPosition
 
getType() - Method in class com.evelopers.unimod.core.stateworks.State
Returns state type.
getType() - Method in class com.evelopers.unimod.debug.protocol.Message
 
getUserContext() - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.StateMachineContextImpl1
 
getUserContext() - Method in interface com.evelopers.unimod.runtime.context.StateMachineContext
Must return user context
getUserContext() - Method in class com.evelopers.unimod.runtime.context.StateMachineContextImpl
 
getValidator() - Method in class com.evelopers.unimod.validation.ValidationTool
 
getValue() - Method in class com.evelopers.unimod.debug.protocol.position.InputActionExecutionPosition
 
getValue() - Method in class com.evelopers.unimod.parser.ConstNode
Returns const int value.
getValue() - Method in class com.evelopers.unimod.runtime.context.Parameter
 
guard - Variable in class com.evelopers.unimod.core.stateworks.Transition
Guard condition

H

handle(Event, StateMachineContext) - Method in interface com.evelopers.unimod.runtime.EventManager
Calls of event providers or model engine client to ModelEngine#handle will be delegated to this method.
handle(Event, StateMachineContext) - Method in class com.evelopers.unimod.runtime.QueuedHandler
 
handle(Event, StateMachineContext) - Method in class com.evelopers.unimod.runtime.StrictHandler
 
handleAndWait(Event, StateMachineContext) - Method in interface com.evelopers.unimod.runtime.EventManager
Calls of event providers or model engine client to ModelEngine#handle will be delegated to this method.
handleAndWait(Event, StateMachineContext) - Method in class com.evelopers.unimod.runtime.QueuedHandler
 
handleAndWait(Event, StateMachineContext) - Method in class com.evelopers.unimod.runtime.StrictHandler
 
handleException(StateMachineContext, SystemException) - Method in class com.evelopers.unimod.debug.ExceptionHandlerImpl
 
handleException(StateMachineContext, SystemException) - Method in interface com.evelopers.unimod.runtime.ExceptionHandler
Called by state machine engine when exception occurs during event processing
handledType - Variable in class com.evelopers.unimod.core.stateworks.ImplementationHandler
 
handlesEvent(State, Event) - Method in class com.evelopers.unimod.transform.source.Tool
 
hasSuperstate() - Method in class com.evelopers.unimod.core.stateworks.State
Returns true if state has superstate.
hashCode() - Method in class com.evelopers.unimod.core.ModelElement
Returns model element hash code.
hashCode() - Method in class com.evelopers.unimod.core.stateworks.Action
Returns hashcode of controllable object and action name
hashCode() - Method in class com.evelopers.unimod.core.stateworks.Association
This implementation considers ends of association and value of supplier role to be immutable.
hashCode() - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
hashCode() - Method in class com.evelopers.unimod.core.stateworks.Event
Returns hashcode of event name.
hashCode() - Method in class com.evelopers.unimod.core.stateworks.Guard
Takes hashcode from expr
hashCode() - Method in class com.evelopers.unimod.core.stateworks.Model
 
hashCode() - Method in class com.evelopers.unimod.core.stateworks.State
 
hashCode() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Returns hash code based on the name of this state machine.
hashCode() - Method in class com.evelopers.unimod.core.stateworks.StateType
Returns StateType hash code
hashCode() - Method in class com.evelopers.unimod.core.stateworks.Transition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.ThreadInfo
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.ActionExecutionPosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.ComeToStatePosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.CompositeTargetStatePosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.FinalStatePosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.InputActionExecutionPosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.OnEnterActionExecutionPosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.OutputActionExecutionPosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.Position
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.TransitionCandidatePosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.TransitionFoundPosition
 
hashCode() - Method in class com.evelopers.unimod.debug.protocol.position.TransitionSelectionPosition
 
hashCode() - Method in class com.evelopers.unimod.parser.IdentNode
 
hashCode() - Method in class com.evelopers.unimod.runtime.StateMachineConfig
 
hashCode() - Method in class com.evelopers.unimod.runtime.StateMachinePath
 

I

IDENT - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
IMPL_NAME_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.ClassElement
 
INCOMING_ASSOCIATIONS_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.ClassElement
 
INCOMING_TRANSITIONS_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.State
 
INCORRECT_OBJECT - Static variable in class com.evelopers.unimod.resources.Messages
 
INCORRECT_SOURCE_STATE - Static variable in class com.evelopers.unimod.resources.Messages
 
INCORRECT_TARGET_STATE - Static variable in class com.evelopers.unimod.resources.Messages
 
INITIAL - Static variable in class com.evelopers.unimod.core.stateworks.StateType
Initial state type
INITIAL_NAME - Static variable in class com.evelopers.unimod.core.stateworks.StateType
 
IdentNode - class com.evelopers.unimod.parser.IdentNode.
AST node for identifier.
IdentNode() - Constructor for class com.evelopers.unimod.parser.IdentNode
Does nothing.
IdentNode(Token) - Constructor for class com.evelopers.unimod.parser.IdentNode
Creates node for given token
ImplementationHandler - class com.evelopers.unimod.core.stateworks.ImplementationHandler.
Provide facilities to handle implementation cass name in design-time and to instanciate implementation class in run-time
ImplementationHandler(String, Class) - Constructor for class com.evelopers.unimod.core.stateworks.ImplementationHandler
Creates object with given name and implementation class.
InputActionExecutionPosition - class com.evelopers.unimod.debug.protocol.position.InputActionExecutionPosition.
Before or after execution of input action inside guard condition of given transition
InputActionExecutionPosition(StateMachineContext, StateMachinePath, String, String, boolean, String) - Constructor for class com.evelopers.unimod.debug.protocol.position.InputActionExecutionPosition
 
InstantiateHelper - class com.evelopers.unimod.runtime.interpretation.InstantiateHelper.
Helps to instantiate ControlledObjects, EventProviders and StateMachineConfigManagers
InstantiateHelper() - Constructor for class com.evelopers.unimod.runtime.interpretation.InstantiateHelper
 
InterpretationEventProcessor - class com.evelopers.unimod.runtime.interpretation.InterpretationEventProcessor.

Abstract low-level event processor implementation.

InterpretationEventProcessor(Model) - Constructor for class com.evelopers.unimod.runtime.interpretation.InterpretationEventProcessor
Creates processor
InterpretationHelper - class com.evelopers.unimod.runtime.interpretation.InterpretationHelper.
Enrty point for runtime model engine based on interpretation.
InterpretationHelper() - Constructor for class com.evelopers.unimod.runtime.interpretation.InterpretationHelper
 
InterpretationModelStructure - class com.evelopers.unimod.runtime.interpretation.InterpretationModelStructure.
Interpretation model structure implementation.
InterpretationModelStructure(Model) - Constructor for class com.evelopers.unimod.runtime.interpretation.InterpretationModelStructure
 
InterpretationObjectsManager - class com.evelopers.unimod.runtime.interpretation.InterpretationObjectsManager.
 
InterpretationObjectsManager(Model) - Constructor for class com.evelopers.unimod.runtime.interpretation.InterpretationObjectsManager
 
InterpreterException - exception com.evelopers.unimod.parser.InterpreterException.
Thrown by Interpreter.
InterpreterException(String) - Constructor for class com.evelopers.unimod.parser.InterpreterException
 
InterpreterException(Throwable) - Constructor for class com.evelopers.unimod.parser.InterpreterException
 
InterpreterException(Throwable, String) - Constructor for class com.evelopers.unimod.parser.InterpreterException
 
identicalToFalse(AST) - Method in class com.evelopers.unimod.analysis.BooleanSimplifier
Checks if ast is identical to false.
identicalToTrue(AST) - Method in class com.evelopers.unimod.analysis.BooleanSimplifier
Checks if ast is identical to true.
identifier - Variable in class com.evelopers.unimod.core.stateworks.Action
 
implName - Variable in class com.evelopers.unimod.core.stateworks.ClassElement
 
implName - Variable in class com.evelopers.unimod.core.stateworks.ImplementationHandler
Implementation class name.
implObject - Variable in class com.evelopers.unimod.core.stateworks.ImplementationHandler
Implementation object.
includes(Range.Interval) - Method in class com.evelopers.unimod.analysis.Range.Interval
 
includes(Range.Interval) - Method in class com.evelopers.unimod.analysis.Range
Checks if range includes interval interval
includes(Range) - Method in class com.evelopers.unimod.analysis.Range
Checks if this range includes range
incomingAssociations - Variable in class com.evelopers.unimod.core.stateworks.ClassElement
List of outgoing associations that have this this class element
incomingTransitionToInitState(StateMachine, Transition) - Method in interface com.evelopers.unimod.validation.StructureListener
Called when there is incoming transition to init state.
incomingTransitionToInitState(StateMachine, Transition) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
incomingTransitions - Variable in class com.evelopers.unimod.core.stateworks.State
Incoming transitions.
incompleteGuardSet(StateMachine, State, Event, Guard) - Method in interface com.evelopers.unimod.validation.CompletenessListener
CallBack.
incompleteGuardSet(StateMachine, State, Event, Guard) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
inconsistentGuardSet(StateMachine, Transition, Transition, Guard) - Method in interface com.evelopers.unimod.validation.ConsistencyListener
CallBack.
inconsistentGuardSet(StateMachine, Transition, Transition, Guard) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
incorrectActionIdentifier(StateMachine, ModelElement, Action) - Method in interface com.evelopers.unimod.compilation.CompilationListener
Given action has incorrect format.
incorrectActionIdentifier(StateMachine, ModelElement, Action) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
incorrectExpression(StateMachine, Transition, Guard, ParserException) - Method in interface com.evelopers.unimod.compilation.CompilationListener
Given guard condition has incorrect expression
incorrectExpression(StateMachine, Transition, Guard, ParserException) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
info(Object) - Method in class com.evelopers.unimod.log.Logger.Console
 
info(Object) - Method in class com.evelopers.unimod.log.Logger.Empty
 
info(Object) - Method in interface com.evelopers.unimod.log.Logger
Logs info message
init(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.debug.ThreadConfigManager
 
init(ModelEngine) - Method in class com.evelopers.unimod.debug.app.AppConnector
 
init(ModelEngine) - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
init(ModelEngine) - Method in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
init(ModelEngine) - Method in class com.evelopers.unimod.debug.debugger.console.BreakpointManagerImpl
 
init(ModelEngine) - Method in class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 
init(ModelEngine) - Method in interface com.evelopers.unimod.runtime.EventProvider
Called on engine start-up
init(ModelEngine) - Method in interface com.evelopers.unimod.runtime.LifeCycleManager
Initializes managed objects.
init(ModelEngine) - Method in class com.evelopers.unimod.runtime.QueuedHandler
 
init(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in interface com.evelopers.unimod.runtime.StateMachineConfigManager
Initializes config store.
init(ModelEngine) - Method in class com.evelopers.unimod.runtime.StrictHandler
 
init(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.config.DistinguishConfigManager
 
init(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.config.SharedStateConfigManager
 
initConfig(StateMachinePath, StateMachineContext) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
initListeners() - Method in class com.evelopers.unimod.core.ModelElement
 
initialStateLess - Variable in class com.evelopers.unimod.validation.StructureVisitor
Set of attainable composite states which have no initial states
initialize(AST) - Method in class com.evelopers.unimod.parser.IdentNode
 
intersect(int, int) - Method in class com.evelopers.unimod.analysis.Range
Intersect this range with interval [left, right]
intersect(Range.Interval) - Method in class com.evelopers.unimod.analysis.Range
Intersect this range with interval
intervalVariablesIterator() - Method in class com.evelopers.unimod.analysis.TermSimplifier
 
intervals - Variable in class com.evelopers.unimod.analysis.Range
 
isBefore() - Method in class com.evelopers.unimod.debug.protocol.position.ActionExecutionPosition
 
isBefore() - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
isComposite() - Method in class com.evelopers.unimod.core.stateworks.State
Returns true if state has substates.
isEmpty() - Method in class com.evelopers.unimod.analysis.Range
Check if range is empty set
isFinal(String, StateMachineConfig) - Method in interface com.evelopers.unimod.runtime.ModelStructure
Determines whether active state defined by the given config is final for state machine with the given name
isFinal(String, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationModelStructure
 
isFinalConfig(StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
isIdenticalFalse() - Method in class com.evelopers.unimod.analysis.FormulaSimplifier
 
isIdenticalFalse() - Method in class com.evelopers.unimod.analysis.TermSimplifier
 
isIdenticalTrue() - Method in class com.evelopers.unimod.analysis.FormulaSimplifier
 
isIdenticalTrue() - Method in class com.evelopers.unimod.analysis.TermSimplifier
 
isNegated - Variable in class com.evelopers.unimod.analysis.TermSimplifier.BooleanLiteral
 
isNegated(Action) - Method in class com.evelopers.unimod.analysis.TermSimplifier
Checks if variable action is in the term with negation
isRoot() - Method in class com.evelopers.unimod.runtime.StateMachinePath
Returns whether this path leads to root state machine.
isStarted() - Method in class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
isTop() - Method in class com.evelopers.unimod.core.stateworks.State
Returns true if state is top state
isTopConfig(StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 

J

JavaSpecificMessageCoder - class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.
Uses java serialization to save objects into Strings.
JavaSpecificMessageCoder() - Constructor for class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
 
JavaSpecificMessageCoder.NotSerializableObjectHandler - interface com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.NotSerializableObjectHandler.
 
JavaSpecificMessageCoder.NotSerializableObjectHandlerImpl - class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.NotSerializableObjectHandlerImpl.
 
JavaSpecificMessageCoder.StateMachineContextImpl1 - class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder.StateMachineContextImpl1.
 

L

LifeCycleManager - interface com.evelopers.unimod.runtime.LifeCycleManager.
Implementors of this class manage life cycle of some object.
Logger - interface com.evelopers.unimod.log.Logger.
Interface for loggin system.
Logger.Console - class com.evelopers.unimod.log.Logger.Console.
Console logger implementation
Logger.Empty - class com.evelopers.unimod.log.Logger.Empty.
Empty logger implementation.
left - Variable in class com.evelopers.unimod.analysis.Range.Interval
 
listeners - Variable in class com.evelopers.unimod.core.ModelElement
 
load(StateMachinePath, StateMachineContext) - Method in class com.evelopers.unimod.debug.ThreadConfigManager
 
load(StateMachinePath, StateMachineContext) - Method in interface com.evelopers.unimod.runtime.StateMachineConfigManager
Loads config for given path from some store.
load(StateMachinePath, StateMachineContext) - Method in class com.evelopers.unimod.runtime.config.DistinguishConfigManager
 
load(StateMachinePath, StateMachineContext) - Method in class com.evelopers.unimod.runtime.config.SharedStateConfigManager
 
load(InputStream) - Static method in class com.evelopers.unimod.transform.xml.XMLToModel
Build in-memory model from given xml file.
load(InputStream, XMLReader) - Static method in class com.evelopers.unimod.transform.xml.XMLToModel
Build in-memory model from given xml file.
loadAndCompile(InputStream, XMLReader) - Static method in class com.evelopers.unimod.transform.xml.XMLToModel
Read model from given URL and compiles it.
loadAndCompile(InputStream) - Static method in class com.evelopers.unimod.transform.xml.XMLToModel
Read model from given URL and compiles it.
loadConfig(StateMachinePath, StateMachineContext) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 

M

MAX - Static variable in class com.evelopers.unimod.analysis.Range
 
MESSAGE_CODER_EXCEPTION - Static variable in interface com.evelopers.unimod.debug.debugger.Params.Event
 
MIN - Static variable in class com.evelopers.unimod.analysis.Range
 
MODEL - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
MODEL - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
Message - class com.evelopers.unimod.debug.protocol.Message.
Abstract Message to interact between application and debugger
Message(int, ThreadInfo) - Constructor for class com.evelopers.unimod.debug.protocol.Message
 
MessageCoder - interface com.evelopers.unimod.debug.protocol.MessageCoder.
Interface for message coder.
MessageCoderException - exception com.evelopers.unimod.debug.protocol.MessageCoderException.
 
MessageCoderException(Throwable, String) - Constructor for class com.evelopers.unimod.debug.protocol.MessageCoderException
 
Messages - class com.evelopers.unimod.resources.Messages.
Singletone.
Model - class com.evelopers.unimod.core.stateworks.Model.
Represents behaviour model.
Model(String) - Constructor for class com.evelopers.unimod.core.stateworks.Model
 
ModelElement - class com.evelopers.unimod.core.ModelElement.
Base abstract class for all model elements.
ModelElement() - Constructor for class com.evelopers.unimod.core.ModelElement
Creates empty model element.
ModelElement(String) - Constructor for class com.evelopers.unimod.core.ModelElement
Creates model element with given name.
ModelElement(String, String) - Constructor for class com.evelopers.unimod.core.ModelElement
Creates model element witg given name and stereotype.
ModelEngine - class com.evelopers.unimod.runtime.ModelEngine.
Entry point for state machine runtime engine.
ModelStructure - interface com.evelopers.unimod.runtime.ModelStructure.
Provides information about automata model.
ModelToSource - class com.evelopers.unimod.transform.source.ModelToSource.
Generate source file from given templates.
ModelToXML - class com.evelopers.unimod.transform.xml.ModelToXML.
Transforms in-memory state machine model into XML description.
ModelVisitor - interface com.evelopers.unimod.core.ModelVisitor.
This interface is implemented by objects that visits state machine elements.
main(String[]) - Static method in class com.evelopers.unimod.debug.debugger.console.ConsoleDebugger
 
main(String[]) - Static method in class com.evelopers.unimod.transform.source.ModelToSource
 
main(String[]) - Static method in class com.evelopers.unimod.validation.ValidationTool
 
makeSerializable(EventMessage) - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
 
makeSerializableCopy(Event) - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
 
makeSerializableCopy(StateMachineContext) - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
 
makeSerializableCopy(StateMachineContext.Context, StateMachineContext.Context) - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
Replace all not serializable objects with it's serializable handles
model - Variable in class com.evelopers.unimod.transform.xml.XMLToModel
 

N

NAME - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
NAME_PROPERTY - Static variable in class com.evelopers.unimod.core.ModelElement
 
NORMAL - Static variable in class com.evelopers.unimod.core.stateworks.StateType
Normal state type (simple or composite)
NORMAL_NAME - Static variable in class com.evelopers.unimod.core.stateworks.StateType
 
NO_EVENT - Static variable in class com.evelopers.unimod.core.stateworks.Event
 
NO_EVENT_NAME - Static variable in class com.evelopers.unimod.core.stateworks.Event
 
NO_INITIAL_STATE - Static variable in class com.evelopers.unimod.resources.Messages
 
name - Variable in class com.evelopers.unimod.core.ModelElement
 
needSuspend(ThreadInfo) - Method in class com.evelopers.unimod.debug.app.ThreadManager
 
noEventOnTransition(StateMachine, Transition) - Method in interface com.evelopers.unimod.validation.StructureListener
Called when there is no event on transition from non-init state
noEventOnTransition(StateMachine, Transition) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
noInitState(StateMachine, State) - Method in interface com.evelopers.unimod.validation.StructureListener
Is called when composite attainable state without initial state is found.
noInitState(StateMachine, State) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
noTransitionFromInitState(StateMachine, State) - Method in interface com.evelopers.unimod.validation.StructureListener
Called when there is no transition from init state.
noTransitionFromInitState(StateMachine, State) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
not(AST) - Method in class com.evelopers.unimod.analysis.BooleanSimplifier
Negates ast.
notRootMachinesWithEventProviders - Variable in class com.evelopers.unimod.validation.StructureVisitor
Set of not root state machines that has associated event providers
notRootStateMachineHasEventProviders(StateMachine) - Method in interface com.evelopers.unimod.validation.StructureListener
Called when not root state machine has associated event providers that is prohibited.
notRootStateMachineHasEventProviders(StateMachine) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
nullImplClass(StateMachine, ControlledObjectHandler) - Method in interface com.evelopers.unimod.compilation.CompilationListener
Given contorlled object handler has null implementation class
nullImplClass(StateMachine, EventProviderHandler) - Method in interface com.evelopers.unimod.compilation.CompilationListener
Given event provider handler has null implementation class
nullImplClass(StateMachine, ControlledObjectHandler) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
nullImplClass(StateMachine, EventProviderHandler) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
nullName(StateMachine, ModelElement) - Method in interface com.evelopers.unimod.compilation.CompilationListener
Given model element has null name
nullName(StateMachine, ModelElement) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
nullStateType(StateMachine, State) - Method in interface com.evelopers.unimod.compilation.CompilationListener
Given state has null state type
nullStateType(StateMachine, State) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 

O

ON_ENTER_ACTION - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
ON_ENTER_ACTIONS_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.State
 
OUTGOING_ASSOCIATIONS_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.ClassElement
 
OUTGOING_TRANSITIONS_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.State
 
OUTPUT_ACTION - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
OUTPUT_ACTION - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
OUTPUT_ACTIONS_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.Transition
 
OnEnterActionExecutionPosition - class com.evelopers.unimod.debug.protocol.position.OnEnterActionExecutionPosition.
Before or after execution of on-enter output action in state
OnEnterActionExecutionPosition(StateMachineContext, StateMachinePath, String, String, boolean) - Constructor for class com.evelopers.unimod.debug.protocol.position.OnEnterActionExecutionPosition
 
OperationResolver - interface com.evelopers.unimod.compilation.OperationResolver.
This interface should be implemented in case when actions associated with methods of ControlledObject could be resolved.
OperationResolver.VOID - class com.evelopers.unimod.compilation.OperationResolver.VOID.
 
OperationResolver.VOID() - Constructor for class com.evelopers.unimod.compilation.OperationResolver.VOID
 
OutputActionExecutionPosition - class com.evelopers.unimod.debug.protocol.position.OutputActionExecutionPosition.
Before or after execution of output action on transition
OutputActionExecutionPosition(StateMachineContext, StateMachinePath, String, String, boolean) - Constructor for class com.evelopers.unimod.debug.protocol.position.OutputActionExecutionPosition
 
object - Variable in class com.evelopers.unimod.core.stateworks.Action
 
onEnter(StateMachinePath) - Method in class com.evelopers.unimod.debug.ThreadConfigManager
 
onEnterActions - Variable in class com.evelopers.unimod.core.stateworks.State
On-enter actions to be executed on-enter
onExit(StateMachinePath) - Method in class com.evelopers.unimod.debug.ThreadConfigManager
 
or(Set) - Method in class com.evelopers.unimod.analysis.BooleanSimplifier
Merges astSet to disjunction.
out - Variable in class com.evelopers.unimod.validation.ValidationMessenger
 
outgoingAssociations - Variable in class com.evelopers.unimod.core.stateworks.ClassElement
List of incoming associations
outgoingTransitionFromFinalState(StateMachine, Transition) - Method in interface com.evelopers.unimod.validation.StructureListener
Called when there is outgoing transition from final state.
outgoingTransitionFromFinalState(StateMachine, Transition) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
outgoingTransitions - Variable in class com.evelopers.unimod.core.stateworks.State
Outgoing transitions.
outputActions - Variable in class com.evelopers.unimod.core.stateworks.Transition
List of output actions.

P

PARAMETER_NOT_FOUND - Static variable in class com.evelopers.unimod.resources.Messages
 
POSITION - Static variable in interface com.evelopers.unimod.debug.app.Params.Event
 
POSITION - Static variable in interface com.evelopers.unimod.debug.debugger.Params.Event
 
PUBLIC_ID - Static variable in interface com.evelopers.unimod.transform.xml.XML
 
Parameter - class com.evelopers.unimod.runtime.context.Parameter.
Represents Event parameter.
Parameter(String, Object) - Constructor for class com.evelopers.unimod.runtime.context.Parameter
Creates parameter with given name and value.
Params - class com.evelopers.unimod.debug.app.Params.
 
Params() - Constructor for class com.evelopers.unimod.debug.app.Params
 
Params - interface com.evelopers.unimod.debug.debugger.Params.
 
Params.Event - interface com.evelopers.unimod.debug.app.Params.Event.
 
Params.Event - interface com.evelopers.unimod.debug.debugger.Params.Event.
 
ParserException - exception com.evelopers.unimod.parser.ParserException.
Thrown by Parser.
ParserException(String, int) - Constructor for class com.evelopers.unimod.parser.ParserException
 
ParserException(Throwable) - Constructor for class com.evelopers.unimod.parser.ParserException
 
Position - class com.evelopers.unimod.debug.protocol.position.Position.
Indicates position in algorythm of event processing
Position(StateMachineContext, StateMachinePath) - Constructor for class com.evelopers.unimod.debug.protocol.position.Position
 
parameters - Variable in class com.evelopers.unimod.core.stateworks.Event
Array of event parameters
parseStateType(String) - Static method in class com.evelopers.unimod.core.stateworks.StateType
Parses StateType object from given string
process(Event, StateMachineContext) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Processes given event in the given context using root state machine instance.
process(Event, StateMachineContext, StateMachinePath) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Processes given event using state machine instance defined by the given path.
process(Event, StateMachineContext, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Processes given event using state machine instance defined by the given config.
process(Event, StateMachineContext) - Method in interface com.evelopers.unimod.runtime.EventProcessor
 
process(Event, StateMachineContext) - Method in class com.evelopers.unimod.runtime.ModelEngine
Delegates call to AbstractEventProcessor.process(com.evelopers.unimod.core.stateworks.Event, com.evelopers.unimod.runtime.context.StateMachineContext).
process(Event, StateMachineContext, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationEventProcessor
 
put(AST) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
put(Action, boolean) - Method in class com.evelopers.unimod.analysis.TermSimplifier
Puts variable action or it's nigation
put(Action, int, int) - Method in class com.evelopers.unimod.analysis.TermSimplifier
Intersects interval of action with it's current interval.
put(int, int, Action) - Method in class com.evelopers.unimod.analysis.TermSimplifier
Reverse version of TermSimplifier.put(Action, boolean)
put(int) - Method in class com.evelopers.unimod.analysis.TermSimplifier
Tests if booleanConst is true or false.
put(int, int, int) - Method in class com.evelopers.unimod.analysis.TermSimplifier
Tests relation between two consts.

Q

QueuedHandler - class com.evelopers.unimod.runtime.QueuedHandler.
Event handler with queue of event support.
QueuedHandler() - Constructor for class com.evelopers.unimod.runtime.QueuedHandler
 

R

REMOVE_BREAKPOINTS - Static variable in class com.evelopers.unimod.debug.protocol.CommandMessage
 
RESUME - Static variable in class com.evelopers.unimod.debug.protocol.CommandMessage
 
RESUMED - Static variable in class com.evelopers.unimod.debug.debugger.Debugger
 
RESUMED - Static variable in class com.evelopers.unimod.debug.protocol.EventMessage
 
RETURN_MUSTBE_BOOL - Static variable in class com.evelopers.unimod.resources.Messages
 
RETURN_MUSTBE_INT - Static variable in class com.evelopers.unimod.resources.Messages
 
ROOT_STATE_MACHINE - Static variable in class com.evelopers.unimod.core.stateworks.Model
 
ROOT_STATE_MACHINE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
ROOT_STATE_MACHINE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
Range - class com.evelopers.unimod.analysis.Range.
 
Range() - Constructor for class com.evelopers.unimod.analysis.Range
 
Range.Interval - class com.evelopers.unimod.analysis.Range.Interval.
 
Range.Interval() - Constructor for class com.evelopers.unimod.analysis.Range.Interval
 
Range.Interval(int, int) - Constructor for class com.evelopers.unimod.analysis.Range.Interval
 
RuntimeContract - class com.evelopers.unimod.contract.RuntimeContract.
Converts StateMachinePath and StateMachineConfig into String and vice versa.
range - Variable in class com.evelopers.unimod.analysis.TermSimplifier.IntervalLiteral
 
reconnect(ClassElement, ClassElement) - Method in class com.evelopers.unimod.core.stateworks.Association
Reconnects transition to new source and target states.
reconnect(State, State) - Method in class com.evelopers.unimod.core.stateworks.Transition
Reconnects transition to new source and target states.
redundantElseTransitions(StateMachine, State, Event, int) - Method in interface com.evelopers.unimod.validation.ConsistencyListener
 
redundantElseTransitions(StateMachine, State, Event, int) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
redundantInitStates(StateMachine, State, int) - Method in interface com.evelopers.unimod.validation.StructureListener
Is called when attainable composite state has more then one initial state.
redundantInitStates - Variable in class com.evelopers.unimod.validation.StructureVisitor
 
redundantInitStates(StateMachine, State, int) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
redundantTransitionsFromInitState(StateMachine, State, int) - Method in interface com.evelopers.unimod.validation.StructureListener
Called when there is more then one transition from init state.
redundantTransitionsFromInitState(StateMachine, State, int) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
removeCompilationListener(CompilationListener) - Method in class com.evelopers.unimod.compilation.StateMachineCompiler
 
removeCompletenessListener(CompletenessListener) - Method in class com.evelopers.unimod.validation.CompletenessValidator
Removes listener from list of completeness listeners.
removeCompletenessListener(CompletenessListener) - Method in class com.evelopers.unimod.validation.StateMachineValidator
 
removeConsistencyListener(ConsistencyListener) - Method in class com.evelopers.unimod.validation.ConsistencyValidator
Removes listener from list of consistency listeners.
removeConsistencyListener(ConsistencyListener) - Method in class com.evelopers.unimod.validation.StateMachineValidator
 
removeControlledObjectHandler(ControlledObjectHandler) - Method in class com.evelopers.unimod.core.stateworks.Model
 
removeControlledObjectHandler(ControlledObjectHandler) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Removes given controlled object handler from state machine.
removeEventProcessorListener(EventProcessorListener) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Removess eventProcessorListener from listeners list.
removeEventProcessorListener(EventProcessorListener) - Method in interface com.evelopers.unimod.runtime.EventProcessor
 
removeEventProviderHandler(EventProviderHandler) - Method in class com.evelopers.unimod.core.stateworks.Model
 
removeExceptionHandler(ExceptionHandler) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Remove handler for exceptions raised during event processing.
removeExceptionHandler(ExceptionHandler) - Method in interface com.evelopers.unimod.runtime.EventProcessor
 
removeIncomingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
removeIncomingTransition(Transition) - Method in class com.evelopers.unimod.core.stateworks.State
 
removeOnEnterAction(Action) - Method in class com.evelopers.unimod.core.stateworks.State
Removes on-enter action
removeOutgoingAssociation(Association) - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
removeOutgoingTransition(Transition) - Method in class com.evelopers.unimod.core.stateworks.State
 
removeOutputAction(Action) - Method in class com.evelopers.unimod.core.stateworks.Transition
Removes output action
removePropertyChangeListener(PropertyChangeListener) - Method in class com.evelopers.unimod.core.ModelElement
Removes property change listener
removeStateMachine(StateMachine) - Method in class com.evelopers.unimod.core.stateworks.Model
 
removeStructureListener(StructureListener) - Method in class com.evelopers.unimod.validation.StateMachineValidator
 
removeStrucutreListener(StructureListener) - Method in class com.evelopers.unimod.validation.StructureValidator
Removes listener from list of structure listeners.
removeSubmachine(StateMachine) - Method in class com.evelopers.unimod.core.stateworks.State
Removes given included state machine from list of submachines
removeSubstate(State) - Method in class com.evelopers.unimod.core.stateworks.State
Removes given substate.
resetAllThreadConfigs() - Method in class com.evelopers.unimod.debug.ThreadConfigManager
 
resetConfig(StateMachinePath) - Method in class com.evelopers.unimod.runtime.config.DistinguishConfigManager
 
resolveClassElement(String) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
resolveStateMachine(String) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
right - Variable in class com.evelopers.unimod.analysis.Range.Interval
 
root - Variable in class com.evelopers.unimod.core.stateworks.Model
 

S

SET_BREAKPOINTS - Static variable in class com.evelopers.unimod.debug.protocol.CommandMessage
 
SOURCE_MUSTBE_DIAGRAM - Static variable in class com.evelopers.unimod.resources.Messages
 
SOURCE_MUSTBE_DOCUMENT - Static variable in class com.evelopers.unimod.resources.Messages
 
SOURCE_MUSTBE_STATEMACHINE - Static variable in class com.evelopers.unimod.resources.Messages
 
SOURCE_REF - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
SOURCE_STATE_NULL - Static variable in class com.evelopers.unimod.resources.Messages
 
STATE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
STATEMACHINE_STEREOTYPE - Static variable in class com.evelopers.unimod.core.stateworks.StateMachine
 
STATE_MACHINE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
STATE_MACHINE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
STATE_MACHINE_ASSOCIATION - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
STATE_MACHINE_REF - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
STATE_TYPE_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.State
 
STEP - Static variable in class com.evelopers.unimod.debug.protocol.CommandMessage
 
STEREOTYPE_PROPERTY - Static variable in class com.evelopers.unimod.core.ModelElement
 
SUBMACHINE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
SUBMACHINES_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.State
 
SUBSTATES_DELIMETER - Static variable in class com.evelopers.unimod.resources.Constants
 
SUBSTATES_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.State
 
SUB_STATE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
SUPPLIER_ROLE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
SUPPLIER_ROLE_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.Association
 
SUSPENDED - Static variable in class com.evelopers.unimod.debug.debugger.Debugger
 
SUSPENDED_ON_BREAKPOINT - Static variable in class com.evelopers.unimod.debug.protocol.EventMessage
 
SUSPENDED_ON_STEP - Static variable in class com.evelopers.unimod.debug.protocol.EventMessage
 
SYSTEM_ID - Static variable in interface com.evelopers.unimod.transform.xml.XML
 
SharedStateConfigManager - class com.evelopers.unimod.runtime.config.SharedStateConfigManager.
ConfigManager that ignores state machine path.
SharedStateConfigManager() - Constructor for class com.evelopers.unimod.runtime.config.SharedStateConfigManager
 
ShortLogger - class com.evelopers.unimod.runtime.logger.ShortLogger.
 
ShortLogger(Logger) - Constructor for class com.evelopers.unimod.runtime.logger.ShortLogger
 
SimpleLogger - class com.evelopers.unimod.runtime.logger.SimpleLogger.
Simple pluggable logger unit.
SimpleLogger(Logger) - Constructor for class com.evelopers.unimod.runtime.logger.SimpleLogger
 
State - class com.evelopers.unimod.core.stateworks.State.
State abstraction.
State(String, StateType) - Constructor for class com.evelopers.unimod.core.stateworks.State
Creates states with given name.
StateMachine - class com.evelopers.unimod.core.stateworks.StateMachine.
Class StateMachine represents StateMachine abstraction.
StateMachine(String) - Constructor for class com.evelopers.unimod.core.stateworks.StateMachine
Creates empty state machine.
StateMachine(String, String) - Constructor for class com.evelopers.unimod.core.stateworks.StateMachine
Creates empty state machine with given config store.
StateMachineCompiler - class com.evelopers.unimod.compilation.StateMachineCompiler.

Compile given state machine.
StateMachineCompiler(OperationResolver) - Constructor for class com.evelopers.unimod.compilation.StateMachineCompiler
 
StateMachineConfig - class com.evelopers.unimod.runtime.StateMachineConfig.
Implements state machine active state configuration.
StateMachineConfig(String) - Constructor for class com.evelopers.unimod.runtime.StateMachineConfig
 
StateMachineConfigManager - interface com.evelopers.unimod.runtime.StateMachineConfigManager.
Manages life cycle of StateMachineConfig.
StateMachineContext - interface com.evelopers.unimod.runtime.context.StateMachineContext.
State Machine Context - bridge to environment.
StateMachineContext.Context - interface com.evelopers.unimod.runtime.context.StateMachineContext.Context.
Desribes methods that any context must implement.
StateMachineContextImpl - class com.evelopers.unimod.runtime.context.StateMachineContextImpl.
Simple state machine context implementation.
StateMachineContextImpl(StateMachineContext.Context, StateMachineContext.Context, StateMachineContext.Context) - Constructor for class com.evelopers.unimod.runtime.context.StateMachineContextImpl
 
StateMachineContextImpl.ContextImpl - class com.evelopers.unimod.runtime.context.StateMachineContextImpl.ContextImpl.
 
StateMachineContextImpl.ContextImpl() - Constructor for class com.evelopers.unimod.runtime.context.StateMachineContextImpl.ContextImpl
 
StateMachinePath - class com.evelopers.unimod.runtime.StateMachinePath.
Path to state machine.
StateMachinePath(String) - Constructor for class com.evelopers.unimod.runtime.StateMachinePath
Creates path leading to root state machine.
StateMachinePath(StateMachinePath, String, String) - Constructor for class com.evelopers.unimod.runtime.StateMachinePath
Creates path leading to superMachine's submachine in superMachineActiveState.
StateMachineValidator - class com.evelopers.unimod.validation.StateMachineValidator.
State machine structure validator.
StateMachineValidator(StateMachine) - Constructor for class com.evelopers.unimod.validation.StateMachineValidator
 
StateTransitionsDecorator - class com.evelopers.unimod.validation.StateTransitionsDecorator.
Adds some functionality to State
StateTransitionsDecorator(State) - Constructor for class com.evelopers.unimod.validation.StateTransitionsDecorator
 
StateType - class com.evelopers.unimod.core.stateworks.StateType.
Represents possible state types.
StateTypeFormatException - exception com.evelopers.unimod.core.stateworks.StateTypeFormatException.
Thrown by StateType.parseStateType(String) if given string can't parsed into StateType object.
StateTypeFormatException(String) - Constructor for class com.evelopers.unimod.core.stateworks.StateTypeFormatException
Creates exception.
StrictHandler - class com.evelopers.unimod.runtime.StrictHandler.
Process event in the same thread it was received
StrictHandler() - Constructor for class com.evelopers.unimod.runtime.StrictHandler
 
StructureListener - interface com.evelopers.unimod.validation.StructureListener.
Listenes to structure errors.
StructureValidator - class com.evelopers.unimod.validation.StructureValidator.
Validates structure (checks that every attainable composite state has initial state).
StructureValidator() - Constructor for class com.evelopers.unimod.validation.StructureValidator
 
StructureVisitor - class com.evelopers.unimod.validation.StructureVisitor.
Builds map of attainable states for statemachines.
StructureVisitor() - Constructor for class com.evelopers.unimod.validation.StructureVisitor
Constructs visitor
SubmachinesExecutionPosition - class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition.
Before or after execution of included state machine
SubmachinesExecutionPosition(StateMachineContext, StateMachinePath, Event, String, String, boolean) - Constructor for class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
save(Document, OutputStream, String, String) - Static method in class com.evelopers.unimod.transform.xml.XMLHelper
 
setAST(AST) - Method in class com.evelopers.unimod.core.stateworks.Guard
Sets abstract syntax tree.
setAction(Action) - Method in class com.evelopers.unimod.parser.IdentNode
Sets Action.
setAction(StateMachine, Action, Class) - Method in class com.evelopers.unimod.parser.IdentNode
Sets Action.
setActionName(String) - Method in class com.evelopers.unimod.core.stateworks.Action
 
setActiveState(String) - Method in class com.evelopers.unimod.runtime.StateMachineConfig
Sets active state name
setClientRole(String) - Method in class com.evelopers.unimod.core.stateworks.Association
 
setConfig(StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.config.DistinguishConfigManager
 
setConfigManagerClassName(String) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
setContext(StateMachineContext) - Method in class com.evelopers.unimod.debug.protocol.position.Position
 
setControlledObjectsMap(ControlledObjectsMap) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Sets map of controlled objects.
setControlledObjectsMap(ControlledObjectsMap) - Method in interface com.evelopers.unimod.runtime.EventProcessor
 
setEvent(Event) - Method in class com.evelopers.unimod.core.stateworks.Transition
 
setEvent(Event) - Method in class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
setEvent(Event) - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
setEvent(Event) - Method in class com.evelopers.unimod.debug.protocol.position.TransitionSelectionPosition
 
setExpr(String) - Method in class com.evelopers.unimod.core.stateworks.Guard
Sets guard condition logical expression
setGuard(Guard) - Method in class com.evelopers.unimod.core.stateworks.Transition
 
setImplName(String) - Method in class com.evelopers.unimod.core.stateworks.ClassElement
 
setImplName(String) - Method in class com.evelopers.unimod.core.stateworks.ControlledObjectHandler
Just publishes protected method of base class.
setImplName(String) - Method in class com.evelopers.unimod.core.stateworks.EventProviderHandler
 
setImplName(String) - Method in class com.evelopers.unimod.core.stateworks.ImplementationHandler
Sets new implementation class name
setInputActions(Set) - Method in class com.evelopers.unimod.core.stateworks.Guard
 
setName(String) - Method in class com.evelopers.unimod.core.ModelElement
Sets name
setName(String) - Method in class com.evelopers.unimod.core.stateworks.Event
Sets name
setObject(ClassElement) - Method in class com.evelopers.unimod.core.stateworks.Action
 
setParameter(String, Object) - Method in interface com.evelopers.unimod.runtime.context.StateMachineContext.Context
Assigns given data to given parameter name
setParameter(String, Object) - Method in class com.evelopers.unimod.runtime.context.StateMachineContextImpl.ContextImpl
 
setParameters(Parameter[]) - Method in class com.evelopers.unimod.core.stateworks.Event
 
setRootStateMachine(StateMachine) - Method in class com.evelopers.unimod.core.stateworks.Model
 
setSm(StateMachine) - Method in class com.evelopers.unimod.validation.CompletenessCheckVisitor
 
setSm(StateMachine) - Method in class com.evelopers.unimod.validation.ConsistencyCheckVisitor
 
setSource(ClassElement) - Method in class com.evelopers.unimod.core.stateworks.Association
Sets new source class.
setSourceState(State) - Method in class com.evelopers.unimod.core.stateworks.Transition
Sets new source state.
setStereotype(String) - Method in class com.evelopers.unimod.core.ModelElement
Sets stereotype
setSuperstate(State) - Method in class com.evelopers.unimod.core.stateworks.State
Sets superstate
setSupplierRole(String) - Method in class com.evelopers.unimod.core.stateworks.Association
Sets newSupplierRole as a supplier role for this association.
setTarget(ClassElement) - Method in class com.evelopers.unimod.core.stateworks.Association
Sets new target state.
setTargetState(State) - Method in class com.evelopers.unimod.core.stateworks.Transition
Sets new target state.
setTerm(AST) - Method in class com.evelopers.unimod.analysis.ASTTermSimplifier
 
setText(String) - Method in class com.evelopers.unimod.parser.ConstNode
Assigns value of constant.
setThreadConfigManager(ThreadConfigManager) - Method in class com.evelopers.unimod.debug.app.ThreadManager
 
setTop(State) - Method in class com.evelopers.unimod.core.stateworks.StateMachine
Set top state.
simplify(AST) - Method in class com.evelopers.unimod.analysis.BooleanSimplifier
Converts formula to DNF and simplifies it.
sourceState - Variable in class com.evelopers.unimod.core.stateworks.Transition
Source state
start() - Method in class com.evelopers.unimod.debug.app.AppDebugger
 
start() - Method in class com.evelopers.unimod.debug.debugger.Debugger
 
start() - Method in class com.evelopers.unimod.runtime.ModelEngine
For stand alone model inits all event providers, so they starts providing event.
stateMachineCameToFinalState(StateMachineContext, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
Debuggable engine come to final state
stateMachineCameToFinalState(StateMachineContext, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
stateMachineCameToFinalState(StateMachineContext, StateMachinePath, StateMachineConfig) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Root state machine came to final state.
stateMachineCameToFinalState(StateMachineContext, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
stateMachines - Variable in class com.evelopers.unimod.core.stateworks.Model
 
stereotype - Variable in class com.evelopers.unimod.core.ModelElement
 
stop() - Method in class com.evelopers.unimod.debug.app.AppDebugger
 
stop() - Method in class com.evelopers.unimod.debug.debugger.Debugger
 
store(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.debug.ThreadConfigManager
 
store(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in interface com.evelopers.unimod.runtime.StateMachineConfigManager
Stores given config against given path.
store(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.config.DistinguishConfigManager
 
store(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.config.SharedStateConfigManager
 
storeConfig(StateMachinePath, StateMachineContext, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
 
submachines - Variable in class com.evelopers.unimod.core.stateworks.State
Included state machines to be executed on-enter if current state is active.
substates - Variable in class com.evelopers.unimod.core.stateworks.State
Substates.
superstate - Variable in class com.evelopers.unimod.core.stateworks.State
Superstate.
suspendThread() - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
Suspends event dispatch thread of engine that is being debugged, if ThreadManager wants it, until ThreadManager resumes thread.

T

TARGET_REF - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
TARGET_STATE_NULL - Static variable in class com.evelopers.unimod.resources.Messages
 
TERMINATED - Static variable in class com.evelopers.unimod.debug.debugger.Debugger
 
THREAD_CREATED - Static variable in class com.evelopers.unimod.debug.protocol.EventMessage
 
THREAD_INFO - Static variable in interface com.evelopers.unimod.debug.app.Params.Event
 
THREAD_INFO - Static variable in interface com.evelopers.unimod.debug.debugger.Params.Event
 
TOGETHER_CANT_CREATE_PACKAGE - Static variable in class com.evelopers.unimod.resources.Messages
 
TOGETHER_CREATE_DIARGAM - Static variable in class com.evelopers.unimod.resources.Messages
 
TOGETHER_CREATE_PACKAGE - Static variable in class com.evelopers.unimod.resources.Messages
 
TOGETHER_CREATE_STATE - Static variable in class com.evelopers.unimod.resources.Messages
 
TOGETHER_CREATE_TRANSITION - Static variable in class com.evelopers.unimod.resources.Messages
 
TOGETHER_DELIMETER - Static variable in class com.evelopers.unimod.resources.Constants
 
TOGETHER_DIAGRAM_NOT_FOUND - Static variable in class com.evelopers.unimod.resources.Messages
 
TOGETHER_NODE_NOT_FOUND - Static variable in class com.evelopers.unimod.resources.Messages
 
TOGETHER_PLUGIN_NAME - Static variable in class com.evelopers.unimod.resources.Messages
 
TOGETHER_TOP_STATE_NAME - Static variable in class com.evelopers.unimod.resources.Constants
 
TOP_STATE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
TOP_STATE_PROPERTY - Static variable in class com.evelopers.unimod.core.stateworks.StateMachine
 
TRANSFORMER_NOT_FOUND - Static variable in class com.evelopers.unimod.resources.Messages
 
TRANSITION - Static variable in interface com.evelopers.unimod.transform.xml.XML.Path
 
TRANSITION - Static variable in interface com.evelopers.unimod.transform.xml.XML.Tag
 
TRANSITION_NULL - Static variable in class com.evelopers.unimod.resources.Messages
 
TRUE - Static variable in class com.evelopers.unimod.core.stateworks.Guard
True Guard
TRUE_EXPR - Static variable in class com.evelopers.unimod.core.stateworks.Guard
Guard with empty expression will be interpreted as "true".
TYPE - Static variable in interface com.evelopers.unimod.transform.xml.XML.Attribute
 
TermSimplifier - class com.evelopers.unimod.analysis.TermSimplifier.
TermSimplifier represents a term.
TermSimplifier() - Constructor for class com.evelopers.unimod.analysis.TermSimplifier
Default constructor
TermSimplifier(TermSimplifier) - Constructor for class com.evelopers.unimod.analysis.TermSimplifier
Copy constuctor
TermSimplifier.BooleanLiteral - class com.evelopers.unimod.analysis.TermSimplifier.BooleanLiteral.
 
TermSimplifier.BooleanLiteral(boolean) - Constructor for class com.evelopers.unimod.analysis.TermSimplifier.BooleanLiteral
 
TermSimplifier.IntervalLiteral - class com.evelopers.unimod.analysis.TermSimplifier.IntervalLiteral.
 
TermSimplifier.IntervalLiteral() - Constructor for class com.evelopers.unimod.analysis.TermSimplifier.IntervalLiteral
 
ThreadConfigManager - class com.evelopers.unimod.debug.ThreadConfigManager.
Uses ThreadInfo as statemachine config key.
ThreadConfigManager() - Constructor for class com.evelopers.unimod.debug.ThreadConfigManager
 
ThreadInfo - class com.evelopers.unimod.debug.protocol.ThreadInfo.
Thread information - name and identifier
ThreadInfo(String, int) - Constructor for class com.evelopers.unimod.debug.protocol.ThreadInfo
 
ThreadManager - class com.evelopers.unimod.debug.app.ThreadManager.
 
Tool - class com.evelopers.unimod.transform.source.Tool.
 
TransformException - exception com.evelopers.unimod.transform.TransformException.
Thrown by any transformer.
TransformException(String) - Constructor for class com.evelopers.unimod.transform.TransformException
 
TransformException(Throwable) - Constructor for class com.evelopers.unimod.transform.TransformException
 
TransformException(Throwable, String) - Constructor for class com.evelopers.unimod.transform.TransformException
 
Transition - class com.evelopers.unimod.core.stateworks.Transition.
Transition abstraction.
Transition(State, State, Guard, Event) - Constructor for class com.evelopers.unimod.core.stateworks.Transition
Creates transition.
TransitionCandidatePosition - class com.evelopers.unimod.debug.protocol.position.TransitionCandidatePosition.
Before computing giard condition for given transition
TransitionCandidatePosition(StateMachineContext, StateMachinePath, Event, String, String) - Constructor for class com.evelopers.unimod.debug.protocol.position.TransitionCandidatePosition
 
TransitionFoundPosition - class com.evelopers.unimod.debug.protocol.position.TransitionFoundPosition.
Transition to go found
TransitionFoundPosition(StateMachineContext, StateMachinePath, Event, String, String) - Constructor for class com.evelopers.unimod.debug.protocol.position.TransitionFoundPosition
 
TransitionNotFoundPosition - class com.evelopers.unimod.debug.protocol.position.TransitionNotFoundPosition.
Transition to go is not found
TransitionNotFoundPosition(StateMachineContext, StateMachinePath, Event, String) - Constructor for class com.evelopers.unimod.debug.protocol.position.TransitionNotFoundPosition
 
TransitionSelectionPosition - class com.evelopers.unimod.debug.protocol.position.TransitionSelectionPosition.
 
TransitionSelectionPosition(StateMachineContext, StateMachinePath, Event, String) - Constructor for class com.evelopers.unimod.debug.protocol.position.TransitionSelectionPosition
 
TransitionsOfSuperStatePosition - class com.evelopers.unimod.debug.protocol.position.TransitionsOfSuperStatePosition.
Try transitions of super state
TransitionsOfSuperStatePosition(StateMachineContext, StateMachinePath, Event, String) - Constructor for class com.evelopers.unimod.debug.protocol.position.TransitionsOfSuperStatePosition
 
targetState - Variable in class com.evelopers.unimod.core.stateworks.Transition
Target state
toByteArray(Serializable) - Static method in class com.evelopers.unimod.util.DeepCopyHelper
Transform given object into byte array.
toJavaIdent(String) - Method in class com.evelopers.unimod.transform.source.Tool
 
toString() - Method in class com.evelopers.unimod.analysis.Range.Interval
 
toString() - Method in class com.evelopers.unimod.analysis.Range
 
toString() - Method in class com.evelopers.unimod.analysis.TermSimplifier
 
toString() - Method in class com.evelopers.unimod.core.ModelElement
Returns name and stereotype.
toString() - Method in class com.evelopers.unimod.core.stateworks.Action
Returns action's identifier
toString() - Method in class com.evelopers.unimod.core.stateworks.ClassElement
Returns class identifier
toString() - Method in class com.evelopers.unimod.core.stateworks.Event
 
toString() - Method in class com.evelopers.unimod.core.stateworks.Guard
Returns guard condition string representation.
toString() - Method in class com.evelopers.unimod.core.stateworks.StateMachine
 
toString() - Method in class com.evelopers.unimod.core.stateworks.StateType
Returns string representation
toString() - Method in class com.evelopers.unimod.core.stateworks.Transition
Returns transition string representation
toString() - Method in class com.evelopers.unimod.debug.protocol.ThreadInfo
 
toString() - Method in class com.evelopers.unimod.debug.protocol.position.ComeToStatePosition
 
toString() - Method in class com.evelopers.unimod.debug.protocol.position.EventProcessingPosition
 
toString() - Method in class com.evelopers.unimod.debug.protocol.position.InputActionExecutionPosition
 
toString() - Method in class com.evelopers.unimod.debug.protocol.position.OnEnterActionExecutionPosition
 
toString() - Method in class com.evelopers.unimod.debug.protocol.position.OutputActionExecutionPosition
 
toString() - Method in class com.evelopers.unimod.debug.protocol.position.Position
 
toString() - Method in class com.evelopers.unimod.debug.protocol.position.SubmachinesExecutionPosition
 
toString() - Method in class com.evelopers.unimod.debug.protocol.position.TransitionCandidatePosition
 
toString() - Method in class com.evelopers.unimod.runtime.StateMachineConfig
 
toString() - Method in class com.evelopers.unimod.runtime.StateMachinePath
Symmetric to #parse(String) method
topState - Variable in class com.evelopers.unimod.core.stateworks.StateMachine
Top state.
transform(Model) - Method in class com.evelopers.unimod.transform.xml.ModelToXML
 
transform(InputStream) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
transform(InputStream, XMLReader) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
transiteToStableState(StateMachineContext, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessor
Transites from initial state config to stable state.
transiteToStableState(StateMachineContext, StateMachinePath, StateMachineConfig) - Method in class com.evelopers.unimod.runtime.interpretation.InterpretationEventProcessor
 
transitionCandidate(StateMachineContext, StateMachinePath, String, Event, String) - Method in class com.evelopers.unimod.debug.app.EventProcessorEventProvider
 
transitionCandidate(StateMachineContext, StateMachinePath, String, Event, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
transitionCandidate(StateMachineContext, StateMachinePath, String, Event, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Examine transition if it may be selected as transition to go
transitionCandidate(StateMachineContext, StateMachinePath, String, Event, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
transitionFound(StateMachineContext, StateMachinePath, String, Event, String) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
transitionFound(StateMachineContext, StateMachinePath, String, Event, String) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Transition to go was found
transitionFound(StateMachineContext, StateMachinePath, String, Event, String) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
transitionFound(StateMachineContext, StateMachinePath, String, Event, String) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
transitionNotFound(StateMachineContext, StateMachinePath, String, Event) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
transitionNotFound(StateMachineContext, StateMachinePath, String, Event) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Transition to go was not found.
transitionNotFound(StateMachineContext, StateMachinePath, String, Event) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
transitionNotFound(StateMachineContext, StateMachinePath, String, Event) - Method in class com.evelopers.unimod.runtime.logger.SimpleLogger
 
transitionsOfSuperstate(StateMachineContext, StateMachinePath, String, Event) - Method in class com.evelopers.unimod.runtime.AbstractEventProcessorListener
 
transitionsOfSuperstate(StateMachineContext, StateMachinePath, String, Event) - Method in interface com.evelopers.unimod.runtime.EventProcessorListener
Transition to go was not found, try transitions of superstate
translateTransition(String) - Method in class com.evelopers.unimod.runtime.logger.ShortLogger
 
type - Variable in class com.evelopers.unimod.core.stateworks.State
 

U

UIManager - interface com.evelopers.unimod.debug.debugger.UIManager.
 
UNEXPECTED_EXCEPTION - Static variable in class com.evelopers.unimod.resources.Messages
 
UNKNOWN_COMMAND - Static variable in class com.evelopers.unimod.debug.protocol.EventMessage
 
UNKNOWN_COMMAND_INFO - Static variable in interface com.evelopers.unimod.debug.debugger.Params.Event
 
UNKNOWN_STATE - Static variable in class com.evelopers.unimod.resources.Messages
 
UndefinedActionException - exception com.evelopers.unimod.parser.UndefinedActionException.
Thrown by ExprParser when expression references to action that is not an operation of controlled object.
UndefinedActionException(ControlledObjectHandler, String, int) - Constructor for class com.evelopers.unimod.parser.UndefinedActionException
 
UndefinedControlledObjectHandlerException - exception com.evelopers.unimod.parser.UndefinedControlledObjectHandlerException.
Thrown by ExprParser when expression references to object that isn't controlled by state machine.
UndefinedControlledObjectHandlerException(String, int) - Constructor for class com.evelopers.unimod.parser.UndefinedControlledObjectHandlerException
 
unattainableState(StateMachine, State) - Method in interface com.evelopers.unimod.validation.StructureListener
CallBack.
unattainableState(StateMachine, State) - Method in class com.evelopers.unimod.validation.ValidationMessenger
 
unresolvedAction(StateMachine, ModelElement, Action, ControlledObjectHandler, String) - Method in interface com.evelopers.unimod.compilation.CompilationListener
Given controlled object handler has no action with name that was used in given action
unresolvedAction(StateMachine, ModelElement, Action, ControlledObjectHandler, String) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
unresolvedClassElement(StateMachine, ModelElement, Action, String) - Method in interface com.evelopers.unimod.compilation.CompilationListener
Action identifier has unresolved link to class element
unresolvedClassElement(StateMachine, ModelElement, Action, String) - Method in class com.evelopers.unimod.compilation.DefaultCompilationListener
 
unresolvedMachines - Variable in class com.evelopers.unimod.transform.xml.XMLToModel
 

V

ValidationMessenger - class com.evelopers.unimod.validation.ValidationMessenger.
Implements all validation listeners and messages about validation events to PrintStream.
ValidationMessenger() - Constructor for class com.evelopers.unimod.validation.ValidationMessenger
 
ValidationMessenger(PrintStream) - Constructor for class com.evelopers.unimod.validation.ValidationMessenger
 
ValidationTool - class com.evelopers.unimod.validation.ValidationTool.
Validates StateMachine described by xml and dumps all errors.
ValidationTool(InputStream) - Constructor for class com.evelopers.unimod.validation.ValidationTool
Creates ValidationTool for validating StateMachine whose xml description is found in inputXML.
VisitorException - exception com.evelopers.unimod.core.VisitorException.
Visitor methods may throw this exception to the original caller of accept method.
VisitorException(Throwable) - Constructor for class com.evelopers.unimod.core.VisitorException
 
VisitorException(String) - Constructor for class com.evelopers.unimod.core.VisitorException
 
VisitorException(Throwable, String) - Constructor for class com.evelopers.unimod.core.VisitorException
 
validate() - Method in class com.evelopers.unimod.validation.ValidationTool
Validate StateMachine.
validateCompleteness(StateMachine) - Method in class com.evelopers.unimod.validation.CompletenessValidator
Checks completenes of transitions for set that is {state} joined with its descendants minus composite states.
validateCompleteness(StateMachine, State) - Method in class com.evelopers.unimod.validation.CompletenessValidator
Check completeness for single state.
validateCompleteness() - Method in class com.evelopers.unimod.validation.StateMachineValidator
Validate completeness of top-state.
validateCompleteness(State) - Method in class com.evelopers.unimod.validation.StateMachineValidator
Validates completeness of state and its lief-descedants os state.
validateConsistency(StateMachine) - Method in class com.evelopers.unimod.validation.ConsistencyValidator
Checks if every state has consistent pairs of transitions, i.e. any combination of input actions and event will meet guard condition only on the one transition.
validateConsistency(StateMachine, State) - Method in class com.evelopers.unimod.validation.ConsistencyValidator
 
validateConsistency() - Method in class com.evelopers.unimod.validation.StateMachineValidator
Validates consistency of top-state.
validateConsistency(State) - Method in class com.evelopers.unimod.validation.StateMachineValidator
Validates consistency of state its descendants and ancestors.
validateStructure() - Method in class com.evelopers.unimod.validation.StateMachineValidator
Validates structure.
validateStructure(StateMachine) - Method in class com.evelopers.unimod.validation.StructureValidator
Checks if every attainable composite state of sm has initial state.
variablesIterator() - Method in class com.evelopers.unimod.analysis.TermSimplifier
 
visit(ModelElement) - Method in interface com.evelopers.unimod.core.ModelVisitor
Called by ModelElement.accept(com.evelopers.unimod.core.ModelVisitor) method.
visit(ModelElement) - Method in class com.evelopers.unimod.validation.CompletenessCheckVisitor
 
visit(ModelElement) - Method in class com.evelopers.unimod.validation.ConsistencyCheckVisitor
Checks consistency of e and its descendants.
visit(State) - Method in class com.evelopers.unimod.validation.StructureVisitor
Visits states and builds set of attainable states.
visitIncludedStateMachines(State) - Method in class com.evelopers.unimod.validation.StructureVisitor
 

W

warn(Object) - Method in class com.evelopers.unimod.log.Logger.Console
 
warn(Object) - Method in class com.evelopers.unimod.log.Logger.Empty
 
warn(Object) - Method in interface com.evelopers.unimod.log.Logger
Logs warning message
warning(SAXParseException) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
write(Model, OutputStream) - Static method in class com.evelopers.unimod.transform.xml.ModelToXML
Transforms given StateMachine to Document and serializes it to given OutputStream.
writeEventMessage(EventMessage, OutputStream) - Method in class com.evelopers.unimod.debug.protocol.JavaSpecificMessageCoder
 

X

XML - interface com.evelopers.unimod.transform.xml.XML.
XML tags and attribnute names
XML.Attribute - interface com.evelopers.unimod.transform.xml.XML.Attribute.
 
XML.Path - interface com.evelopers.unimod.transform.xml.XML.Path.
 
XML.Tag - interface com.evelopers.unimod.transform.xml.XML.Tag.
 
XMLHelper - class com.evelopers.unimod.transform.xml.XMLHelper.
XML Helper.
XMLHelper() - Constructor for class com.evelopers.unimod.transform.xml.XMLHelper
 
XMLToModel - class com.evelopers.unimod.transform.xml.XMLToModel.
 
XMLToModel() - Constructor for class com.evelopers.unimod.transform.xml.XMLToModel
 
x1(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.BreakpointManager
 
x2(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.BreakpointManager
 

Z

z0(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.AppConnector
 
z1(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.AppConnector
 
z1(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.BreakpointManager
 
z1(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.ThreadManager
 
z1(StateMachineContext) - Method in interface com.evelopers.unimod.debug.debugger.BreakpointManager
Must put into event context array of Position with name Params.Event.BREAKPOINTS
z1(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
z1(StateMachineContext) - Method in interface com.evelopers.unimod.debug.debugger.UIManager
event context has parameter THREAD_INFO - ident of thread that was suspended
z1(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.console.BreakpointManagerImpl
 
z1(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 
z2(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.AppConnector
 
z2(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.BreakpointManager
 
z2(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.ThreadManager
 
z2(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
z2(StateMachineContext) - Method in interface com.evelopers.unimod.debug.debugger.UIManager
event context has parameter THREAD_INFO - ident of thread that was suspended
z2(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 
z3(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.AppConnector
 
z3(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.BreakpointManager
 
z3(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.ThreadManager
 
z3(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
z3(StateMachineContext) - Method in interface com.evelopers.unimod.debug.debugger.UIManager
event context has parameter THREAD_INFO - ident of thread that was resumed
z3(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 
z4(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.AppConnector
 
z4(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.ThreadManager
 
z4(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.DebuggerConnector
 
z4(StateMachineContext) - Method in interface com.evelopers.unimod.debug.debugger.UIManager
 
z4(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 
z5(StateMachineContext) - Method in class com.evelopers.unimod.debug.app.AppConnector
 
z5(StateMachineContext) - Method in interface com.evelopers.unimod.debug.debugger.UIManager
 
z5(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 
z6(StateMachineContext) - Method in interface com.evelopers.unimod.debug.debugger.UIManager
 
z6(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 
z7(StateMachineContext) - Method in interface com.evelopers.unimod.debug.debugger.UIManager
 
z7(StateMachineContext) - Method in class com.evelopers.unimod.debug.debugger.console.ConsoleManager
 

_

_execute(Action, StateMachineContext) - Method in class com.evelopers.unimod.runtime.interpretation.ActionExecutor
This executes given action.
_transform(InputStream) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 
_transform(InputStream, XMLReader) - Method in class com.evelopers.unimod.transform.xml.XMLToModel
 

A B C D E F G H I J L M N O P Q R S T U V W X Z _