| digraph G { |
| rankdir=TB |
| labelloc=t; label="LEGEND FOR FSM GRAPHS" |
| |
| box [label="function_call()\nputs FSM into state",shape="box"] |
| STATE [label="FSM_STATE"] |
| STATE2 [label="FSM_STATE"] |
| STATE3 [label="FSM_STATE"] |
| box -> STATE |
| STATE -> STATE2 [label="state transition"] |
| STATE2 -> STATE3 |
| |
| STATE -> STATE3 [label="transition\non error",style=dashed] |
| |
| other [label="other FSM\ninstance\nor remote program",shape=box3d] |
| STATE2 -> other [label="event",style=dotted] |
| other -> STATE2 [label="event",style=dotted] |
| |
| terminate [shape=octagon] |
| STATE3 -> terminate |
| |
| err [label="common error\ntransition",shape=box,style=dashed] |
| err -> STATE3 [style=dashed] |
| } |