diff options
Diffstat (limited to 'doc/images/timer_fsm.gv')
-rw-r--r-- | doc/images/timer_fsm.gv | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/doc/images/timer_fsm.gv b/doc/images/timer_fsm.gv index 1798d31f2..eb1df8ae9 100644 --- a/doc/images/timer_fsm.gv +++ b/doc/images/timer_fsm.gv @@ -1,20 +1,14 @@ digraph timer_state_machine { rankdir=LR; - size="12,20"; node [fontsize=28]; edge [fontsize=28]; node [shape=doublecircle]; Timer_Unalloc; - node [shape=circle]; Timer_Alloc Timer_Set Timer_Expired + node [shape=circle]; Timer_Alloc Timer_Active Timer_Expired Timer_Unalloc -> Timer_Alloc [label="odp_timer_alloc()"]; Timer_Alloc -> Timer_Unalloc [label="odp_timer_free()"]; - Timer_Alloc -> Timer_Set [fontcolor=green,label="odp_timer_set_abs()"]; - Timer_Alloc -> Timer_Set [fontcolor=green,label="odp_timer_set_rel()"]; - Timer_Set -> Timer_Alloc [fontcolor=green,label="odp_timer_cancel()"]; - Timer_Set -> Timer_Expired [fontcolor=green,label="timer expires"]; + Timer_Alloc -> Timer_Active [fontcolor=green,label="odp_timer_start()"]; + Timer_Active -> Timer_Alloc [fontcolor=green,label="odp_timer_cancel()"]; + Timer_Active -> Timer_Expired [fontcolor=green,label="timer expires"]; Timer_Expired -> Timer_Unalloc [label="odp_timer_free()"]; - Timer_Expired -> Timer_Set [fontcolor=green, - label="odp_timer_set_abs()"]; - Timer_Expired -> Timer_Set [fontcolor=green, - label="odp_timer_set_rel()"]; - + Timer_Expired -> Timer_Active [fontcolor=green, label="odp_timer_start()"]; } |