From c050d067532b62f2eb69bca01cca9abf56e35581 Mon Sep 17 00:00:00 2001 From: Brian Warner Date: Sun, 19 Feb 2017 11:26:11 -0800 Subject: [PATCH] update code.dot --- docs/code.dot | 71 ++++++++++++++++++++++++++--------------------- docs/machines.dot | 24 +++++++++++----- 2 files changed, 56 insertions(+), 39 deletions(-) diff --git a/docs/code.dot b/docs/code.dot index 991036f..429aa74 100644 --- a/docs/code.dot +++ b/docs/code.dot @@ -1,41 +1,48 @@ digraph { - WCM_start [label="Wormhole Code\nMachine" style="dotted"] - WCM_start -> WCM_S_unknown [style="invis"] - WCM_S_unknown [label="unknown"] - WCM_S_unknown -> WCM_P_set_code [label="set"] - WCM_P_set_code [shape="box" label="WM_set_code()"] - WCM_P_set_code -> WCM_S_known - WCM_S_known [label="known" color="green"] + start [label="Wormhole Code\nMachine" style="dotted"] + {rank=same; start S0} + {rank=same; P_list_nameplates P_allocate} + {rank=same; S1 S2} + {rank=same; S3 P_allocate_generate} + start -> S0 [style="invis"] + S0 [label="S0:\nunknown"] + S0 -> P_set_code [label="set"] + P_set_code [shape="box" label="W.set_code"] + P_set_code -> S_known + S_known [label="known" color="green"] - WCM_S_unknown -> WCM_P_list_nameplates [label="input"] - WCM_S_typing_nameplate [label="typing\nnameplate"] + S0 -> P_list_nameplates [label="input"] + S2 [label="S2: typing\nnameplate"] - WCM_S_typing_nameplate -> WCM_P_nameplate_completion [label=""] - WCM_P_nameplate_completion [shape="box" label="completion?"] - WCM_P_nameplate_completion -> WCM_P_list_nameplates - WCM_P_list_nameplates [shape="box" label="NLM_update_nameplates()"] - WCM_P_list_nameplates -> WCM_S_typing_nameplate + S2 -> P_nameplate_completion [label=""] + P_nameplate_completion [shape="box" label="do completion"] + P_nameplate_completion -> P_list_nameplates + P_list_nameplates [shape="box" label="NL.refresh_nameplates"] + P_list_nameplates -> S2 - WCM_S_typing_nameplate -> WCM_P_got_nameplates [label="C_rx_nameplates()"] - WCM_P_got_nameplates [shape="box" label="stash nameplates\nfor completion"] - WCM_P_got_nameplates -> WCM_S_typing_nameplate - WCM_S_typing_nameplate -> WCM_P_finish_nameplate [label="finished\nnameplate"] - WCM_P_finish_nameplate [shape="box" label="lookup wordlist\nfor completion"] - WCM_P_finish_nameplate -> WCM_S_typing_code - WCM_S_typing_code [label="typing\ncode"] - WCM_S_typing_code -> WCM_P_code_completion [label=""] - WCM_P_code_completion [shape="box" label="completion"] - WCM_P_code_completion -> WCM_S_typing_code + S2 -> P_got_nameplates [label="got_nameplates"] + P_got_nameplates [shape="box" label="stash nameplates\nfor completion"] + P_got_nameplates -> S2 + S2 -> P_finish_nameplate [label="" + color="orange" + fontcolor="orange"] + P_finish_nameplate [shape="box" label="lookup wordlist\nfor completion"] + P_finish_nameplate -> S3 + S3 [label="S3: typing\ncode"] + S3 -> P_code_completion [label=""] + P_code_completion [shape="box" label="do completion"] + P_code_completion -> S3 - WCM_S_typing_code -> WCM_P_set_code [label="finished\ncode"] + S3 -> P_set_code [label="" + color="orange" fontcolor="orange"] - WCM_S_unknown -> WCM_P_allocate [label="allocate"] - WCM_P_allocate [shape="box" label="C_allocate_nameplate()"] - WCM_P_allocate -> WCM_S_allocate_waiting - WCM_S_allocate_waiting [label="waiting"] - WCM_S_allocate_waiting -> WCM_P_allocate_generate [label="WCM_rx_allocation()"] - WCM_P_allocate_generate [shape="box" label="generate\nrandom code"] - WCM_P_allocate_generate -> WCM_P_set_code + S0 -> P_allocate [label="allocate"] + P_allocate [shape="box" label="C.tx_allocate"] + P_allocate -> S1 + S1 [label="S1:\nallocating"] + S1 -> P_allocate_generate [label="rx_allocated"] + P_allocate_generate [shape="box" label="generate\nrandom code"] + P_allocate_generate -> P_set_code } diff --git a/docs/machines.dot b/docs/machines.dot index d0eff5e..89dc10e 100644 --- a/docs/machines.dot +++ b/docs/machines.dot @@ -6,9 +6,11 @@ digraph { Connection [label="Rendezvous\nConnector" shape="oval" color="blue" fontcolor="blue"] websocket [shape="oval" color="blue" fontcolor="blue"] + Code [shape="box" label="Code" color="blue" fontcolor="blue"] Nameplates [shape="box" label="Nameplate\nLister" color="blue" fontcolor="blue" ] + {rank=same; Nameplates Code} Connection -> websocket [color="blue"] @@ -32,13 +34,6 @@ digraph { Connection -> Mailbox [style="dashed" label="connected\nlost\nrx_claimed\nrx_message\nrx_released\nrx_closed\nstopped"] - Wormhole -> Nameplates [style="dashed" - label="refresh_nameplates" - ] - Wormhole -> Nameplates [color="blue"] - Nameplates -> Wormhole [style="dashed" - label="got_nameplates" - ] Connection -> Nameplates [style="dashed" label="connected\nlost\nrx_nameplates" ] @@ -46,6 +41,21 @@ digraph { label="tx_list" ] + Wormhole -> Code [color="blue"] + Code -> Connection [style="dashed" + label="tx_allocate" + ] + Connection -> Code [style="dashed" + label="rx_allocated"] + Nameplates -> Code [style="dashed" + label="got_nameplates" + ] + Code -> Nameplates [color="blue"] + Code -> Nameplates [style="dashed" + label="refresh_nameplates" + ] + + }