transaction-tip-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
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];
  dialog_user[label="dialog(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; dialog_user;
  // }
  
  // subgraph {
  //   rank=same;
  //   done;
  //   //aborted_pickup; aborted_query;
  // }

  initial -> pending_query;
  
  
  dialog_user -> pending_pickup [color=blue, label="OK"];

  pending_query -> dialog_user [color=green];
  //pending_query -> aborting_query;
  //aborting_query -> aborted_query;

  pending_pickup -> done [color=green];
  //pending_pickup -> aborting_pickup;
  //aborting_pickup -> aborted_pickup;
}