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
|
digraph G {
initial[label="", shape="circle"];
pending[label="pending"];
done[label="done", shape="box"];
aborted[label="aborted", shape="box"];
aborting[label="aborting"];
failed[label="failed", shape="box"];
suspended[label="suspended", shape="box"];
deleted[label="deleted", shape="box"];
subgraph {
rank = same; pending;suspended;
}
subgraph {
rank = same; done; aborted; failed;
}
initial->pending;
pending->suspended [color="blue",label="suspend"];
suspended->pending [color="blue",label="resume"];
suspended->deleted [color="blue",label="force-delete"];
pending->done [color="green",label="success"];
pending->failed [color="red",label="failure"];
pending->aborting [color="blue",label="abort"];
pending->aborted [color="blue",label="abort"];
pending->deleted [color="blue",label="cancel"];
aborting->aborted [color="green",label="success"];
aborting->failed [color="red",label="failure"];
failed->deleted [color="blue",label="delete"];
aborted->deleted [color="blue",label="delete"];
done->deleted [color="blue",label="delete"];
}
|