Neels Hofmeyr | 3b5de1b | 2018-06-16 16:08:55 +0200 | [diff] [blame] | 1 | digraph G { |
| 2 | rankdir=TB |
| 3 | labelloc=t; label="LEGEND FOR FSM GRAPHS" |
| 4 | |
| 5 | box [label="function_call()\nputs FSM into state",shape="box"] |
| 6 | STATE [label="FSM_STATE"] |
| 7 | STATE2 [label="FSM_STATE"] |
| 8 | STATE3 [label="FSM_STATE"] |
| 9 | box -> STATE |
| 10 | STATE -> STATE2 [label="state transition"] |
| 11 | STATE2 -> STATE3 |
| 12 | |
| 13 | STATE -> STATE3 [label="transition\non error",style=dashed] |
| 14 | |
| 15 | other [label="other FSM\ninstance\nor remote program",shape=box3d] |
| 16 | STATE2 -> other [label="event",style=dotted] |
| 17 | other -> STATE2 [label="event",style=dotted] |
| 18 | |
| 19 | terminate [shape=octagon] |
| 20 | STATE3 -> terminate |
| 21 | |
| 22 | err [label="common error\ntransition",shape=box,style=dashed] |
| 23 | err -> STATE3 [style=dashed] |
| 24 | } |