taler-docs

commit 2118923b9ef6b932d1a58a113a7c4ea48355c66c
parent ddc3ad6d20b4c48e177b696405a8eafcde86d5a7
Author: Christian Grothoff <christian@grothoff.org>
Date:   Tue, 25 Apr 2023 17:23:18 +0200

revision v3

Diffstat:
M
transaction-common-states.dot
 | 
41
+++++++++++++++++++++++++++++++----------
M
transaction-withdrawal-states.dot
 | 
85
++++++++++++++++++++++++++++++-------------------------------------------------

2 files changed, 63 insertions(+), 63 deletions(-)
diff --git a/transaction-common-states.dot b/transaction-common-states.dot
@@ -2,33 +2,54 @@ digraph G {
 
   initial[label="", shape="circle"];
   pending[label="pending"];
+  monolog[label="monolog", shape="box"];
+  dialog[label="dialog", shape="box"];
   done[label="done", shape="box"];
-  aborted[label="aborted", shape="box"];
-  aborting[label="aborting"];
+  aborted[label="aborted", shape="box", style="dashed"];
+  aborting[label="aborting", style="dashed"];
+  expired[label="expired", shape="box"];
   failed[label="failed", shape="box"];
   suspended[label="suspended", shape="box"];
+  suspended_aborting[label="suspended-aborting", shape="box", style="dashed"];
   deleted[label="deleted", shape="box"];
 
   subgraph {
-    rank = same; pending;suspended;
+    rank = same; done; failed; expired; aborted;
+  }
+  subgraph {
+    rank = same; pending; aborting;
   }
-
   subgraph {
-    rank = same; done; aborted; failed;
+    rank = same; dialog; monolog; suspended; suspended_aborting;
   }
 
   initial->pending;
   pending->suspended [color="blue",label="suspend"];
-  suspended->pending [color="blue",label="resume"];
-  suspended->deleted [color="blue",label="force-delete"];
+  pending->expired [label="expire"];
+  pending->monolog [color="green",label="success"];
+  pending->dialog [color="green",label="success"];
+  pending->pending [color="green",label="progress"];
   pending->done [color="green",label="success"];
   pending->failed [color="red",label="failure"];
-  pending->aborting [color="blue",label="abort"];
-  pending->aborted [color="blue",label="abort"];
-  pending->deleted [color="blue",label="cancel"];
+  pending->aborting [color="blue",label="abort", style="dashed"];
+  monolog->pending [color="blue",label="OK"];
+  monolog->deleted [color="blue", label="delete"];
+  monolog->expired [label="expire"];
+  dialog->pending [color="blue",label="OK"];
+  dialog->aborting [color="blue", label="refuse", style="dashed"];
+  dialog->expired [label="expire"];
+  suspended->pending [color="blue",label="resume"];
+  suspended->aborting [color="blue",label="abort", style="dashed"];
+  suspended->expired [label="expire"];
+  aborting->aborting [color="green",label="progress"];
   aborting->aborted [color="green",label="success"];
+  aborting->suspended_aborting [color="blue",label="suspend"];
   aborting->failed [color="red",label="failure"];
+  aborting->failed [color="blue",label="cancel"];
+  suspended_aborting->aborting [color="blue",label="resume"];
+  suspended_aborting->failed [color="blue",label="cancel"];
   failed->deleted [color="blue",label="delete"];
+  expired->deleted [color="blue",label="delete"];
   aborted->deleted [color="blue",label="delete"];
   done->deleted [color="blue",label="delete"];
 }
diff --git a/transaction-withdrawal-states.dot b/transaction-withdrawal-states.dot
@@ -1,66 +1,45 @@
 digraph G {
   initial_manual[label="", xlabel="manual" shape="circle"];
   initial_bank[label="", xlabel="bank-integrated" shape="circle"];
-  pending_brr[label="pending(bank-register-reserve)"];
-  pending_bc[label="pending(bank-confirming)"];
-  pending_ewr[label="pending(exchange-wait-reserve)"];
-  pending_wc[label="pending(withdrawing-coins)"];
-  pending_kyc[label="pending(kyc)"];
-  pending_aml[label="pending(aml)"];
+  pending_brr[label="bank-register-reserve"];
+  pending_bc[label="bank-confirming"];
+  pending_ewr[label="exchange-wait-reserve"];
+  pending_wc[label="withdrawing-coins"];
+  pending_kyc[label="kyc"];
+  pending_aml[label="aml"];
   done[label="done", shape="box"];
-  aborting_bank[label="aborting(bank)"];
-  aborted_bank[label="aborted(bank)", shape="box"];
-  failed_expired[label="failed(reserve-expired)", shape="box"];
-  failed_bank[label="failed(bank)", shape="box"];
-  //deleted[label="deleted", shape="box"];
+  aborting_bank[label="bank", style="dashed"];
+  aborted_bank[label="aborted", shape="box", style="dashed"];
   suspended_ewr[label="suspended(exchange-wait-reserve)", shape="box"];
-  // Boring suspended states
-  // suspended_aml[label="suspended(aml)", shape="box"];
-  // suspended_kyc[label="suspended(kyc)", shape="box"];
-  // suspended_wc[label="suspended(withdrawing-coins)", shape="box"];
-  
-  initial_bank->pending_brr;
-  initial_manual->pending_ewr;
-  pending_brr->pending_bc;
-  pending_brr->aborting_bank;
-  pending_brr->failed_bank;
 
-  pending_bc->pending_ewr;
-  //pending_bc->pending_wc [xlabel="exchange-poll:\nreserve ready",style="dotted"];
-  pending_bc->aborting_bank;
-  pending_bc->aborted_bank;
-  pending_bc->failed_bank;
+  subgraph {
+    rank = same; initial_bank; initial_manual;
+  }
 
-  pending_ewr->pending_wc;
-  pending_wc->pending_kyc;
-  pending_wc->pending_aml;
-  pending_kyc->pending_wc;
-  pending_aml->pending_wc;
-  
-  pending_wc->failed_expired;
-
-  aborting_bank->suspended_ewr;
-  aborting_bank->aborted_bank;
+  subgraph {
+    rank = same; pending_aml; pending_kyc; pending_ewr;
+  }
 
-  // Interesting suspended states
-  pending_ewr->suspended_ewr [dir=both];
+  subgraph {
+    rank = same; done; aborted_bank;
+  }
 
-  // Boring suspended states
-  // pending_kyc->suspended_kyc [color="blue", label="suspend"];
-  // pending_aml->suspended_aml [color="blue", label="suspend"];
-  // suspended_aml->pending_aml [color="blue", label="resume"];
-  // suspended_kyc->pending_kyc [color="blue", label="resume"];
-  // pending_wc->suspended_wc [color="blue", label="suspend"];
-  // suspended_wc->pending_wc [color="blue", label="resume"];
+  initial_bank->pending_brr;
+  initial_manual->pending_ewr;
+  pending_brr->pending_bc [color="green"];
+  pending_brr->aborting_bank [style="dashed", color="blue", label="abort"];
+  pending_bc->pending_ewr[color="green"];
+  pending_bc->aborting_bank [color="blue", label="abort", style="dashed"];
+  pending_ewr->pending_wc[color="green"];
+  pending_wc->pending_kyc[color="red"];
+  pending_wc->pending_aml[color="red"];
+  pending_kyc->pending_wc[color="green"];
+  pending_aml->pending_wc[color="green"];
 
-  // suspended_ewr->deleted [color="blue", label="delete"];
-  // aborting_bank->deleted;
-  // failed->deleted;
-  // aborted->deleted;
-  // done->deleted [color="blue", label="delete"];
-  // suspended_aml->deleted [color="blue", label="delete"];
-  // suspended_kyc->deleted [color="blue", label="delete"];
-  // suspended_wc->deleted [color="blue", label="delete"];
+  aborting_bank->suspended_ewr [color="red"];
+  aborting_bank->aborted_bank;
+  pending_ewr->suspended_ewr [color="blue", label="suspend"];
+  suspended_ewr->pending_ewr [color="blue", label="resume"];
 
   pending_wc->done;
 }