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 }