Warning, /rolisteam/rolisteam/design/01_ServerManagerStateMachine.dot is written in an unsupported language. File is not indexed.

0001 digraph server {
0002 
0003  node [shape=box]; incomingConnection, controlConnection, waitingAuthData, authentificationServer, wantToGoToChannel, inplace, waitingAdminAuth, disconnected, stayInPlace;
0004 
0005 
0006   
0007  incomingConnection -> controlConnection [label="hasCheck()"];
0008  controlConnection -> waitingAuthData [label="connectionChecked()"];
0009  waitingAuthData -> authentificationServer [label="authDataReceived()"];
0010  controlConnection -> disconnected [label="forbidden()"];
0011  waitingAuthData -> disconnected  [label="Rien()"];
0012  controlConnection -> inplace  [label="authSuccess()"];
0013  authentification -> disconnected [label="authFail()"];
0014  authentification -> wantToGoToChannel [label="authSuccess()"];
0015  wantToGoToChannel -> inplace  [label="hasNoRestriction()"];
0016  wantToGoToChannel -> waitingAuthChannel [label="hasRestriction()"];
0017  waitingAuthChannel -> stayInPlace [label="channelAuthFail()"];
0018  waitingAuthChannel -> inplace [label="channelAuthSuccess()"];
0019  inplace -> wantToGoToChannel  [label="moveChannel()"];
0020 
0021 }