taler-docs

commit 39b3196bfe3fc4e7dddf0c2e46a80fd355db8071
parent 2118923b9ef6b932d1a58a113a7c4ea48355c66c
Author: Florian Dold <florian@dold.me>
Date:   Tue, 25 Apr 2023 22:26:16 +0200

update graphs

Diffstat:
M
transaction-payment-states.dot
 | 
62
+++++++++++++++++++++++++++++++++-----------------------------
M
transaction-refund-states.dot
 | 
30
+++++++++++++++++++++++-------

2 files changed, 56 insertions(+), 36 deletions(-)
diff --git a/transaction-payment-states.dot b/transaction-payment-states.dot
@@ -1,46 +1,50 @@
 digraph G {
-
   initial[label="", shape="circle", xlabel="pay merchant"];
-  pending_pr[label="pending(proposed)", shape="box"];
-  pending_dp[label="pending(claim-proposal)"];
-  pending_sp[label="pending(submit-payment)"];
-  pending_ar[label="pending(auto-refund)"];
-  pending_re[label="pending\n(repurchase-session-reset)"];
-  pending_cr[label="pending(check-refunds)"];
-  pending_user_new_refunds[label="pending(user-new-refunds)"];
-  aborting_pi[label="aborting(payment-incomplete)"];
-  aborted_pi[label="aborted(payment-incomplete)", shape="box"];
-  aborted_refused[label="aborted(refused)", shape="box"];
-  failed_pi[label="failed(payment-incomplete)", shape="box"]
-  failed_ac[label="failed(already-claimed)", shape="box"];
-  failed_ip[label="failed(invalid-proposal)", shape="box"];
+  pending_dp[label="claim-proposal"];
+  pending_sp[label="submit-payment"];
+  pending_ar[label="auto-refund"];
+  pending_re[label="rebind-session"];
+  pending_cr[label="check-refunds"];
+  pending_create_accepted_refunds[label="create-accepted-refunds"];
+  aborting_pi[label="payment-incomplete", style=dashed];
+  aborted[label="aborted", shape="box", style=dashed];
+  monolog_proposal[label="monolog(proposal)", shape="box"];
+  monolog_refund[label="monolog(refund)", shape="box"];
   done[label="done", shape="box"];
+  
+  subgraph {
+    rank=same;
+    done; aborted; pending_re;
+  }
+  
+  subgraph {
+    pending_ar; pending_sp;
+  }
 
   initial -> pending_dp;
   
-  pending_dp -> failed_ip;
-  pending_dp -> failed_ac;
-  pending_dp -> pending_pr;
+  pending_dp -> monolog_proposal [color=green];
+  
+  monolog_proposal -> pending_sp [color=blue];
   
-  pending_pr -> aborted_refused;
-  pending_pr -> pending_sp;
+  pending_sp -> pending_ar [color=green];
+  pending_sp -> aborting_pi [color=blue,style=dashed];
   
-  pending_sp -> pending_ar;
-  pending_sp -> aborting_pi;
+  aborting_pi->done [color=red];
+  aborting_pi->aborted [color=green];
   
-  aborting_pi->done;
-  aborting_pi->aborted_pi;
-  aborting_pi->failed_pi;
+  pending_ar -> done [color=green, label="time over"];
   
-  pending_ar -> done;
+  pending_ar -> pending_create_accepted_refunds;
   
   done -> pending_cr;
   done -> pending_re;
   
-  pending_cr -> done;
-  pending_cr -> pending_user_new_refunds;
+  pending_cr -> done [color=green];
+  pending_cr -> monolog_refund;
 
-  pending_user_new_refunds -> done;
+  monolog_refund -> pending_create_accepted_refunds;
+  pending_create_accepted_refunds -> done [color=green];
   
-  pending_re -> done;
+  pending_re -> done [color=green];
 }
diff --git a/transaction-refund-states.dot b/transaction-refund-states.dot
@@ -1,15 +1,31 @@
 digraph G {
 
   initial[label="", shape="circle", xlabel="refund"];
-  pending_merchant[label="pending(merchant)"];
-  pending_re[label="pending(refresh)"];
+  pending_merchant[label="merchant"];
+  pending_refresh[label="refresh"];
+  aborting_merchant[label="merchant", style=dashed];
+  aborting_refresh[label="refresh",style=dashed];
+  aborted[label="aborted", style=dashed, shape=box];
   done[label="done", shape="box"];
-  failed[label="failed", shape="box"];
+
+  subgraph {
+    rank=same; aborted; done;
+  }
+  
+  subgraph {
+    rank=same; pending_merchant; aborting_merchant;
+  }
+  
+  subgraph {
+    rank=same; pending_refresh; aborting_refresh;
+  }
 
   initial->pending_merchant;
 
-  pending_merchant->pending_re;
-  pending_merchant->failed;
-  
-  pending_re->done;
+  pending_merchant->pending_refresh [color=green];
+  pending_merchant -> aborting_merchant [color=blue, style=dashed];
+  aborting_merchant -> aborted [color=green];
+  pending_refresh -> aborting_refresh [color=blue];
+  aborting_refresh -> aborted [color=green];
+  pending_refresh -> done;
 }