taler-docs

commit 7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9
parent 39106e3bcd6e4c59cacf719f677a374f7dcc7953
Author: Christian Grothoff <christian@grothoff.org>
Date:   Sun, 12 Jul 2020 13:46:45 +0200

more state machines

Diffstat:
M
Makefile
 | 
10
++++++++--
A
deposit.dot
 | 
27
+++++++++++++++++++++++++++
A
reserve.dot
 | 
12
++++++++++++

3 files changed, 47 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -53,8 +53,14 @@ clean:
 
 arch-api.png: arch-api.dot
 	dot -Tpng arch-api.dot > arch-api.png
-
-diagrams: arch-api.png
+coin.png: coin.dot
+	dot -Tpng coin.dot > coin.png
+deposit.png: deposit.dot
+	dot -Tpng deposit.dot > deposit.png
+reserve.png: reserve.dot
+	dot -Tpng reserve.dot > reserve.png
+
+diagrams: arch-api.png coin.png
 
 
 # The html-linked builder does not support caching, so we
diff --git a/deposit.dot b/deposit.dot
@@ -0,0 +1,27 @@
+digraph Deposit {
+
+  deposited [color=blue, label="deposit created", shape="box"];
+  ready [color=blue, label="deposit ready", shape="box"];
+  due [color=blue, label="deposit due", shape="box"];
+  tiny [color=blue, label="deposit tiny", shape="box"];
+  done [color=blue, label="deposit done", shape="doublecircle"];
+  wtid [color=blue, label="pending transfer", shape="box"];
+  finished [color=blue, label="finished transfer", shape="doublecircle"];
+
+  pay->deposited;
+  deposited->ready [style=dotted];
+  deposited->refund;
+  refund->deposited;
+  refund->ready;
+  refund->done;
+  ready->due [style=dotted];
+  ready->refund;
+  ready->tiny [style=dotted];
+  due->aggregate;
+  ready->aggregate;
+  tiny->aggregate;
+  aggregate->done;
+  aggregate->wtid;
+  wtid->transfer;
+  transfer->finished;
+}
diff --git a/reserve.dot b/reserve.dot
@@ -0,0 +1,12 @@
+digraph Reserve {
+
+  filled [color=blue, label="filled reserve", shape="box"];
+  drained [color=blue, label="drained reserve", shape="doublecircle"];
+
+  transfer->filled;
+  filled->withdraw;
+  withdraw->drained;
+  withdraw->filled;
+  filled->close;
+  close->drained;
+}