transaction-refresh-states.dot (474B)
1 digraph G { 2 3 initial[label="", shape="circle", xlabel="refresh"]; 4 pending[label="refresh"]; 5 //aborting[label="refresh", style=dashed]; 6 //aborted[style=dashed]; 7 done[label="done", shape="box"]; 8 9 subgraph { 10 rank=same; 11 pending; 12 // aborting; 13 } 14 15 subgraph { 16 rank=same; 17 done; 18 //aborted; 19 } 20 21 initial->pending; 22 23 //pending -> aborting [color=blue, style=dashed, label="abort"]; 24 //aborting->aborted; 25 26 pending->done [color=green]; 27 }