Add pages for new contexts

gnidan · gnidan · commit dca2de0410ea · 2025-04-11T15:33:04.000-04:00
diff --git a/packages/web/spec/program/context/frame.mdx b/packages/web/spec/program/context/frame.mdx
@@ -0,0 +1,11 @@
+---
+sidebar_position: 7
+---
+
+import SchemaViewer from "@site/src/components/SchemaViewer";
+
+# Frame contexts
+
+<SchemaViewer
+  schema={{ id: "schema:ethdebug/format/program/context/frame" }}
+  />
diff --git a/packages/web/spec/program/context/gather.mdx b/packages/web/spec/program/context/gather.mdx
@@ -0,0 +1,11 @@
+---
+sidebar_position: 7
+---
+
+import SchemaViewer from "@site/src/components/SchemaViewer";
+
+# Gather multiple contexts
+
+<SchemaViewer
+  schema={{ id: "schema:ethdebug/format/program/context/gather" }}
+  />
diff --git a/packages/web/spec/program/context/pick.mdx b/packages/web/spec/program/context/pick.mdx
@@ -0,0 +1,11 @@
+---
+sidebar_position: 7
+---
+
+import SchemaViewer from "@site/src/components/SchemaViewer";
+
+# Pick one of several contexts
+
+<SchemaViewer
+  schema={{ id: "schema:ethdebug/format/program/context/pick" }}
+  />
diff --git a/packages/web/src/schemas.ts b/packages/web/src/schemas.ts
@@ -215,7 +215,7 @@ const programSchemaIndex: SchemaIndex = {
   },
 
   ...(
-    ["code", "variables", "remark"].map(name => ({
+    ["code", "variables", "remark", "frame", "gather", "pick"].map(name => ({
       [`schema:ethdebug/format/program/context/${name}`]: {
         href: `/spec/program/context/${name}`
       }

Original file line number	Diff line number	Diff line change
`@@ -215,7 +215,7 @@ const programSchemaIndex: SchemaIndex = {`
`215`	`215`	`},`
`216`	`216`
`217`	`217`	`...(`
`218`		`- ["code", "variables", "remark"].map(name => ({`
	`218`	`+ ["code", "variables", "remark", "frame", "gather", "pick"].map(name => ({`
`219`	`219`	[`schema:ethdebug/format/program/context/${name}`]: {
`220`	`220`	href: `/spec/program/context/${name}`
`221`	`221`	`}`