diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-04-09 12:02:18 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-04-09 12:02:18 +0200 |
| commit | e47b50f56474b296764d45fbf6d96896c4de2d85 (patch) | |
| tree | d39e488e36a62afa83ab77b26444a0687b88e8c5 /transaction-refresh-states.dot | |
| parent | c4c360fcf75c58af02e8671e7c4198c565a8f3ee (diff) | |
| download | docs-e47b50f56474b296764d45fbf6d96896c4de2d85.tar.gz docs-e47b50f56474b296764d45fbf6d96896c4de2d85.tar.bz2 docs-e47b50f56474b296764d45fbf6d96896c4de2d85.zip | |
spec refresh
Diffstat (limited to 'transaction-refresh-states.dot')
| -rw-r--r-- | transaction-refresh-states.dot | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/transaction-refresh-states.dot b/transaction-refresh-states.dot new file mode 100644 index 00000000..1296e4ba --- /dev/null +++ b/transaction-refresh-states.dot @@ -0,0 +1,19 @@ +digraph G { + + initial[label="", shape="circle"]; + pending[label="pending"]; + suspended[label="suspended", shape="box"]; + done[label="done", shape="box"]; + deleted[label="deleted", shape="box"]; + + initial->pending [color="blue", label="trigger"]; + + pending->done; + pending->suspended [color="blue", label="suspend"]; + + suspended->pending [color="blue", label="resume"]; + suspended->deleted [color="blue", label="delete"]; + + done->deleted [color="blue", label="delete"]; + +} |