Dataspace and Gatekeeper protocol update #1
|
@ -5,7 +5,7 @@ set -euo pipefail
|
|||
. $(dirname "$0")/../lib/syndicate.sh
|
||||
|
||||
demo_ds_resolved() {
|
||||
local oid="$(ds_project "$ds_event" '^ assert . 0 .embedded . 1')"
|
||||
local oid="$(ds_project "$ds_event" '^ assert . 0 ^ accepted . 0 .embedded . 1')"
|
||||
if [ -n "$oid" ]
|
||||
then
|
||||
ds_ref="#![1 $oid]"
|
||||
|
@ -31,14 +31,16 @@ demo_ds_resolved() {
|
|||
esac
|
||||
}
|
||||
ds_object presence demo_presence
|
||||
ds_assert "$ds_ref" "<Observe <compound <rec Present 1> {0: <bind <_>>}> $presence>"
|
||||
ds_assert "$ds_ref" "<Observe <rec Present [<bind <_>>]> $presence>"
|
||||
ds_assert "$ds_ref" "<Present \"$username\">"
|
||||
|
||||
demo_utterance() {
|
||||
ds_project "$ds_event" '^ message . 0'
|
||||
local who="$(ds_project "$ds_event" '^ message . 0 . 0')"
|
||||
local what="$(ds_project "$ds_event" '^ message . 0 . 1')"
|
||||
echo "$who: $what"
|
||||
}
|
||||
ds_object utterance demo_utterance
|
||||
ds_assert "$ds_ref" "<Observe <compound <rec Says 2> {0: <bind <_>> 1: <bind <_>>}> $utterance>"
|
||||
ds_assert "$ds_ref" "<Observe <rec Says [<bind <_>> <bind <_>>]> $utterance>"
|
||||
|
||||
ds_flush
|
||||
ds_mainloop </dev/null &
|
||||
|
@ -56,4 +58,4 @@ demo_ds_resolved() {
|
|||
ds_object bootk demo_ds_resolved
|
||||
ds_connect \
|
||||
'<unix "./sock">' \
|
||||
'ds_assert "#![1 0]" "<resolve <ref \"syndicate\" [] #x\"69ca300c1dbfa08fba692102dd82311a\"> $bootk>"'
|
||||
'ds_assert "#![1 0]" "<resolve <ref {oid: \"syndicate\" sig: #x\"69ca300c1dbfa08fba692102dd82311a\"}> $bootk>"'
|
||||
|
|
Loading…
Reference in New Issue