images/transaction-refresh-states.dot


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

digraph G {

  initial[label="", shape="circle", xlabel="refresh"];
  pending[label="refresh"];
  //aborting[label="refresh", style=dashed];
  //aborted[style=dashed];
  done[label="done", shape="box"];

  subgraph {
    rank=same;
    pending;
    // aborting;
  }
  
  subgraph {
    rank=same;
    done;
    //aborted;
  }

  initial->pending;
  
  //pending -> aborting [color=blue, style=dashed, label="abort"];
  //aborting->aborted;

  pending->done [color=green];
}