ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-15 01:52:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

graph-store: added debugging tool to %validate-graph

Browse Source
This commit is contained in:
Logan Allen 2020-11-12 14:00:59 -06:00 committed by Logan Allen
parent 9c9e1160ad
commit cb990242e8
1 changed files with 34 additions and 59 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

93
pkg/arvo/app/graph-store.hoon
View File

@ -17,6 +17,7 @@
:: ::
++ orm orm:store ++ orm orm:store
++ orm-log orm-log:store ++ orm-log orm-log:store
+$ debug-input [%validate-graph =resource:store]
-- --
:: ::
=| state-2 =| state-2
@ -65,7 +66,8 @@
:: ::
update-logs.old update-logs.old
%- ~(run by update-logs.old) %- ~(run by update-logs.old)
convert-unix-timestamped-log |= =update-log:store
*update-log:store
== ==
:: ::
%1 %1
@ -134,11 +136,12 @@
^- [^^atom node:store] ^- [^^atom node:store]
:: existing container for publish note revisions :: existing container for publish note revisions
:: ::
?> ?=(%graph -.children.node)
?+ atom !! ?+ atom !!
%1 [atom node] %1 [atom node]
%2 %2
:+ atom post.node :+ atom post.node
?: ?=(%empty -.children.node)
[%empty ~]
:- %graph :- %graph
%+ gas:orm *graph:store %+ gas:orm *graph:store
%+ turn (tap:orm p.children.node) %+ turn (tap:orm p.children.node)
@ -152,43 +155,6 @@
post.node(index (snoc index.post.node atom), hash ~) post.node(index (snoc index.post.node atom), hash ~)
== ==
-- --
::
++ convert-unix-timestamped-log
|= =update-log:store
^- update-log:store
%+ gas:orm-log *update-log:store
%+ turn
(tap:orm-log update-log)
|= [=time =logged-update:store]
:- time
|^ ^- logged-update:store
:+ %0 p.logged-update
?+ -.q.logged-update q.logged-update
%add-nodes (add-nodes +.q.logged-update)
%remove-nodes (remove-nodes +.q.logged-update)
==
::
++ add-nodes
|= [rid=res nodes=(map index:store node:store)]
^- logged-update-0:store
:+ %add-nodes rid
%- ~(gas by *(map index:store node:store))
%+ turn
~(tap by nodes)
|= [=index:store =node:store]
^- [index:store node:store]
:- (convert-unix-timestamped-index index)
(convert-unix-timestamped-node node)
::
++ remove-nodes
|= [rid=res indices=(set index:store)]
^- logged-update-0:store
:+ %remove-nodes rid
%- ~(gas in *(set index:store))
%+ turn
~(tap in indices)
convert-unix-timestamped-index
--
:: ::
++ maybe-unix-to-da ++ maybe-unix-to-da
|= =atom |= =atom
@ -253,6 +219,7 @@
=^ cards state =^ cards state
?+ mark (on-poke:def mark vase) ?+ mark (on-poke:def mark vase)
%graph-update (graph-update !<(update:store vase)) %graph-update (graph-update !<(update:store vase))
%noun (debug !<(debug-input vase))
== ==
[cards this] [cards this]
:: ::
@ -607,31 +574,39 @@
== ==
$(cards (weld cards crds), updates t.updates) $(cards (weld cards crds), updates t.updates)
:: ::
++ validate-graph
|= [=graph:store mark=(unit mark:store)]
^- ?
?~ mark %.y
?~ graph %.y
=/ =dais:clay
.^ =dais:clay
%cb
/(scot %p our.bowl)/[q.byk.bowl]/(scot %da now.bowl)/[u.mark]
==
%+ roll (tap:orm graph)
|= [[=atom =node:store] out=?]
?& out
=(%& -:(mule |.((vale:dais [atom post.node]))))
?- -.children.node
%empty %.y
%graph ^$(graph p.children.node)
==
==
::
++ give ++ give
|= [paths=(list path) update=update-0:store] |= [paths=(list path) update=update-0:store]
^- (list card) ^- (list card)
[%give %fact paths [%graph-update !>([%0 now.bowl update])]]~ [%give %fact paths [%graph-update !>([%0 now.bowl update])]]~
-- --
::
++ debug
|= =debug-input
^- (quip card _state)
=/ [=graph:store mark=(unit mark:store)]
(~(got by graphs) resource.debug-input)
?> (validate-graph graph mark)
[~ state]
::
++ validate-graph
|= [=graph:store mark=(unit mark:store)]
^- ?
?~ mark %.y
?~ graph %.y
=/ =dais:clay
.^ =dais:clay
%cb
/(scot %p our.bowl)/[q.byk.bowl]/(scot %da now.bowl)/[u.mark]
==
%+ roll (tap:orm graph)
|= [[=atom =node:store] out=?]
?& out
=(%& -:(mule |.((vale:dais [atom post.node]))))
?- -.children.node
%empty %.y
%graph ^$(graph p.children.node)
==
==
-- --
:: ::
++ on-peek ++ on-peek