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 }