org.echarts
Class DynamicMachine

java.lang.Object
  org.echarts.Machine
      org.echarts.StateMachine
          org.echarts.DynamicMachine

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

FeatureBoxTerminationHandlerFSM.TERMINATE, ParallelLocationFSM.PLACE_CALLS.PARALLEL, TransparentFSM.TRANSPARENT

public abstract class DynamicMachine
extends StateMachine

See Also:

Serialized Form

Field Summary

Fields inherited from class org.echarts.Machine

ANY_CONFIG, BASIC_CONFIG, DEEP_HISTORY_CONFIG, DEFAULT_INITIAL_CONFIG, NEW_CONFIG, serialVersionUID, TERMINAL_CONFIG, VARIABLE_CONFIG

Constructor Summary

DynamicMachine(State[] state, int bound, java.lang.String machineName, Machine parentMachine, int machineIndex, MachineCode machineCode)

Method Summary

Machine[]	getSubmachines() Return a reference to this machine's array of submachines.
java.lang.String	globalStateString() Returns formatted image of machine's global state.
java.lang.String	globalStateString(StateConfiguration targetConfig, TransitionMachine firedMachine) Returns formated image of machine's global state that has changed as a result of firing transition with specified relative target state configuration.
java.lang.String	localStateString() Returns formatted image of machine's local state.
java.lang.String	localStateString(StateConfiguration targetConfig, TransitionMachine firedMachine) Returns formated image of machine's local state that has changed as a result of firing transition with specified relative target state configuration.
void	putEvent(MachineMonitorEvent event) Overrides method in Machine class.
void	setSubmachines(Machine[] submachines) Sets value of this machine's array of submachines.
java.lang.String	statePathString() Returns this machine's state path string.

Methods inherited from class org.echarts.StateMachine

setMachineDebugging, setMachineMonitor, setMachineMonitoring

Methods inherited from class org.echarts.Machine

clearSubmachineReference, getDefaultMachineDebugging, getDefaultMachineDebuggingGlobalStateOutput, getDefaultMachineMonitor, getDefaultMachineMonitorFilter, getDefaultMachineMonitoring, getMachineDebugging, getMachineDebuggingGlobalStateOutput, getMachineID, getMachineIndex, getMachineMonitor, getMachineMonitoring, getParentMachine, getRootMachine, getSystemDebugging, getSystemMonitoring, setDebugging, setDefaultMachineDebugging, setDefaultMachineDebuggingGlobalStateOutput, setDefaultMachineMonitor, setDefaultMachineMonitorFilter, setDefaultMachineMonitoring, setMachineDebuggingGlobalStateOutput, setSystemDebugging, setSystemMonitoring, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DynamicMachine

public DynamicMachine(State[] state,
                      int bound,
                      java.lang.String machineName,
                      Machine parentMachine,
                      int machineIndex,
                      MachineCode machineCode)
               throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

putEvent

public final void putEvent(MachineMonitorEvent event)
                    throws java.lang.Exception

Overrides method in Machine class.

Overrides:

putEvent in class Machine

Throws:

java.lang.Exception

getSubmachines

public final Machine[] getSubmachines()

Return a reference to this machine's array of submachines.

setSubmachines

public final void setSubmachines(Machine[] submachines)

Sets value of this machine's array of submachines.

statePathString

public java.lang.String statePathString()

Returns this machine's state path string. Overrides method in parent.

Overrides:

statePathString in class Machine

globalStateString

public final java.lang.String globalStateString(StateConfiguration targetConfig,
                                                TransitionMachine firedMachine)
                                         throws java.lang.Exception

Returns formated image of machine's global state that has changed as a result of firing transition with specified relative target state configuration. We assume target configuration is satisfied by current machine state.

Specified by:

globalStateString in class Machine

Throws:

java.lang.Exception

localStateString

public final java.lang.String localStateString(StateConfiguration targetConfig,
                                               TransitionMachine firedMachine)
                                        throws java.lang.Exception

Returns formated image of machine's local state that has changed as a result of firing transition with specified relative target state configuration. We assume target configuration is satisfied by current machine state.

Specified by:

localStateString in class Machine

Throws:

java.lang.Exception

globalStateString

public final java.lang.String globalStateString()

Returns formatted image of machine's global state.

Specified by:

globalStateString in class Machine

localStateString

public final java.lang.String localStateString()

Returns formatted image of machine's local state.

Specified by:

localStateString in class Machine