Package cz.cuni.amis.fsm

Interface Summary

IFSM<SYMBOL,CONTEXT>	Interface for the FSM.
IFSMState<SYMBOL,CONTEXT>
IFSMTransition<SYMBOL,CONTEXT>	Interface for the fsm transition.

Class Summary

FSM<SYMBOL,CONTEXT>	Context aware FSM implementation.
FSM.StateWrapper<SYMBOL,CONTEXT>
FSM.TransitionWrapper<SYMBOL,CONTEXT>
FSMDotPrinter	Printer creating a Graphviz .dot file from the instantiated FSM.
FSMNested<SYMBOL,CONTEXT>	Wraps the IFSM implementation as the IFSMState thus allowing you to create hierarchical fsm.
FSMOriginalState	Marks that the transition leads back to the state from where it originates.

Exception Summary

FSMBuildException

Exception that is thrown whenever an error occurs during FSM instantiation.

Annotation Types Summary

FSMInitialState	Simple annotation that tells the FSM that this state is initial.
FSMState	Annotation marking the class as FSM state containing map() attribute that specifies transitions leading from this state.
FSMTerminalState	Simple annotation that tells the FSM that this state is terminal one.
FSMTransition	This annotation is used inside the map() of the FSMState transition to specify the FSM transition from a certain state.