open.source/magic-wormhole
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update code.dot

Browse Source
This commit is contained in:
Brian Warner 2017-02-19 11:26:11 -08:00
parent 50050dc140
commit c050d06753
2 changed files with 56 additions and 39 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

71
docs/code.dot
View File

@ -1,41 +1,48 @@
digraph { digraph {
WCM_start [label="Wormhole Code\nMachine" style="dotted"] start [label="Wormhole Code\nMachine" style="dotted"]
WCM_start -> WCM_S_unknown [style="invis"] {rank=same; start S0}
WCM_S_unknown [label="unknown"] {rank=same; P_list_nameplates P_allocate}
WCM_S_unknown -> WCM_P_set_code [label="set"] {rank=same; S1 S2}
WCM_P_set_code [shape="box" label="WM_set_code()"] {rank=same; S3 P_allocate_generate}
WCM_P_set_code -> WCM_S_known start -> S0 [style="invis"]
WCM_S_known [label="known" color="green"] 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"] S0 -> P_list_nameplates [label="input"]
WCM_S_typing_nameplate [label="typing\nnameplate"] S2 [label="S2: typing\nnameplate"]
WCM_S_typing_nameplate -> WCM_P_nameplate_completion [label="<tab>"] S2 -> P_nameplate_completion [label="<tab>"]
WCM_P_nameplate_completion [shape="box" label="completion?"] P_nameplate_completion [shape="box" label="do completion"]
WCM_P_nameplate_completion -> WCM_P_list_nameplates P_nameplate_completion -> P_list_nameplates
WCM_P_list_nameplates [shape="box" label="NLM_update_nameplates()"] P_list_nameplates [shape="box" label="NL.refresh_nameplates"]
WCM_P_list_nameplates -> WCM_S_typing_nameplate P_list_nameplates -> S2
WCM_S_typing_nameplate -> WCM_P_got_nameplates [label="C_rx_nameplates()"] S2 -> P_got_nameplates [label="got_nameplates"]
WCM_P_got_nameplates [shape="box" label="stash nameplates\nfor completion"] P_got_nameplates [shape="box" label="stash nameplates\nfor completion"]
WCM_P_got_nameplates -> WCM_S_typing_nameplate P_got_nameplates -> S2
WCM_S_typing_nameplate -> WCM_P_finish_nameplate [label="finished\nnameplate"] S2 -> P_finish_nameplate [label="<return>"
WCM_P_finish_nameplate [shape="box" label="lookup wordlist\nfor completion"] color="orange"
WCM_P_finish_nameplate -> WCM_S_typing_code fontcolor="orange"]
WCM_S_typing_code [label="typing\ncode"] P_finish_nameplate [shape="box" label="lookup wordlist\nfor completion"]
WCM_S_typing_code -> WCM_P_code_completion [label="<tab>"] P_finish_nameplate -> S3
WCM_P_code_completion [shape="box" label="completion"] S3 [label="S3: typing\ncode"]
WCM_P_code_completion -> WCM_S_typing_code S3 -> P_code_completion [label="<tab>"]
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="<return>"
color="orange" fontcolor="orange"]
WCM_S_unknown -> WCM_P_allocate [label="allocate"] S0 -> P_allocate [label="allocate"]
WCM_P_allocate [shape="box" label="C_allocate_nameplate()"] P_allocate [shape="box" label="C.tx_allocate"]
WCM_P_allocate -> WCM_S_allocate_waiting P_allocate -> S1
WCM_S_allocate_waiting [label="waiting"] S1 [label="S1:\nallocating"]
WCM_S_allocate_waiting -> WCM_P_allocate_generate [label="WCM_rx_allocation()"] S1 -> P_allocate_generate [label="rx_allocated"]
WCM_P_allocate_generate [shape="box" label="generate\nrandom code"] P_allocate_generate [shape="box" label="generate\nrandom code"]
WCM_P_allocate_generate -> WCM_P_set_code P_allocate_generate -> P_set_code
} }

24
docs/machines.dot
View File

@ -6,9 +6,11 @@ digraph {
Connection [label="Rendezvous\nConnector" Connection [label="Rendezvous\nConnector"
shape="oval" color="blue" fontcolor="blue"] shape="oval" color="blue" fontcolor="blue"]
websocket [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" Nameplates [shape="box" label="Nameplate\nLister"
color="blue" fontcolor="blue" color="blue" fontcolor="blue"
] ]
{rank=same; Nameplates Code}
Connection -> websocket [color="blue"] Connection -> websocket [color="blue"]
@ -32,13 +34,6 @@ digraph {
Connection -> Mailbox [style="dashed" Connection -> Mailbox [style="dashed"
label="connected\nlost\nrx_claimed\nrx_message\nrx_released\nrx_closed\nstopped"] 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" Connection -> Nameplates [style="dashed"
label="connected\nlost\nrx_nameplates" label="connected\nlost\nrx_nameplates"
] ]
@ -46,6 +41,21 @@ digraph {
label="tx_list" 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"
]
} }