com.evelopers.unimod.runtime
Interface ModelStructure

All Known Implementing Classes:

InterpretationModelStructure

public interface ModelStructure

Provides information about automata model.

Method Summary

StateMachineConfigManager	getConfigManager(java.lang.String stateMachine) Returns config manager for state machine with given name.
StateMachinePath	getRootPath() Returns path to the root state machine.
StateMachineConfig	getTopConfig(java.lang.String stateMachine) Initial config factory method.
boolean	isFinal(java.lang.String stateMachine, StateMachineConfig config) Determines whether active state defined by the given config is final for state machine with the given name

Method Detail

getRootPath

public StateMachinePath getRootPath()
                             throws EventProcessorException

Returns path to the root state machine.

Returns:

path to the root state machine

Throws:

EventProcessorException

getConfigManager

public StateMachineConfigManager getConfigManager(java.lang.String stateMachine)
                                           throws EventProcessorException

Returns config manager for state machine with given name.

Parameters:

stateMachine - state machine String representation gotten with a help of CoreContract.encode(StateMachine)

Returns:

config manager for state machine

Throws:

EventProcessorException

getTopConfig

public StateMachineConfig getTopConfig(java.lang.String stateMachine)
                                throws EventProcessorException

Initial config factory method.

Parameters:

stateMachine - state machine String representation gotten with a help of CoreContract.encode(StateMachine)

Returns:

config with active initial state of state machine

Throws:

EventProcessorException

isFinal

public boolean isFinal(java.lang.String stateMachine,
                       StateMachineConfig config)
                throws EventProcessorException

Determines whether active state defined by the given config is final for state machine with the given name

Parameters:

stateMachine - state machine String representation gotten with a help of CoreContract.encode(StateMachine)

config - state machine config to test

Returns:

true iff given config is final for the given state machine

Throws:

EventProcessorException