From 22c53fa06ae90cd5914b5b4cdc7e85e12e9b2904 Mon Sep 17 00:00:00 2001 From: Thiago Perrotta Date: Thu, 9 Nov 2023 16:34:09 +0100 Subject: [PATCH] fix
nesting --- index.html | 318 ++++++++++++++++++++++++++--------------------------- 1 file changed, 159 insertions(+), 159 deletions(-) diff --git a/index.html b/index.html index 89021fb..b85b1a7 100644 --- a/index.html +++ b/index.html @@ -1299,182 +1299,182 @@

- -
-

- Automated testing with [[WebDriver-BiDi]] -

-

- This document defines the following [=extension modules=] for the [[WebDriver-BiDi]] specification. -

-
-

- The permissions Module -

+
+

+ Automated testing with [[WebDriver-BiDi]] +

- The permissions module contains commands for - managing the remote end browser permissions. + This document defines the following [=extension modules=] for the [[WebDriver-BiDi]] specification.

-
- Definition -
+

+ The permissions Module +

- [=remote end definition=] + The permissions module contains commands for + managing the remote end browser permissions.

- 
-            PermissionsCommand = (
-              permissions.setPermission
-            )
-
-
-
-
- Types -
-
- The permissions.PermissionDescriptor Type -
- 
-              permissions.PermissionDescriptor = {
-                type: "permissionDescriptor",
-                name: text,
-              }
-
+
+ Definition +

- The permissions.PermissionDescriptor type represents a {{PermissionDescriptor}}. + [=remote end definition=]

+ 
+              PermissionsCommand = (
+                permissions.setPermission
+              )
+
-
- The permissions.PermissionState Type -
- 
-              permissions.PermissionState = "granted" / "denied" / "prompt"
-
-

- The permissions.PermissionState type represents a {{PermissionState}}. -

+
+ Types +
+
+
+ The permissions.PermissionDescriptor Type +
+ 
+                permissions.PermissionDescriptor = {
+                  type: "permissionDescriptor",
+                  name: text,
+                }
+
+

+ The permissions.PermissionDescriptor type represents a {{PermissionDescriptor}}. +

+
+
+
+ The permissions.PermissionState Type +
+ 
+                permissions.PermissionState = "granted" / "denied" / "prompt"
+
+

+ The permissions.PermissionState type represents a {{PermissionState}}. +

+
-
-
-
- Commands -
-
- The permissions.setPermission Command -
-

- The Set Permission - [=extension module=] simulates user modification of a {{PermissionDescriptor}}'s - [=permission state=]. -

-
-
Command Type
-
- 
-                  permissions.setPermission = (
-                    method: "permissions.setPermission",
-                    params: permissions.SetPermissionParameters
-                  )
+            

+              Commands
+            

+            

+              

+                The permissions.setPermission Command
+              

+              

+                The Set Permission
+                [=extension module=] simulates user modification of a {{PermissionDescriptor}}'s
+                [=permission state=].
+              

+              

+                
Command Type

+                

+                  
+                    permissions.setPermission = (
+                      method: "permissions.setPermission",
+                      params: permissions.SetPermissionParameters
+                    )
 
-                  permissions.SetPermissionParameters = {
-                    descriptor: permissions.PermissionDescriptor,
-                    state: permissions.PermissionState,
-                    ? context: browsingContext.BrowsingContext,
-                    ? origin: text,
-                  }
-                

-              

-              
Result Type

-              

-                
-                  EmptyResult
-                

-              

-           

-           

-             

-               The [=remote end steps=] with |session| and |command parameters| are:
-             

-             
    
-              
  1. 
-                Let |descriptor| be the value of the descriptor field of
- |command parameters|.
-              
    2. 
-              
  2. 
-                Let |state| be the value of the state field of |command
- parameters|.
-              
    3. 
-              
  3. 
-                Let |context id| be the value of the context field of
- |command parameters|.
-              
    4. 
-              
  4. 
-                If |context id| is not present, let |context| be the [=top-level browsing context=]
- of |session|. Otherwise, let |context| be the result of [=trying=] to
- [=get a browsing context=] with |context id|.
-              
    5. 
-              
  5. 
-                Let |permission name| be the value of the name field of
- |descriptor| representing {{PermissionDescriptor/name}}.
-              
    6. 
-              
  6. 
-                
-                [=Convert to an IDL value=] (|descriptor|, |state|) of type {{PermissionSetParameters}}.
- If this conversion throws an exception, return [=error=] with [=error code=] [=invalid argument=].
-              
    7. 
-              
  7. 
-                Let |typedDescriptor| be the object |descriptor| refers to, converted to an IDL
-                  value of |permission name|'s [=powerful
-                  feature/permission descriptor type=]. If this throws an exception,
-                  return [=error=] with [=error code=] [=invalid argument=].
-              
    8. 
-              
  8. 
-                If |state| is an inappropriate [=permission state=] for any
- implementation-defined reason, return [=error=] with [=error code=] [=invalid argument=].
-              
    9. 
-              
  9. 
-                Let |settings| be the [=current settings object=].
-              
    10. 
-              
  10. 
-                Let |targets| be a [=/list=] containing all [=environment settings object=]
- whose [=environment settings object/origin=] is the same as
- the [=environment settings object/origin=] of |settings|.
-              
    11. 
-              
  11. 
-                Let |tasks| be an empty [=/list=].
-              
    12. 
-              
  12. 
-                For each [=environment settings object=] |target| in |targets|:
-              
    13. 
-                
      
-                  
    1. 
-                    [=Queue a task=] |task| on the [=permissions task source=] of |target|'s
-    [=relevant settings object=]'s [=environment settings object/global object=]'s
-    [=Window/browsing context=] to perform the following step:
-                  
      2. 
+                    permissions.SetPermissionParameters = {
+                      descriptor: permissions.PermissionDescriptor,
+                      state: permissions.PermissionState,
+                      ? context: browsingContext.BrowsingContext,
+                      ? origin: text,
+                    }
+
+
+
Result Type
+
+ 
+                    EmptyResult
+
+
+
+
+

+ The [=remote end steps=] with |session| and |command parameters| are: +

+
    +
  1. + Let |descriptor| be the value of the descriptor field of + |command parameters|. +
    2. +
  2. + Let |state| be the value of the state field of |command + parameters|. +
    3. +
  3. + Let |context id| be the value of the context field of + |command parameters|. +
    4. +
  4. + If |context id| is not present, let |context| be the [=top-level browsing context=] + of |session|. Otherwise, let |context| be the result of [=trying=] to + [=get a browsing context=] with |context id|. +
    5. +
  5. + Let |permission name| be the value of the name field of + |descriptor| representing {{PermissionDescriptor/name}}. +
    6. +
  6. + + [=Convert to an IDL value=] (|descriptor|, |state|) of type {{PermissionSetParameters}}. + If this conversion throws an exception, return [=error=] with [=error code=] [=invalid argument=]. +
    7. +
  7. + Let |typedDescriptor| be the object |descriptor| refers to, converted to an IDL + value of |permission name|'s [=powerful + feature/permission descriptor type=]. If this throws an exception, + return [=error=] with [=error code=] [=invalid argument=]. +
    8. +
  8. + If |state| is an inappropriate [=permission state=] for any + implementation-defined reason, return [=error=] with [=error code=] [=invalid argument=]. +
    9. +
  9. + Let |settings| be the [=current settings object=]. +
    10. +
  10. + Let |targets| be a [=/list=] containing all [=environment settings object=] + whose [=environment settings object/origin=] is the same as + the [=environment settings object/origin=] of |settings|. +
    11. +
  11. + Let |tasks| be an empty [=/list=]. +
    12. +
  12. + For each [=environment settings object=] |target| in |targets|: +
    1. - Interpret |state| as if it were the result of an invocation of [=permission state=] - for |typedDescriptor| with the argument |target| made at this moment. + [=Queue a task=] |task| on the [=permissions task source=] of |target|'s + [=relevant settings object=]'s [=environment settings object/global object=]'s + [=Window/browsing context=] to perform the following step: +
      2. +
        +
      1. + Interpret |state| as if it were the result of an invocation of [=permission state=] + for |typedDescriptor| with the argument |target| made at this moment. +
        2. +
      +
    2. + [=list/Append=] |task| to |tasks|.
    -
  13. - [=list/Append=] |task| to |tasks|. -
    14. -
-
  • - Wait for all tasks in |tasks| to have executed. -
    • -
  • - Return [=success=] with data null. -
    • - - -
    +
  • + Wait for all tasks in |tasks| to have executed. +
    • +
  • + Return [=success=] with data null. +
    • + + + +