From 7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 12 Jul 2020 13:46:45 +0200
Subject: more state machines

---
 Makefile    | 10 ++++++++--
 deposit.dot | 27 +++++++++++++++++++++++++++
 reserve.dot | 12 ++++++++++++
 3 files changed, 47 insertions(+), 2 deletions(-)
 create mode 100644 deposit.dot
 create mode 100644 reserve.dot

diff --git a/Makefile b/Makefile
index 358aef58..5b6a8ddd 100644
--- 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
new file mode 100644
index 00000000..aa275abe
--- /dev/null
+++ 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
new file mode 100644
index 00000000..e98abe69
--- /dev/null
+++ 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;
+}
-- 
cgit v1.2.3