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