[taler-docs] branch master updated (39106e3 -> 319b517)

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a change to branch master
in repository docs.

    from 39106e3  coin state machine fox
     new 7291d52  more state machines
     new 319b517  update manual

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 Makefile              | 10 ++++++++--
 coin.dot              |  7 ++++++-
 deposit.dot           | 31 +++++++++++++++++++++++++++++++
 developers-manual.rst |  1 +
 reserve.dot           | 14 ++++++++++++++
 5 files changed, 60 insertions(+), 3 deletions(-)
 create mode 100644 deposit.dot
 create mode 100644 reserve.dot

diff --git a/Makefile b/Makefile
index 358aef5..5b6a8dd 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/coin.dot b/coin.dot
index 7f21202..3112a1b 100644
--- a/coin.dot
+++ b/coin.dot
@@ -6,7 +6,8 @@ digraph Coin {
   partial [color=blue, label="dirty coin", shape="box"];
   revoked [color=blue, label="revoked coin", shape="box"];
   zombie [color=blue, label="zombie coin", shape="box"];
-  spent [color=blue, label="spent coin", shape="doublecircle"];
+  spent [color=blue, label="spent coin", shape="box"];
+  wired [color=blue, label="wired coin", shape="doublecircle"];
   expired [color=blue, label="expired coin", shape="doublecircle"];
 
   subgraph {
@@ -34,6 +35,10 @@ digraph Coin {
   reveal->fresh;
   melt->partial;
   melt->spent;
+  spent->refund;
+  refund->partial;
+  spent->wired [style=dotted];
+  partial->expired [style=dotted];
   partial->melt;
   partial->deposit [color=red];
   fresh->expired [style=dotted];
diff --git a/deposit.dot b/deposit.dot
new file mode 100644
index 0000000..49bbf6d
--- /dev/null
+++ b/deposit.dot
@@ -0,0 +1,31 @@
+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"];
+
+  subgraph {
+    rank = same; due; tiny;
+  }
+  
+  pay->deposited;
+  deposited->ready [style=dotted];
+  deposited->refund;
+  refund->deposited;
+  refund->ready;
+  refund->done;
+  ready->due [style=dotted];
+  ready->refund;
+  aggregate->tiny;
+  due->aggregate;
+  ready->aggregate;
+  tiny->aggregate;
+  aggregate->done;
+  aggregate->wtid;
+  wtid->transfer;
+  transfer->finished;
+}
diff --git a/developers-manual.rst b/developers-manual.rst
index 2f1fbfd..c17239e 100644
--- a/developers-manual.rst
+++ b/developers-manual.rst
@@ -33,6 +33,7 @@ Developer's Manual
 
 .. contents:: Table of Contents
 
+
 Fundamentals
 ============
 
diff --git a/reserve.dot b/reserve.dot
new file mode 100644
index 0000000..af6e3e8
--- /dev/null
+++ b/reserve.dot
@@ -0,0 +1,14 @@
+digraph Reserve {
+
+  filled [color=blue, label="filled reserve", shape="box"];
+  drained [color=blue, label="drained reserve", shape="doublecircle"];
+
+  transfer->filled;
+  recoup->filled;
+  filled->withdraw;
+  withdraw->drained;
+  withdraw->filled;
+  filled->close;
+  close->drained;
+  drained->recoup;
+}

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.