summaryrefslogtreecommitdiff
path: root/reserve.dot
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-07-12 13:46:45 +0200
committerChristian Grothoff <christian@grothoff.org>2020-07-12 13:46:45 +0200
commit7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9 (patch)
treee12ba30fa688a1fe323c4f6dcd646363393e986d /reserve.dot
parent39106e3bcd6e4c59cacf719f677a374f7dcc7953 (diff)
downloaddocs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.tar.gz
docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.tar.bz2
docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.zip
more state machines
Diffstat (limited to 'reserve.dot')
-rw-r--r--reserve.dot12
1 files changed, 12 insertions, 0 deletions
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;
+}