From aba4af5f1f2fbbb1bb9f46c8ba3f16f9ac2491ff Mon Sep 17 00:00:00 2001 From: Alex Date: Wed, 18 Dec 2024 19:07:57 +0100 Subject: [PATCH] set helpers --- index.bs | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/index.bs b/index.bs index 90f22eb3..c3433396 100644 --- a/index.bs +++ b/index.bs @@ -393,6 +393,17 @@ To resume given |name|, |id| and |parameters|: +
+To create a [=/set=], from a [=/list=] |input|: + +1. Let |result| be an empty [=/set=]. + +1. For each [=list/item=] |item| in |input|, [=set/append=] |item| to |result|. + +1. Return |result|. + +
+ # Protocol # {#protocol} This section defines the basic concepts of the WebDriver BiDi @@ -1897,13 +1908,13 @@ Issue: This needs to be generalized to work with realms too.
The [=remote end steps=] with |session| and |command parameters| are: -1. Let the |event names| be a [=/set=] containing |command parameters|["events"]. +1. Let the |event names| be [=set/create=] given |command parameters|["events"]. 1. Let |subscription navigables| be a [=/set=]. 1. Let |top-level traversable context ids| be a [=/set=]. -1. Let |input context ids| be a [=/set=] of |command parameters|[contexts]. +1. Let |input context ids| be [=set/create=] given |command parameters|[contexts]. 1. If |input context ids| is not empty: