11 lines
377 B
Plaintext
11 lines
377 B
Plaintext
digraph finite_state_machine {
|
|
rankdir=TB;
|
|
size="8,5"
|
|
node [shape = doublecircle]; DISCONNECTED CONNECTED;
|
|
node [shape = circle];
|
|
DISCONNECTED -> INITIALIZED [ label = "receiveMsgConnect" ];
|
|
INITIALIZED -> DROPPED [ label = "dropExitingConnection" ];
|
|
INITIALIZED -> CONNECTED [ label = "createClientSession" ];
|
|
DROPPED -> CONNECTED [ label = "createClientSession" ];
|
|
}
|