Warning, /rolisteam/rolisteam/design/02_ClientManagerStateMachine.dot is written in an unsupported language. File is not indexed.
0001 digraph client { 0002 0003 0004 node [shape=box]; connecting, connected, authentified, disconnected, error; 0005 0006 0007 disconnected -> connecting [label="connecting()"] 0008 connecting -> connected [label="connected()"] 0009 connected -> authentified [label="authentificationSuccessed()"] 0010 authentified -> disconnected [label="disconnected()"] 0011 connected -> disconnected [label="disconnected()"] 0012 disconnected -> connecting [label="connecting()"] 0013 disconnected -> connecting [label="connecting()"] 0014 0015 0016 0017 0018 0019 }