org.echarts
Class BasicMachine

java.lang.Object
  org.echarts.Machine
      org.echarts.BasicMachine

All Implemented Interfaces:

java.io.Serializable

public final class BasicMachine
extends Machine

See Also:

Serialized Form

Field Summary

static BasicMachine

BASIC_MACHINE

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

BasicMachine()

Method Summary

protected void	clearSubmachineReference(int index) Invoked by destroySubmachine() to clear variable in user machine that references the submachine with the specified index e.g.
java.lang.String	globalStateString() Returns formatted image of machine's global state.
java.lang.String	globalStateString(StateConfiguration config, 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 config, 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.

Methods inherited from class org.echarts.Machine

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

Methods inherited from class java.lang.Object

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

Field Detail

BASIC_MACHINE

public static BasicMachine BASIC_MACHINE

Constructor Detail

BasicMachine

public BasicMachine()
             throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

clearSubmachineReference

protected final void clearSubmachineReference(int index)

Description copied from class: Machine

Invoked by destroySubmachine() to clear variable in user machine that references the submachine with the specified index e.g. if an or-machine declares a submachine for initial state S1, then the variable 'S1' that refers to the submachine instance will be set to null. This method is generated by the machine translator for each user machine.

Specified by:

clearSubmachineReference in class Machine

globalStateString

public final java.lang.String globalStateString(StateConfiguration config,
                                                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

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(StateConfiguration config,
                                               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

localStateString

public final java.lang.String localStateString()

Returns formatted image of machine's local state.

Specified by:

localStateString in class Machine