blob: a4625d8916a33277a145b12c2ea7fc7fc651f8e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
digraph G {
initial[label="", shape="circle"];
pending_query[label="query"];
//aborting_query[label="query", style=dashed];
//aborted_query[label="aborted", style=dashed, shape=box];
monolog_user[label="monolog(user)"];
pending_pickup[label="pickup"];
//aborting_pickup[label="pickup", style=dashed];
//aborted_pickup[label="aborted", style=dashed, shape=box];
done[label="done", shape="box"];
// subgraph {
// rank=same;
// pending_query; monolog_user;
// }
// subgraph {
// rank=same;
// done;
// //aborted_pickup; aborted_query;
// }
initial -> pending_query;
monolog_user -> pending_pickup [color=blue, label="OK"];
pending_query -> monolog_user [color=green];
//pending_query -> aborting_query;
//aborting_query -> aborted_query;
pending_pickup -> done [color=green];
//pending_pickup -> aborting_pickup;
//aborting_pickup -> aborted_pickup;
}
|