@cssints/apg-specs 0.0.0-stage → 0.5.1

package/dist/apg/breadcrumb.bridge.d.mts

@@ -0,0 +1,26 @@
+import { ActionStep, Probe, ScenarioConfig, SpecBridge } from "../scenario.mjs";
+//#region src/apg/breadcrumb.bridge.d.ts
+/**
+ * Scenario `config` -> what both targets are mounted with. `items` is the trail
+ * length; `label`/`labelledby`/`describedby` name the navigation landmark.
+ * A non-default element type / showRoot is not modelled (see the span suites).
+ */
+export interface BreadcrumbConfig {
+  readonly count: number;
+  readonly disabled: boolean;
+  readonly label: string | undefined;
+  readonly labelledby: string | undefined;
+  readonly describedby: string | undefined;
+}
+export declare const breadcrumbConfig: (config: ScenarioConfig) => BreadcrumbConfig;
+/**
+ * Breadcrumb vocabulary <-> `specs/apg/breadcrumb.qnt`. Parts: `nav` (the
+ * landmark), `breadcrumb` (the list), `item:N` and `link:N`. The spec only
+ * tracks which item carries `aria-current=page` (the last one), which both the
+ * item and its link expose.
+ */
+export declare const breadcrumbBridge: SpecBridge;
+/** The user-level steps a differential walk draws from. */
+export declare const breadcrumbSteps: ReadonlyArray<ActionStep>;
+export declare const breadcrumbProbe: Probe;
+//#endregion

package/dist/apg/breadcrumb.bridge.mjs

@@ -0,0 +1,120 @@
+import { Unsupported } from "../scenario.mjs";
+//#region src/apg/breadcrumb.bridge.ts
+const specEvent = (tag, params = {}) => ({
+	_tag: tag,
+	...params
+});
+const asString = (key, value) => {
+	if (typeof value === "string") return value;
+	throw new Unsupported(`config ${key}=${JSON.stringify(value)}`);
+};
+const breadcrumbConfig = (config) => {
+	let count = 1;
+	let disabled = false;
+	let label;
+	let labelledby;
+	let describedby;
+	for (const [key, value] of Object.entries(config)) switch (key) {
+		case "items":
+			if (typeof value === "number" && Number.isInteger(value) && value >= 1) count = value;
+			else if (Array.isArray(value)) count = value.length;
+			else throw new Unsupported(`items ${JSON.stringify(value)}`);
+			break;
+		case "isDisabled":
+		case "disabled":
+			disabled = value === true;
+			break;
+		case "aria-label":
+			label = asString(key, value);
+			break;
+		case "aria-labelledby":
+			labelledby = asString(key, value);
+			break;
+		case "aria-describedby":
+			describedby = asString(key, value);
+			break;
+		case "isCurrent":
+			if (value !== true) throw new Unsupported(`isCurrent ${JSON.stringify(value)}`);
+			break;
+		default: throw new Unsupported(`config ${key}=${JSON.stringify(value)}`);
+	}
+	return {
+		count,
+		disabled,
+		label,
+		labelledby,
+		describedby
+	};
+};
+const currentIndexOf = (target) => Number((target ?? "item:0").replace(/^item:/, "")) + 1;
+/**
+* Breadcrumb vocabulary <-> `specs/apg/breadcrumb.qnt`. Parts: `nav` (the
+* landmark), `breadcrumb` (the list), `item:N` and `link:N`. The spec only
+* tracks which item carries `aria-current=page` (the last one), which both the
+* item and its link expose.
+*/
+const breadcrumbBridge = {
+	setup: (config) => {
+		const { count } = breadcrumbConfig(config);
+		const events = [];
+		for (let item = 1; item < count; item += 1) events.push(specEvent("descend"));
+		return events;
+	},
+	event: (step) => {
+		if (step.event === "click") return [];
+		if (step.event !== "prop") throw new Unsupported(`event ${step.event}`);
+		switch (step.prop) {
+			case "descend": return [specEvent("descend")];
+			case "renderLink": return [specEvent("renderLink")];
+			case "renderText": return [specEvent("renderText")];
+			case "toggleMark": return [specEvent("toggleMark")];
+			case "ancestor":
+				if (typeof step.value !== "number" || !Number.isInteger(step.value)) throw new Unsupported(`ancestor ${JSON.stringify(step.value)}`);
+				return [specEvent("ancestor", { target: BigInt(step.value) })];
+			default: throw new Unsupported(`prop ${step.prop ?? ""}`);
+		}
+	},
+	focus: () => null,
+	attr: (state, target, name) => {
+		const part = (target ?? "").replace(/:0$/, "");
+		if (part === "breadcrumb" && name === "role") return "list";
+		if (part.startsWith("item")) {
+			if (name === "role") return "listitem";
+			if (name === "aria-current") return currentIndexOf(target) === Number(state["currentIndex"]) ? "page" : null;
+		}
+		throw new Unsupported(`attribute ${name} on ${target}`);
+	},
+	visible: (state) => {
+		const depth = Number(state["depth"]);
+		return ["breadcrumb", ...Array.from({ length: depth }, (_, index) => `item:${index}`)];
+	},
+	events: () => []
+};
+/** The user-level steps a differential walk draws from. */
+const breadcrumbSteps = [
+	{
+		event: "prop",
+		prop: "renderText"
+	},
+	{
+		event: "prop",
+		prop: "renderLink"
+	},
+	{
+		event: "prop",
+		prop: "toggleMark"
+	}
+];
+const breadcrumbProbe = {
+	attrs: [
+		["breadcrumb", "role"],
+		["item:0", "role"],
+		["item:0", "aria-current"],
+		["item:1", "aria-current"],
+		["item:2", "aria-current"],
+		["item:3", "aria-current"]
+	],
+	events: []
+};
+//#endregion
+export { breadcrumbBridge, breadcrumbConfig, breadcrumbProbe, breadcrumbSteps };

package/dist/apg/breadcrumb.model.json

@@ -0,0 +1,574 @@
+{
+  "generatedFrom": "../../specs/apg/breadcrumb.qnt",
+  "specHash": "0725349bd6d8924054ee7fbda32974408db3fe7b71b1fc680218240e25868ea0",
+  "module": "apg_breadcrumb",
+  "vars": [
+    {
+      "name": "depth",
+      "type": "int"
+    },
+    {
+      "name": "currentIsLink",
+      "type": "bool"
+    },
+    {
+      "name": "currentIndex",
+      "type": "int"
+    },
+    {
+      "name": "navigations",
+      "type": "int"
+    }
+  ],
+  "defs": {
+    "deeper": {
+      "kind": "function",
+      "params": [],
+      "body": {
+        "kind": "app",
+        "opcode": "ite",
+        "args": [
+          {
+            "kind": "app",
+            "opcode": "ilt",
+            "args": [
+              {
+                "kind": "name",
+                "name": "depth"
+              },
+              {
+                "kind": "int",
+                "value": "4"
+              }
+            ]
+          },
+          {
+            "kind": "app",
+            "opcode": "iadd",
+            "args": [
+              {
+                "kind": "name",
+                "name": "depth"
+              },
+              {
+                "kind": "int",
+                "value": "1"
+              }
+            ]
+          },
+          {
+            "kind": "name",
+            "name": "depth"
+          }
+        ]
+      }
+    },
+    "cutTo": {
+      "kind": "function",
+      "params": [
+        "t"
+      ],
+      "body": {
+        "kind": "app",
+        "opcode": "ite",
+        "args": [
+          {
+            "kind": "app",
+            "opcode": "ilt",
+            "args": [
+              {
+                "kind": "name",
+                "name": "t"
+              },
+              {
+                "kind": "name",
+                "name": "depth"
+              }
+            ]
+          },
+          {
+            "kind": "name",
+            "name": "t"
+          },
+          {
+            "kind": "name",
+            "name": "depth"
+          }
+        ]
+      }
+    },
+    "remark": {
+      "kind": "function",
+      "params": [
+        "d"
+      ],
+      "body": {
+        "kind": "app",
+        "opcode": "ite",
+        "args": [
+          {
+            "kind": "app",
+            "opcode": "eq",
+            "args": [
+              {
+                "kind": "name",
+                "name": "currentIndex"
+              },
+              {
+                "kind": "int",
+                "value": "0"
+              }
+            ]
+          },
+          {
+            "kind": "int",
+            "value": "0"
+          },
+          {
+            "kind": "name",
+            "name": "d"
+          }
+        ]
+      }
+    },
+    "CurrentIsLastOrAbsent": {
+      "kind": "invariant",
+      "params": [],
+      "body": {
+        "kind": "app",
+        "opcode": "or",
+        "args": [
+          {
+            "kind": "app",
+            "opcode": "eq",
+            "args": [
+              {
+                "kind": "name",
+                "name": "currentIndex"
+              },
+              {
+                "kind": "int",
+                "value": "0"
+              }
+            ]
+          },
+          {
+            "kind": "app",
+            "opcode": "eq",
+            "args": [
+              {
+                "kind": "name",
+                "name": "currentIndex"
+              },
+              {
+                "kind": "name",
+                "name": "depth"
+              }
+            ]
+          }
+        ]
+      }
+    },
+    "LinkCurrentIsMarked": {
+      "kind": "invariant",
+      "params": [],
+      "body": {
+        "kind": "app",
+        "opcode": "or",
+        "args": [
+          {
+            "kind": "app",
+            "opcode": "not",
+            "args": [
+              {
+                "kind": "name",
+                "name": "currentIsLink"
+              }
+            ]
+          },
+          {
+            "kind": "app",
+            "opcode": "eq",
+            "args": [
+              {
+                "kind": "name",
+                "name": "currentIndex"
+              },
+              {
+                "kind": "name",
+                "name": "depth"
+              }
+            ]
+          }
+        ]
+      }
+    },
+    "TrailNotEmpty": {
+      "kind": "invariant",
+      "params": [],
+      "body": {
+        "kind": "app",
+        "opcode": "igte",
+        "args": [
+          {
+            "kind": "name",
+            "name": "depth"
+          },
+          {
+            "kind": "int",
+            "value": "1"
+          }
+        ]
+      }
+    },
+    "TrailBounded": {
+      "kind": "invariant",
+      "params": [],
+      "body": {
+        "kind": "app",
+        "opcode": "ilte",
+        "args": [
+          {
+            "kind": "name",
+            "name": "depth"
+          },
+          {
+            "kind": "int",
+            "value": "4"
+          }
+        ]
+      }
+    },
+    "NavigationsNonNegative": {
+      "kind": "invariant",
+      "params": [],
+      "body": {
+        "kind": "app",
+        "opcode": "igte",
+        "args": [
+          {
+            "kind": "name",
+            "name": "navigations"
+          },
+          {
+            "kind": "int",
+            "value": "0"
+          }
+        ]
+      }
+    }
+  },
+  "actions": [
+    {
+      "name": "init",
+      "assignments": [
+        {
+          "field": "depth",
+          "rhs": {
+            "kind": "int",
+            "value": "1"
+          }
+        },
+        {
+          "field": "currentIsLink",
+          "rhs": {
+            "kind": "bool",
+            "value": true
+          }
+        },
+        {
+          "field": "currentIndex",
+          "rhs": {
+            "kind": "int",
+            "value": "1"
+          }
+        },
+        {
+          "field": "navigations",
+          "rhs": {
+            "kind": "int",
+            "value": "0"
+          }
+        }
+      ]
+    },
+    {
+      "name": "descend",
+      "assignments": [
+        {
+          "field": "depth",
+          "rhs": {
+            "kind": "name",
+            "name": "deeper"
+          }
+        },
+        {
+          "field": "currentIsLink",
+          "rhs": {
+            "kind": "name",
+            "name": "currentIsLink"
+          }
+        },
+        {
+          "field": "currentIndex",
+          "rhs": {
+            "kind": "app",
+            "opcode": "remark",
+            "args": [
+              {
+                "kind": "name",
+                "name": "deeper"
+              }
+            ]
+          }
+        },
+        {
+          "field": "navigations",
+          "rhs": {
+            "kind": "name",
+            "name": "navigations"
+          }
+        }
+      ]
+    },
+    {
+      "name": "ancestor",
+      "nondet": {
+        "name": "target",
+        "kind": "int",
+        "pool": [
+          "1",
+          "2",
+          "3"
+        ]
+      },
+      "assignments": [
+        {
+          "field": "depth",
+          "rhs": {
+            "kind": "app",
+            "opcode": "cutTo",
+            "args": [
+              {
+                "kind": "name",
+                "name": "target"
+              }
+            ]
+          }
+        },
+        {
+          "field": "currentIsLink",
+          "rhs": {
+            "kind": "name",
+            "name": "currentIsLink"
+          }
+        },
+        {
+          "field": "currentIndex",
+          "rhs": {
+            "kind": "app",
+            "opcode": "remark",
+            "args": [
+              {
+                "kind": "app",
+                "opcode": "cutTo",
+                "args": [
+                  {
+                    "kind": "name",
+                    "name": "target"
+                  }
+                ]
+              }
+            ]
+          }
+        },
+        {
+          "field": "navigations",
+          "rhs": {
+            "kind": "app",
+            "opcode": "ite",
+            "args": [
+              {
+                "kind": "app",
+                "opcode": "ilt",
+                "args": [
+                  {
+                    "kind": "name",
+                    "name": "target"
+                  },
+                  {
+                    "kind": "name",
+                    "name": "depth"
+                  }
+                ]
+              },
+              {
+                "kind": "app",
+                "opcode": "iadd",
+                "args": [
+                  {
+                    "kind": "name",
+                    "name": "navigations"
+                  },
+                  {
+                    "kind": "int",
+                    "value": "1"
+                  }
+                ]
+              },
+              {
+                "kind": "name",
+                "name": "navigations"
+              }
+            ]
+          }
+        }
+      ]
+    },
+    {
+      "name": "renderLink",
+      "assignments": [
+        {
+          "field": "depth",
+          "rhs": {
+            "kind": "name",
+            "name": "depth"
+          }
+        },
+        {
+          "field": "currentIsLink",
+          "rhs": {
+            "kind": "bool",
+            "value": true
+          }
+        },
+        {
+          "field": "currentIndex",
+          "rhs": {
+            "kind": "name",
+            "name": "depth"
+          }
+        },
+        {
+          "field": "navigations",
+          "rhs": {
+            "kind": "name",
+            "name": "navigations"
+          }
+        }
+      ]
+    },
+    {
+      "name": "renderText",
+      "assignments": [
+        {
+          "field": "depth",
+          "rhs": {
+            "kind": "name",
+            "name": "depth"
+          }
+        },
+        {
+          "field": "currentIsLink",
+          "rhs": {
+            "kind": "bool",
+            "value": false
+          }
+        },
+        {
+          "field": "currentIndex",
+          "rhs": {
+            "kind": "name",
+            "name": "currentIndex"
+          }
+        },
+        {
+          "field": "navigations",
+          "rhs": {
+            "kind": "name",
+            "name": "navigations"
+          }
+        }
+      ]
+    },
+    {
+      "name": "toggleMark",
+      "assignments": [
+        {
+          "field": "depth",
+          "rhs": {
+            "kind": "name",
+            "name": "depth"
+          }
+        },
+        {
+          "field": "currentIsLink",
+          "rhs": {
+            "kind": "name",
+            "name": "currentIsLink"
+          }
+        },
+        {
+          "field": "currentIndex",
+          "rhs": {
+            "kind": "app",
+            "opcode": "ite",
+            "args": [
+              {
+                "kind": "name",
+                "name": "currentIsLink"
+              },
+              {
+                "kind": "name",
+                "name": "currentIndex"
+              },
+              {
+                "kind": "app",
+                "opcode": "ite",
+                "args": [
+                  {
+                    "kind": "app",
+                    "opcode": "eq",
+                    "args": [
+                      {
+                        "kind": "name",
+                        "name": "currentIndex"
+                      },
+                      {
+                        "kind": "int",
+                        "value": "0"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "name",
+                    "name": "depth"
+                  },
+                  {
+                    "kind": "int",
+                    "value": "0"
+                  }
+                ]
+              }
+            ]
+          }
+        },
+        {
+          "field": "navigations",
+          "rhs": {
+            "kind": "name",
+            "name": "navigations"
+          }
+        }
+      ]
+    }
+  ],
+  "step": [
+    "init",
+    "descend",
+    "ancestor",
+    "renderLink",
+    "renderText",
+    "toggleMark"
+  ]
+}