transaction-push-debit-states.dot (860B)
1 digraph G { 2 3 initial[label="", shape="circle", xlabel="peer-push-debit"]; 4 pending_create[label="purse-create"]; 5 pending_qr[label="ready"]; 6 aborting_delete[label="delete-purse", style=dashed]; 7 aborting_refresh[label="refresh", style=dashed]; 8 done[label="done", shape="box"]; 9 aborted[label="aborted", shape="box"]; 10 11 subgraph { 12 rank = same; done; aborted; 13 } 14 15 subgraph { 16 rank=same; pending_qr;aborting_delete; aborting_refresh; 17 } 18 19 initial->pending_create; 20 21 pending_create->pending_qr [color=green]; 22 23 pending_qr->aborting_delete [color="blue", style=dashed]; 24 pending_qr->aborting_refresh [xlabel="timeout"]; 25 pending_qr->done [color=green]; 26 27 aborting_delete->aborting_refresh; 28 aborting_delete->done [color="red", label="already\nmerged"]; 29 aborting_delete->aborting_refresh [color="red"]; 30 31 aborting_refresh->aborted; 32 }