Update of ED report from new reffy run

Using reffy commit 18.1.1.

Author: reffy-bot

ed/algorithms/infra.json

@@ -232,22 +232,16 @@ session.End = (
   params: EmptyParams
 )
 
-EmptyResult
-
 session.Subscribe = (
   method: "session.subscribe",
   params: session.SubscriptionRequest
 )
 
-EmptyResult
-
 session.Unsubscribe = (
   method: "session.unsubscribe",
   params: session.SubscriptionRequest
 )
 
-EmptyResult
-
 BrowserCommand = (
   browser.Close //
   browser.CreateUserContext //
@@ -285,8 +279,6 @@ browser.Close = (
   params: EmptyParams,
 )
 
-EmptyResult
-
 browser.CreateUserContext = (
   method: "browser.createUserContext",
   params: EmptyParams,
@@ -321,8 +313,6 @@ browser.RemoveUserContextParameters = {
   userContext: browser.UserContext
 }
 
-EmptyResult
-
 browser.SetClientWindowState = (
   method: "browser.setClientWindowState",
   params: browser.SetClientWindowStateParameters
@@ -345,8 +335,6 @@ browser.ClientWindowRectState = (
   ? y: js-int,
 )
 
-browser.ClientWindowInfo
-
 BrowsingContextCommand = (
   browsingContext.Activate //
   browsingContext.CaptureScreenshot //
@@ -456,8 +444,6 @@ browsingContext.ActivateParameters = {
   context: browsingContext.BrowsingContext
 }
 
-EmptyResult
-
 browsingContext.CaptureScreenshot = (
   method: "browsingContext.captureScreenshot",
   params: browsingContext.CaptureScreenshotParameters
@@ -507,8 +493,6 @@ browsingContext.CloseParameters = {
   ? promptUnload: bool .default false
 }
 
-EmptyResult
-
 browsingContext.Create = (
   method: "browsingContext.create",
   params: browsingContext.CreateParameters
@@ -552,8 +536,6 @@ browsingContext.HandleUserPromptParameters = {
   ? userText: text,
 }
 
-EmptyResult
-
 browsingContext.LocateNodes = (
   method: "browsingContext.locateNodes",
   params: browsingContext.LocateNodesParameters
@@ -632,8 +614,6 @@ browsingContext.ReloadParameters = {
   ? wait: browsingContext.ReadinessState,
 }
 
-browsingContext.NavigateResult
-
 browsingContext.SetViewport = (
   method: "browsingContext.setViewport",
   params: browsingContext.SetViewportParameters
@@ -650,8 +630,6 @@ browsingContext.Viewport = {
   height: js-uint,
 }
 
-EmptyResult
-
 browsingContext.TraverseHistory = (
   method: "browsingContext.traverseHistory",
   params: browsingContext.TraverseHistoryParameters
@@ -949,8 +927,6 @@ network.ContinueRequestParameters = {
   ?url: text,
 }
 
-EmptyResult
-
 network.ContinueResponse = (
   method: "network.continueResponse",
   params: network.ContinueResponseParameters
@@ -965,8 +941,6 @@ network.ContinueResponseParameters = {
   ?statusCode: js-uint,
 }
 
-EmptyResult
-
 network.ContinueWithAuth = (
   method: "network.continueWithAuth",
   params: network.ContinueWithAuthParameters
@@ -986,8 +960,6 @@ network.ContinueWithAuthNoCredentials = (
   action: "default" / "cancel"
 )
 
-EmptyResult
-
 network.FailRequest = (
   method: "network.failRequest",
   params: network.FailRequestParameters
@@ -997,8 +969,6 @@ network.FailRequestParameters = {
   request: network.Request,
 }
 
-EmptyResult
-
 network.ProvideResponse = (
   method: "network.provideResponse",
   params: network.ProvideResponseParameters
@@ -1013,8 +983,6 @@ network.ProvideResponseParameters = {
   ?statusCode: js-uint,
 }
 
-EmptyResult
-
 network.RemoveIntercept = (
   method: "network.removeIntercept",
   params: network.RemoveInterceptParameters
@@ -1024,8 +992,6 @@ network.RemoveInterceptParameters = {
   intercept: network.Intercept
 }
 
-EmptyResult
-
 network.SetCacheBehavior = (
   method: "network.setCacheBehavior",
   params: network.SetCacheBehaviorParameters
@@ -1036,8 +1002,6 @@ network.SetCacheBehaviorParameters = {
   ? contexts: [+browsingContext.BrowsingContext]
 }
 
-EmptyResult
-
 network.AuthRequired = (
   method: "network.authRequired",
   params: network.AuthRequiredParameters
@@ -1048,8 +1012,6 @@ network.AuthRequiredParameters = {
   response: network.ResponseData
 }
 
-EmptyResult
-
 network.BeforeRequestSent = (
   method: "network.beforeRequestSent",
   params: network.BeforeRequestSentParameters
@@ -1563,8 +1525,6 @@ script.DisownParameters = {
   target: script.Target;
 }
 
-EmptyResult
-
 script.CallFunction = (
   method: "script.callFunction",
   params: script.CallFunctionParameters
@@ -1581,8 +1541,6 @@ script.CallFunctionParameters = {
   ? userActivation: bool .default false,
 }
 
-script.EvaluateResult
-
 script.Evaluate = (
   method: "script.evaluate",
   params: script.EvaluateParameters
@@ -1597,8 +1555,6 @@ script.EvaluateParameters = {
   ? userActivation: bool .default false,
 }
 
-script.EvaluateResult
-
 script.GetRealms = (
   method: "script.getRealms",
   params: script.GetRealmsParameters
@@ -1622,8 +1578,6 @@ script.RemovePreloadScriptParameters = {
   script: script.PreloadScript
 }
 
-EmptyResult
-
 script.Message = (
   method: "script.message",
   params: script.MessageParameters
@@ -1932,8 +1886,6 @@ input.PointerCommonProperties = (
 
 input.Origin = "viewport" / "pointer" / input.ElementOrigin
 
-EmptyResult
-
 input.ReleaseActions = (
   method: "input.releaseActions",
   params: input.ReleaseActionsParameters
@@ -1943,8 +1895,6 @@ input.ReleaseActionsParameters = {
   context: browsingContext.BrowsingContext,
 }
 
-EmptyResult
-
 input.SetFiles = (
   method: "input.setFiles",
   params: input.SetFilesParameters
@@ -1956,8 +1906,6 @@ input.SetFilesParameters = {
   files: [*text]
 }
 
-EmptyResult
-
 WebExtensionCommand = (
   webExtension.Install //
   webExtension.Uninstall

ed/cddl/webdriver-bidi-all.cddl

@@ -179,12 +179,6 @@ session.NewResult = {
   }
 }
 
-EmptyResult
-
-EmptyResult
-
-EmptyResult
-
 BrowserResult = (
    browser.CreateUserContextResult /
    browser.GetUserContextsResult
@@ -208,8 +202,6 @@ browser.UserContextInfo = {
   userContext: browser.UserContext
 }
 
-EmptyResult
-
 browser.CreateUserContextResult = browser.UserContextInfo
 
 browser.GetClientWindowsResult = {
@@ -220,10 +212,6 @@ browser.GetUserContextsResult = {
   userContexts: [ + browser.UserContextInfo]
 }
 
-EmptyResult
-
-browser.ClientWindowInfo
-
 BrowsingContextResult = (
   browsingContext.CaptureScreenshotResult /
   browsingContext.CreateResult /
@@ -307,14 +295,10 @@ browsingContext.NavigationInfo = {
 
 browsingContext.UserPromptType = "alert" / "beforeunload" / "confirm" / "prompt";
 
-EmptyResult
-
 browsingContext.CaptureScreenshotResult = {
   data: text
 }
 
-EmptyResult
-
 browsingContext.CreateResult = {
   context: browsingContext.BrowsingContext
 }
@@ -323,8 +307,6 @@ browsingContext.GetTreeResult = {
   contexts: browsingContext.InfoList
 }
 
-EmptyResult
-
 browsingContext.LocateNodesResult = {
     nodes: [ * script.NodeRemoteValue ]
 }
@@ -338,10 +320,6 @@ browsingContext.PrintResult = {
   data: text
 }
 
-browsingContext.NavigateResult
-
-EmptyResult
-
 browsingContext.TraverseHistoryResult = {
 }
 
@@ -548,20 +526,6 @@ network.AddInterceptResult = {
   intercept: network.Intercept
 }
 
-EmptyResult
-
-EmptyResult
-
-EmptyResult
-
-EmptyResult
-
-EmptyResult
-
-EmptyResult
-
-EmptyResult
-
 network.AuthRequired = (
   method: "network.authRequired",
   params: network.AuthRequiredParameters
@@ -572,8 +536,6 @@ network.AuthRequiredParameters = {
   response: network.ResponseData
 }
 
-EmptyResult
-
 network.BeforeRequestSent = (
   method: "network.beforeRequestSent",
   params: network.BeforeRequestSentParameters
@@ -1042,18 +1004,10 @@ script.AddPreloadScriptResult = {
   script: script.PreloadScript
 }
 
-EmptyResult
-
-script.EvaluateResult
-
-script.EvaluateResult
-
 script.GetRealmsResult = {
   realms: [*script.RealmInfo]
 }
 
-EmptyResult
-
 script.Message = (
   method: "script.message",
   params: script.MessageParameters
@@ -1146,12 +1100,6 @@ log.EntryAdded = (
  params: log.Entry,
 )
 
-EmptyResult
-
-EmptyResult
-
-EmptyResult
-
 WebExtensionResult = (
   webExtension.InstallResult
 )