Skip to content

Commit

Permalink
Update of ED report from new reffy run
Browse files Browse the repository at this point in the history 
Using reffy commit 18.3.0.
reffy-bot committed Jan 28, 2025
1 parent f0c897c commit 023dc70
Showing 8 changed files with 250 additions and 129 deletions.
31 changes: 17 additions & 14 deletions ed/algorithms/html.json
View file

Large diffs are not rendered by default.

8 changes: 4 additions & 4 deletions ed/algorithms/infra.json
View file
Original file line number Diff line number Diff line change
@@ -427,7 +427,7 @@
"html": "<p><a data-link-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#list-append\" id=\"ref-for-list-append①①\">Append</a> <var>token</var> to <var>tokens</var>. </p>"
},
{
"html": "If <var>position</var> is not past the end of <var>input</var>, then:",
"html": "If <var>position</var> is not past the end of <var>input</var>:",
"rationale": "assert",
"steps": [
{
@@ -764,7 +764,7 @@
"html": "<p>If <var>jsValue</var> is <emu-val>null</emu-val>, <var>jsValue</var> <a data-link-type=\"dfn\" href=\"https://tc39.github.io/ecma262/#sec-ecmascript-language-types-boolean-type\" id=\"ref-for-sec-ecmascript-language-types-boolean-type\">is a Boolean</a>, <var>jsValue</var> <a data-link-type=\"dfn\" href=\"https://tc39.github.io/ecma262/#sec-ecmascript-language-types-string-type\" id=\"ref-for-sec-ecmascript-language-types-string-type①\">is a String</a>, or <var>jsValue</var> <a data-link-type=\"dfn\" href=\"https://tc39.github.io/ecma262/#sec-ecmascript-language-types-number-type\" id=\"ref-for-sec-ecmascript-language-types-number-type\">is a Number</a>, then return <var>jsValue</var>. </p>"
},
{
"html": "If <a data-link-type=\"abstract-op\" href=\"https://tc39.github.io/ecma262/#sec-isarray\" id=\"ref-for-sec-isarray\">IsArray</a>(<var>jsValue</var>) is true, then:",
"html": "If <a data-link-type=\"abstract-op\" href=\"https://tc39.github.io/ecma262/#sec-isarray\" id=\"ref-for-sec-isarray\">IsArray</a>(<var>jsValue</var>) is true:",
"rationale": "let",
"steps": [
{
@@ -857,7 +857,7 @@
"html": "<p>If <var>value</var> is a <a data-link-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#string\" id=\"ref-for-string⑦⑧\">string</a>, <a data-link-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#boolean\" id=\"ref-for-boolean⑤\">boolean</a>, number, or null, then return <var>value</var>. </p>"
},
{
"html": "If <var>value</var> is a <a data-link-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#list\" id=\"ref-for-list⑥①\">list</a>, then:",
"html": "If <var>value</var> is a <a data-link-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#list\" id=\"ref-for-list⑥①\">list</a>:",
"rationale": "let",
"steps": [
{
@@ -928,7 +928,7 @@
"html": "<p>Remove all <a data-link-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#ascii-whitespace\" id=\"ref-for-ascii-whitespace⑦\">ASCII whitespace</a> from <var>data</var>. </p>"
},
{
"html": "If <var>data</var>’s <a data-link-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#string-code-point-length\" id=\"ref-for-string-code-point-length④\">code point length</a> divides by 4 leaving no remainder,\n then:",
"html": "If <var>data</var>’s <a data-link-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#string-code-point-length\" id=\"ref-for-string-code-point-length④\">code point length</a> divides by 4 leaving no remainder:",
"rationale": "if",
"steps": [
{
78 changes: 78 additions & 0 deletions ed/dfns/html.json
View file
Original file line number Diff line number Diff line change
@@ -67713,6 +67713,27 @@
},
"definedIn": "prose"
},
{
"id": "dom-navigateevent-sourceelement",
"href": "https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-sourceelement",
"linkingText": [
"sourceElement"
],
"localLinkingText": [],
"type": "attribute",
"for": [
"NavigateEvent"
],
"access": "public",
"informative": false,
"heading": {
"id": "the-navigateevent-interface",
"href": "https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface",
"title": "The NavigateEvent interface",
"number": "7.2.6.10.1"
},
"definedIn": "prose"
},
{
"id": "dom-navigateevent-intercept",
"href": "https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-intercept",
@@ -68147,6 +68168,25 @@
},
"definedIn": "prose"
},
{
"id": "fire-navigate-prr-sourceelement",
"href": "https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-prr-sourceelement",
"linkingText": [
"sourceElement"
],
"localLinkingText": [],
"type": "dfn",
"for": [],
"access": "private",
"informative": false,
"heading": {
"id": "navigate-event-firing",
"href": "https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing",
"title": "Firing the event",
"number": "7.2.6.10.3"
},
"definedIn": "prose"
},
{
"id": "fire-navigate-prr-formdataentrylist",
"href": "https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-prr-formdataentrylist",
@@ -68261,6 +68301,25 @@
},
"definedIn": "prose"
},
{
"id": "fire-navigate-download-sourceelement",
"href": "https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-download-sourceelement",
"linkingText": [
"sourceElement"
],
"localLinkingText": [],
"type": "dfn",
"for": [],
"access": "private",
"informative": false,
"heading": {
"id": "navigate-event-firing",
"href": "https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing",
"title": "Firing the event",
"number": "7.2.6.10.3"
},
"definedIn": "prose"
},
{
"id": "fire-navigate-download-filename",
"href": "https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-download-filename",
@@ -73874,6 +73933,25 @@
},
"definedIn": "prose"
},
{
"id": "navigation-source-element",
"href": "https://html.spec.whatwg.org/multipage/browsing-the-web.html#navigation-source-element",
"linkingText": [
"sourceElement"
],
"localLinkingText": [],
"type": "dfn",
"for": [],
"access": "private",
"informative": false,
"heading": {
"id": "beginning-navigation",
"href": "https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation",
"title": "Beginning navigation",
"number": "7.4.2.2"
},
"definedIn": "prose"
},
{
"id": "finalize-a-cross-document-navigation",
"href": "https://html.spec.whatwg.org/multipage/browsing-the-web.html#finalize-a-cross-document-navigation",
1 change: 1 addition & 0 deletions ed/idl/html.idl
View file
Original file line number Diff line number Diff line change
@@ -1992,6 +1992,7 @@ interface NavigateEvent : Event {
readonly attribute DOMString? downloadRequest;
readonly attribute any info;
readonly attribute boolean hasUAVisualTransition;
readonly attribute Element? sourceElement;

undefined intercept(optional NavigationInterceptOptions options = {});
undefined scroll();
22 changes: 22 additions & 0 deletions ed/ids/html.json
View file
Original file line number Diff line number Diff line change
@@ -9774,6 +9774,7 @@
"https://html.spec.whatwg.org/multipage/links.html#following-hyperlinks%3Anode-document-3",
"https://html.spec.whatwg.org/multipage/links.html#following-hyperlinks%3Anavigation-referrer-policy",
"https://html.spec.whatwg.org/multipage/links.html#following-hyperlinks%3Anavigation-user-involvement",
"https://html.spec.whatwg.org/multipage/links.html#following-hyperlinks%3Anavigation-source-element",
"https://html.spec.whatwg.org/multipage/links.html#following-hyperlinks%3Anavigationhistorybehavior-replace",
"https://html.spec.whatwg.org/multipage/links.html#following-hyperlinks%3Acompletely-loaded",
"https://html.spec.whatwg.org/multipage/links.html#downloading-resources",
@@ -9805,6 +9806,7 @@
"https://html.spec.whatwg.org/multipage/links.html#downloading-resources%3Afire-a-download-request-navigate-event",
"https://html.spec.whatwg.org/multipage/links.html#downloading-resources%3Afire-navigate-download-destinationurl",
"https://html.spec.whatwg.org/multipage/links.html#downloading-resources%3Afire-navigate-download-userinvolvement",
"https://html.spec.whatwg.org/multipage/links.html#downloading-resources%3Afire-navigate-download-sourceelement",
"https://html.spec.whatwg.org/multipage/links.html#downloading-resources%3Afire-navigate-download-filename",
"https://html.spec.whatwg.org/multipage/links.html#downloading-resources%3Ain-parallel",
"https://html.spec.whatwg.org/multipage/links.html#downloading-resources%3Aconcept-request",
@@ -25694,6 +25696,7 @@
"https://html.spec.whatwg.org/multipage/form-control-infrastructure.html#form-submission-algorithm%3Anode-document-3",
"https://html.spec.whatwg.org/multipage/form-control-infrastructure.html#form-submission-algorithm%3Anavigation-hh",
"https://html.spec.whatwg.org/multipage/form-control-infrastructure.html#form-submission-algorithm%3Anavigation-user-involvement",
"https://html.spec.whatwg.org/multipage/form-control-infrastructure.html#form-submission-algorithm%3Anavigation-source-element",
"https://html.spec.whatwg.org/multipage/form-control-infrastructure.html#form-submission-algorithm%3Anavigation-referrer-policy",
"https://html.spec.whatwg.org/multipage/form-control-infrastructure.html#form-submission-algorithm%3Anavigation-resource",
"https://html.spec.whatwg.org/multipage/form-control-infrastructure.html#form-submission-algorithm%3Anavigation-form-data-entry-list",
@@ -40238,6 +40241,7 @@
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Adom-navigateevent-downloadrequest",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Adom-navigateevent-info",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Adom-navigateevent-hasuavisualtransition",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Adom-navigateevent-sourceelement",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Adom-navigateevent-intercept",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Anavigationinterceptoptions",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Adom-navigateevent-scroll",
@@ -40311,6 +40315,12 @@
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Aevent-navigate",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-info-dev",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-hasuavisualtransition-dev",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-sourceelement-dev",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Aelement",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Athe-a-element-3",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Athe-area-element-2",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Aconcept-submit-button",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Athe-form-element-2",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-intercept-dev",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigationinterceptoptions-handler-dev",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigationinterceptoptions-focusreset-dev",
@@ -40380,6 +40390,7 @@
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-downloadrequest",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-info",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-hasuavisualtransition",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-sourceelement",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateevent-intercept",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Anavigateevent-perform-shared-checks",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigateevent-interface%3Athis",
@@ -40574,6 +40585,8 @@
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Auser-navigation-involvement-2",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-prr-userinvolvement",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Auni-none-2",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Aelement",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-prr-sourceelement",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Aentry-list",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-prr-formdataentrylist",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Aserialized-state",
@@ -40599,6 +40612,8 @@
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-download-destinationurl",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Auser-navigation-involvement-3",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-download-userinvolvement",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Aelement-2",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-download-sourceelement",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#fire-navigate-download-filename",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Acreating-an-event-3",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Anavigateevent-3",
@@ -40620,6 +40635,7 @@
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Anavigateevent-4",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Anavigationdestination-4",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Auser-navigation-involvement-4",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Aelement-3",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Aentry-list-2",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Ahas-entries-and-events-disabled",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Aassert",
@@ -40669,6 +40685,7 @@
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Anavigation-api-method-tracker",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Adom-navigateevent-hasuavisualtransition",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Alatest-entry",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Adom-navigateevent-sourceelement",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Aconcept-navigateevent-abort-controller",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Anew-4",
"https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigate-event-firing%3Aabortcontroller",
@@ -42751,6 +42768,8 @@
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Auser-navigation-involvement",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#navigation-user-involvement",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Auni-none",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Aelement",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#navigation-source-element",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Asnapshotting-source-snapshot-params",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Aconcept-document-origin",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Adocument-base-url",
@@ -42845,6 +42864,7 @@
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Afire-navigate-prr-navigationtype",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Afire-navigate-prr-issamedocument",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Afire-navigate-prr-userinvolvement",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Afire-navigate-prr-sourceelement",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Afire-navigate-prr-formdataentrylist",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Afire-navigate-prr-destinationurl",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#beginning-navigation%3Afire-navigate-prr-navigationapistate",
@@ -43095,6 +43115,7 @@
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Aurl",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Ahistory-handling-behavior",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Auser-navigation-involvement",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Aelement",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Aserialized-state",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Anavigation-id",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Anav-window",
@@ -43105,6 +43126,7 @@
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Afire-navigate-prr-navigationtype",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Afire-navigate-prr-issamedocument",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Afire-navigate-prr-userinvolvement",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Afire-navigate-prr-sourceelement",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Afire-navigate-prr-destinationurl",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Afire-navigate-prr-navigationapistate",
"https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-fragid%3Asession-history-entry",
1 change: 1 addition & 0 deletions ed/ids/miniapp-manifest.json
View file
Original file line number Diff line number Diff line change
@@ -8,6 +8,7 @@
"https://w3c.github.io/miniapp-manifest/#toc-nav",
"https://w3c.github.io/miniapp-manifest/#toc-jump",
"https://w3c.github.io/miniapp-manifest/#toc-toggle",
"https://w3c.github.io/miniapp-manifest/#toc-theme-toggle",
"https://w3c.github.io/miniapp-manifest/#title",
"https://w3c.github.io/miniapp-manifest/#w3c-state",
"https://w3c.github.io/miniapp-manifest/#abstract",
1 change: 1 addition & 0 deletions ed/ids/miniapp-packaging.json
View file
Original file line number Diff line number Diff line change
@@ -8,6 +8,7 @@
"https://w3c.github.io/miniapp-packaging/#toc-nav",
"https://w3c.github.io/miniapp-packaging/#toc-jump",
"https://w3c.github.io/miniapp-packaging/#toc-toggle",
"https://w3c.github.io/miniapp-packaging/#toc-theme-toggle",
"https://w3c.github.io/miniapp-packaging/#title",
"https://w3c.github.io/miniapp-packaging/#w3c-state",
"https://w3c.github.io/miniapp-packaging/#abstract",
Loading

0 comments on commit 023dc70

Please sign in to comment.