Update of TR report from new reffy run

Using reffy commit 15.2.0.
w3c · May 29, 2024 · b9699b2 · b9699b2
1 parent b34cfaf
commit b9699b2
Show file tree

Hide file tree

Showing 13 changed files with 958 additions and 489 deletions.
diff --git a/tr/dfns/webgpu.json b/tr/dfns/webgpu.json
@@ -3535,6 +3535,27 @@
       },
       "definedIn": "dt"
     },
+    {
+      "id": "dom-gpuadapter-info",
+      "href": "https://www.w3.org/TR/webgpu/#dom-gpuadapter-info",
+      "linkingText": [
+        "info"
+      ],
+      "localLinkingText": [],
+      "type": "attribute",
+      "for": [
+        "GPUAdapter"
+      ],
+      "access": "public",
+      "informative": false,
+      "heading": {
+        "id": "gpuadapter",
+        "href": "https://www.w3.org/TR/webgpu/#gpuadapter",
+        "title": "GPUAdapter",
+        "number": "4.3"
+      },
+      "definedIn": "dt"
+    },
     {
       "id": "dom-gpuadapter-isfallbackadapter",
       "href": "https://www.w3.org/TR/webgpu/#dom-gpuadapter-isfallbackadapter",
@@ -3620,27 +3641,6 @@
       },
       "definedIn": "table"
     },
-    {
-      "id": "dom-gpuadapter-requestadapterinfo",
-      "href": "https://www.w3.org/TR/webgpu/#dom-gpuadapter-requestadapterinfo",
-      "linkingText": [
-        "requestAdapterInfo()"
-      ],
-      "localLinkingText": [],
-      "type": "method",
-      "for": [
-        "GPUAdapter"
-      ],
-      "access": "public",
-      "informative": false,
-      "heading": {
-        "id": "gpuadapter",
-        "href": "https://www.w3.org/TR/webgpu/#gpuadapter",
-        "title": "GPUAdapter",
-        "number": "4.3"
-      },
-      "definedIn": "dt"
-    },
     {
       "id": "gpudevicedescriptor",
       "href": "https://www.w3.org/TR/webgpu/#gpudevicedescriptor",
@@ -11210,6 +11210,27 @@
       },
       "definedIn": "dt"
     },
+    {
+      "id": "dom-gpubindgroupentry-prevalidatedsize-slot",
+      "href": "https://www.w3.org/TR/webgpu/#dom-gpubindgroupentry-prevalidatedsize-slot",
+      "linkingText": [
+        "[[prevalidatedSize]]"
+      ],
+      "localLinkingText": [],
+      "type": "attribute",
+      "for": [
+        "GPUBindGroupEntry"
+      ],
+      "access": "public",
+      "informative": false,
+      "heading": {
+        "id": "bind-group-creation",
+        "href": "https://www.w3.org/TR/webgpu/#bind-group-creation",
+        "title": "Bind Group Creation",
+        "number": "8.2.1"
+      },
+      "definedIn": "dt"
+    },
     {
       "id": "dictdef-gpubufferbinding",
       "href": "https://www.w3.org/TR/webgpu/#dictdef-gpubufferbinding",