12 lines
456 B
Plaintext
12 lines
456 B
Plaintext
digraph finite_state_machine {
|
|
rankdir=TB;
|
|
size="8,5"
|
|
node [shape = doublecircle]; CONNECTED DISCONNECTED;
|
|
node [shape = circle];
|
|
CONNECTED -> DISCONNECTED [ label = "abortConnection" ];
|
|
CONNECTED -> CLEANED_MESSAGES [ label = "cleanStorage" ];
|
|
CLEANED_MESSAGES -> DISCONNECTED [ label = "abortConnection" ];
|
|
CLEANED_MESSAGES -> LISTENERS_NOTIFIED [ label = "notifyListerners" ];
|
|
LISTENERS_NOTIFIED -> DISCONNECTED [ label = "dropConnection" ];
|
|
}
|