Skip to content

Commit

Permalink
Update of TR report from new reffy run
Browse files Browse the repository at this point in the history
Using reffy commit 18.1.1.
  • Loading branch information
reffy-bot committed Dec 20, 2024
1 parent 84afe7d commit 20d9ad0
Show file tree
Hide file tree
Showing 39 changed files with 1,589 additions and 2,154 deletions.
112 changes: 56 additions & 56 deletions tr/algorithms/mediacapture-streams.json

Large diffs are not rendered by default.

108 changes: 54 additions & 54 deletions tr/algorithms/permissions.json

Large diffs are not rendered by default.

60 changes: 30 additions & 30 deletions tr/algorithms/screen-capture.json

Large diffs are not rendered by default.

108 changes: 54 additions & 54 deletions tr/algorithms/selection-api.json

Large diffs are not rendered by default.

561 changes: 279 additions & 282 deletions tr/algorithms/webgpu.json

Large diffs are not rendered by default.

2 changes: 0 additions & 2 deletions tr/cddl/permissions-all.cddl
Original file line number Diff line number Diff line change
Expand Up @@ -24,5 +24,3 @@ permissions.SetPermissionParameters = {
origin: text,
? userContext: text,
}

EmptyResult
2 changes: 0 additions & 2 deletions tr/cddl/permissions-local.cddl
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,3 @@ permissions.PermissionDescriptor = {
}

permissions.PermissionState = "granted" / "denied" / "prompt"

EmptyResult
2 changes: 0 additions & 2 deletions tr/cddl/permissions-remote.cddl
Original file line number Diff line number Diff line change
Expand Up @@ -18,5 +18,3 @@ permissions.SetPermissionParameters = {
origin: text,
? userContext: text,
}

EmptyResult
52 changes: 0 additions & 52 deletions tr/cddl/webdriver-bidi-all.cddl
Original file line number Diff line number Diff line change
Expand Up @@ -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 //
Expand Down Expand Up @@ -285,8 +279,6 @@ browser.Close = (
params: EmptyParams,
)

EmptyResult

browser.CreateUserContext = (
method: "browser.createUserContext",
params: EmptyParams,
Expand Down Expand Up @@ -321,8 +313,6 @@ browser.RemoveUserContextParameters = {
userContext: browser.UserContext
}

EmptyResult

browser.SetClientWindowState = (
method: "browser.setClientWindowState",
params: browser.SetClientWindowStateParameters
Expand All @@ -345,8 +335,6 @@ browser.ClientWindowRectState = (
? y: js-int,
)

browser.ClientWindowInfo

BrowsingContextCommand = (
browsingContext.Activate //
browsingContext.CaptureScreenshot //
Expand Down Expand Up @@ -456,8 +444,6 @@ browsingContext.ActivateParameters = {
context: browsingContext.BrowsingContext
}

EmptyResult

browsingContext.CaptureScreenshot = (
method: "browsingContext.captureScreenshot",
params: browsingContext.CaptureScreenshotParameters
Expand Down Expand Up @@ -507,8 +493,6 @@ browsingContext.CloseParameters = {
? promptUnload: bool .default false
}

EmptyResult

browsingContext.Create = (
method: "browsingContext.create",
params: browsingContext.CreateParameters
Expand Down Expand Up @@ -552,8 +536,6 @@ browsingContext.HandleUserPromptParameters = {
? userText: text,
}

EmptyResult

browsingContext.LocateNodes = (
method: "browsingContext.locateNodes",
params: browsingContext.LocateNodesParameters
Expand Down Expand Up @@ -632,8 +614,6 @@ browsingContext.ReloadParameters = {
? wait: browsingContext.ReadinessState,
}

browsingContext.NavigateResult

browsingContext.SetViewport = (
method: "browsingContext.setViewport",
params: browsingContext.SetViewportParameters
Expand All @@ -650,8 +630,6 @@ browsingContext.Viewport = {
height: js-uint,
}

EmptyResult

browsingContext.TraverseHistory = (
method: "browsingContext.traverseHistory",
params: browsingContext.TraverseHistoryParameters
Expand Down Expand Up @@ -949,8 +927,6 @@ network.ContinueRequestParameters = {
?url: text,
}

EmptyResult

network.ContinueResponse = (
method: "network.continueResponse",
params: network.ContinueResponseParameters
Expand All @@ -965,8 +941,6 @@ network.ContinueResponseParameters = {
?statusCode: js-uint,
}

EmptyResult

network.ContinueWithAuth = (
method: "network.continueWithAuth",
params: network.ContinueWithAuthParameters
Expand All @@ -986,8 +960,6 @@ network.ContinueWithAuthNoCredentials = (
action: "default" / "cancel"
)

EmptyResult

network.FailRequest = (
method: "network.failRequest",
params: network.FailRequestParameters
Expand All @@ -997,8 +969,6 @@ network.FailRequestParameters = {
request: network.Request,
}

EmptyResult

network.ProvideResponse = (
method: "network.provideResponse",
params: network.ProvideResponseParameters
Expand All @@ -1013,8 +983,6 @@ network.ProvideResponseParameters = {
?statusCode: js-uint,
}

EmptyResult

network.RemoveIntercept = (
method: "network.removeIntercept",
params: network.RemoveInterceptParameters
Expand All @@ -1024,8 +992,6 @@ network.RemoveInterceptParameters = {
intercept: network.Intercept
}

EmptyResult

network.SetCacheBehavior = (
method: "network.setCacheBehavior",
params: network.SetCacheBehaviorParameters
Expand All @@ -1036,8 +1002,6 @@ network.SetCacheBehaviorParameters = {
? contexts: [+browsingContext.BrowsingContext]
}

EmptyResult

network.AuthRequired = (
method: "network.authRequired",
params: network.AuthRequiredParameters
Expand All @@ -1048,8 +1012,6 @@ network.AuthRequiredParameters = {
response: network.ResponseData
}

EmptyResult

network.BeforeRequestSent = (
method: "network.beforeRequestSent",
params: network.BeforeRequestSentParameters
Expand Down Expand Up @@ -1563,8 +1525,6 @@ script.DisownParameters = {
target: script.Target;
}

EmptyResult

script.CallFunction = (
method: "script.callFunction",
params: script.CallFunctionParameters
Expand All @@ -1581,8 +1541,6 @@ script.CallFunctionParameters = {
? userActivation: bool .default false,
}

script.EvaluateResult

script.Evaluate = (
method: "script.evaluate",
params: script.EvaluateParameters
Expand All @@ -1597,8 +1555,6 @@ script.EvaluateParameters = {
? userActivation: bool .default false,
}

script.EvaluateResult

script.GetRealms = (
method: "script.getRealms",
params: script.GetRealmsParameters
Expand All @@ -1622,8 +1578,6 @@ script.RemovePreloadScriptParameters = {
script: script.PreloadScript
}

EmptyResult

script.Message = (
method: "script.message",
params: script.MessageParameters
Expand Down Expand Up @@ -1932,8 +1886,6 @@ input.PointerCommonProperties = (

input.Origin = "viewport" / "pointer" / input.ElementOrigin

EmptyResult

input.ReleaseActions = (
method: "input.releaseActions",
params: input.ReleaseActionsParameters
Expand All @@ -1943,8 +1895,6 @@ input.ReleaseActionsParameters = {
context: browsingContext.BrowsingContext,
}

EmptyResult

input.SetFiles = (
method: "input.setFiles",
params: input.SetFilesParameters
Expand All @@ -1956,8 +1906,6 @@ input.SetFilesParameters = {
files: [*text]
}

EmptyResult

WebExtensionCommand = (
webExtension.Install //
webExtension.Uninstall
Expand Down
52 changes: 0 additions & 52 deletions tr/cddl/webdriver-bidi-local.cddl
Original file line number Diff line number Diff line change
Expand Up @@ -179,12 +179,6 @@ session.NewResult = {
}
}

EmptyResult

EmptyResult

EmptyResult

BrowserResult = (
browser.CreateUserContextResult /
browser.GetUserContextsResult
Expand All @@ -208,8 +202,6 @@ browser.UserContextInfo = {
userContext: browser.UserContext
}

EmptyResult

browser.CreateUserContextResult = browser.UserContextInfo

browser.GetClientWindowsResult = {
Expand All @@ -220,10 +212,6 @@ browser.GetUserContextsResult = {
userContexts: [ + browser.UserContextInfo]
}

EmptyResult

browser.ClientWindowInfo

BrowsingContextResult = (
browsingContext.CaptureScreenshotResult /
browsingContext.CreateResult /
Expand Down Expand Up @@ -307,14 +295,10 @@ browsingContext.NavigationInfo = {

browsingContext.UserPromptType = "alert" / "beforeunload" / "confirm" / "prompt";

EmptyResult

browsingContext.CaptureScreenshotResult = {
data: text
}

EmptyResult

browsingContext.CreateResult = {
context: browsingContext.BrowsingContext
}
Expand All @@ -323,8 +307,6 @@ browsingContext.GetTreeResult = {
contexts: browsingContext.InfoList
}

EmptyResult

browsingContext.LocateNodesResult = {
nodes: [ * script.NodeRemoteValue ]
}
Expand All @@ -338,10 +320,6 @@ browsingContext.PrintResult = {
data: text
}

browsingContext.NavigateResult

EmptyResult

browsingContext.TraverseHistoryResult = {
}

Expand Down Expand Up @@ -548,20 +526,6 @@ network.AddInterceptResult = {
intercept: network.Intercept
}

EmptyResult

EmptyResult

EmptyResult

EmptyResult

EmptyResult

EmptyResult

EmptyResult

network.AuthRequired = (
method: "network.authRequired",
params: network.AuthRequiredParameters
Expand All @@ -572,8 +536,6 @@ network.AuthRequiredParameters = {
response: network.ResponseData
}

EmptyResult

network.BeforeRequestSent = (
method: "network.beforeRequestSent",
params: network.BeforeRequestSentParameters
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -1146,12 +1100,6 @@ log.EntryAdded = (
params: log.Entry,
)

EmptyResult

EmptyResult

EmptyResult

WebExtensionResult = (
webExtension.InstallResult
)
Expand Down
Loading

0 comments on commit 20d9ad0

Please sign in to comment.