modality-ts 0.0.7 → 0.0.9

package/dist/extract/engine/ts/ids.js

@@ -0,0 +1,63 @@
+export function withStableTransitionIds(transitions) {
+    const groups = new Map();
+    for (const transition of transitions) {
+        const group = groups.get(transition.id) ?? [];
+        group.push(transition);
+        groups.set(transition.id, group);
+    }
+    const emitted = new Map();
+    return transitions.map((transition) => {
+        const internal = transition;
+        const group = groups.get(transition.id) ?? [];
+        const base = stripInternalTransition(internal);
+        if (group.length <= 1)
+            return base;
+        const suffix = shortHash(internal.__stableIdKey ?? canonicalTransitionKey(base));
+        const id = `${transition.id}.${suffix}`;
+        const count = emitted.get(id) ?? 0;
+        emitted.set(id, count + 1);
+        return { ...base, id: count === 0 ? id : `${id}.${count + 1}` };
+    });
+}
+export function tagStableIdKey(transitions, node) {
+    const key = normalizedAstKey(node);
+    return transitions.map((transition) => ({
+        ...transition,
+        __stableIdKey: key,
+    }));
+}
+export function safeId(value) {
+    return value.replace(/[^a-zA-Z0-9_-]+/g, "_") || "value";
+}
+export function uniqueStrings(values) {
+    return [...new Set(values)].sort();
+}
+function stripInternalTransition(transition) {
+    const { __stableIdKey: _ignored, ...publicTransition } = transition;
+    return publicTransition;
+}
+function canonicalTransitionKey(transition) {
+    return JSON.stringify({
+        label: transition.label,
+        guard: transition.guard,
+        effect: transition.effect,
+        reads: transition.reads,
+        writes: transition.writes,
+    });
+}
+function shortHash(value) {
+    let hash = 0x811c9dc5;
+    for (let i = 0; i < value.length; i += 1) {
+        hash ^= value.charCodeAt(i);
+        hash = Math.imul(hash, 0x01000193);
+    }
+    return (hash >>> 0).toString(36).padStart(6, "0").slice(0, 6);
+}
+function normalizedAstKey(node) {
+    return node
+        .getText()
+        .replace(/\/\*[\s\S]*?\*\//g, "")
+        .replace(/\/\/.*$/gm, "")
+        .replace(/\s+/g, "");
+}
+//# sourceMappingURL=ids.js.map

package/dist/extract/engine/ts/ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/ids.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,uBAAuB,CACrC,WAAkC;IAElC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,UAAgC,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QACpC,MAAM,QAAQ,GAAG,UAAgC,CAAC;QAClD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,MAAM,MAAM,GAAG,SAAS,CACtB,QAAQ,CAAC,aAAa,IAAI,sBAAsB,CAAC,IAAI,CAAC,CACvD,CAAC;QACF,MAAM,EAAE,GAAG,GAAG,UAAU,CAAC,EAAE,IAAI,MAAM,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3B,OAAO,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,WAAkC,EAClC,IAAa;IAEb,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACtC,GAAI,UAAiC;QACrC,aAAa,EAAE,GAAG;KACnB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAyB;IACrD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,uBAAuB,CAAC,UAA8B;IAC7D,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,GAAG,gBAAgB,EAAE,GAAG,UAAU,CAAC;IACpE,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAsB;IACpD,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,IAAI,IAAI,GAAG,UAAU,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,OAAO,IAAI;SACR,OAAO,EAAE;SACT,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC;SAChC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;SACxB,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACzB,CAAC"}

package/dist/extract/engine/ts/input-transitions.d.ts

@@ -0,0 +1,5 @@
+import * as ts from "typescript";
+import type { Locator, Transition } from "modality-ts/core";
+import type { SetterBinding } from "./types.js";
+export declare function inputTransitions(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, component: string, setter: SetterBinding, locator: Locator | undefined): Transition[];
+//# sourceMappingURL=input-transitions.d.ts.map

package/dist/extract/engine/ts/input-transitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-transitions.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/input-transitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAEV,OAAO,EACP,UAAU,EAEX,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,EAAE,CA6Cd"}

package/dist/extract/engine/ts/input-transitions.js

@@ -0,0 +1,132 @@
+import * as ts from "typescript";
+import { lineAndColumn } from "./ast.js";
+export function inputTransitions(source, fileName, node, attr, component, setter, locator) {
+    const literalValues = literalInputValues(node);
+    const finite = literalValues
+        ? finiteInputValues(setter.domain).filter(({ valueClass }) => literalValues.has(valueClass))
+        : finiteInputValues(setter.domain);
+    if (finite.length > 0) {
+        return finite.map(({ value, valueClass }) => ({
+            id: `${component}.${attr}.${setter.stateName}.${safeId(valueClass)}`,
+            cls: "user",
+            label: {
+                kind: "input",
+                valueClass,
+                ...(locator ? { locator } : {}),
+            },
+            source: [{ file: fileName, ...lineAndColumn(source, node) }],
+            guard: { kind: "lit", value: true },
+            effect: {
+                kind: "assign",
+                var: setter.varId,
+                expr: { kind: "lit", value },
+            },
+            reads: [],
+            writes: [setter.varId],
+            confidence: "exact",
+        }));
+    }
+    return [
+        {
+            id: `${component}.${attr}.${setter.stateName}`,
+            cls: "user",
+            label: {
+                kind: "input",
+                valueClass: valueClassForDomain(setter.domain),
+                ...(locator ? { locator } : {}),
+            },
+            source: [{ file: fileName, ...lineAndColumn(source, node) }],
+            guard: { kind: "lit", value: true },
+            effect: { kind: "havoc", var: setter.varId },
+            reads: [],
+            writes: [setter.varId],
+            confidence: "over-approx",
+        },
+    ];
+}
+function literalInputValues(attribute) {
+    return selectOptionValues(attribute) ?? radioInputValue(attribute);
+}
+function selectOptionValues(attribute) {
+    const attrs = attribute.parent;
+    if (!ts.isJsxAttributes(attrs))
+        return undefined;
+    const opening = attrs.parent;
+    if (!ts.isJsxOpeningElement(opening) ||
+        opening.tagName.getText() !== "select" ||
+        !ts.isJsxElement(opening.parent))
+        return undefined;
+    const values = opening.parent.children
+        .filter(ts.isJsxElement)
+        .filter((child) => child.openingElement.tagName.getText() === "option")
+        .map((child) => optionValue(child))
+        .filter((value) => Boolean(value));
+    return values.length > 0 ? new Set(values) : undefined;
+}
+function optionValue(option) {
+    const value = stringAttribute(option.openingElement.attributes, "value");
+    if (value)
+        return value;
+    return simpleElementText(option.openingElement);
+}
+function radioInputValue(attribute) {
+    const attrs = attribute.parent;
+    if (!ts.isJsxAttributes(attrs))
+        return undefined;
+    const opening = attrs.parent;
+    if (!ts.isJsxOpeningElement(opening) && !ts.isJsxSelfClosingElement(opening))
+        return undefined;
+    if (opening.tagName.getText() !== "input" ||
+        stringAttribute(attrs, "type") !== "radio")
+        return undefined;
+    const value = stringAttribute(attrs, "value");
+    return value ? new Set([value]) : undefined;
+}
+function finiteInputValues(domain) {
+    if (domain.kind === "enum")
+        return domain.values.map((value) => ({ value, valueClass: value }));
+    if (domain.kind === "boundedInt") {
+        return Array.from({ length: domain.max - domain.min + 1 }, (_, index) => {
+            const value = domain.min + index;
+            return { value, valueClass: String(value) };
+        });
+    }
+    if (domain.kind === "bool") {
+        return [
+            { value: false, valueClass: "false" },
+            { value: true, valueClass: "true" },
+        ];
+    }
+    return [];
+}
+function stringAttribute(attrs, name) {
+    const attr = attrs.properties.find((property) => ts.isJsxAttribute(property) &&
+        ts.isIdentifier(property.name) &&
+        property.name.text === name);
+    if (!attr?.initializer || !ts.isStringLiteral(attr.initializer))
+        return undefined;
+    return attr.initializer.text;
+}
+function simpleElementText(node) {
+    let text = "";
+    const visit = (candidate) => {
+        if (ts.isJsxText(candidate))
+            text += candidate.text.trim();
+        ts.forEachChild(candidate, visit);
+    };
+    visit(node);
+    return text || undefined;
+}
+function valueClassForDomain(domain) {
+    if (domain.kind === "lengthCat")
+        return "many";
+    if (domain.kind === "bool")
+        return "true";
+    if (domain.kind === "enum")
+        return domain.values[0] ?? "value";
+    return "nonEmpty";
+}
+function safeId(value) {
+    return (value.replace(/[^A-Za-z0-9]+/g, "_").replace(/^_+|_+$/g, "") || "event");
+}
+//# sourceMappingURL=input-transitions.js.map

package/dist/extract/engine/ts/input-transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-transitions.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/input-transitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAGzC,MAAM,UAAU,gBAAgB,CAC9B,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,SAAiB,EACjB,MAAqB,EACrB,OAA4B;IAE5B,MAAM,aAAa,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,aAAa;QAC1B,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CACzD,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAC9B;QACH,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;YAC5C,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE;YACpE,GAAG,EAAE,MAAe;YACpB,KAAK,EAAE;gBACL,IAAI,EAAE,OAAgB;gBACtB,UAAU;gBACV,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChC;YACD,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE,IAAI,EAAE;YAC5C,MAAM,EAAE;gBACN,IAAI,EAAE,QAAiB;gBACvB,GAAG,EAAE,MAAM,CAAC,KAAK;gBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE;aACtC;YACD,KAAK,EAAE,EAAE;YACT,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;YACtB,UAAU,EAAE,OAAgB;SAC7B,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO;QACL;YACE,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,SAAS,EAAE;YAC9C,GAAG,EAAE,MAAM;YACX,KAAK,EAAE;gBACL,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC9C,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChC;YACD,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;YACnC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;YAC5C,KAAK,EAAE,EAAE;YACT,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;YACtB,UAAU,EAAE,aAAa;SAC1B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,SAA0B;IAE1B,OAAO,kBAAkB,CAAC,SAAS,CAAC,IAAI,eAAe,CAAC,SAAS,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,kBAAkB,CACzB,SAA0B;IAE1B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7B,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;QAChC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,QAAQ;QACtC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC;QAEhC,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ;SACnC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC;SACvB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,QAAQ,CAAC;SACtE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;SAClC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC;AAED,SAAS,WAAW,CAAC,MAAqB;IACxC,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACzE,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,iBAAiB,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,eAAe,CAAC,SAA0B;IACjD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;QAC1E,OAAO,SAAS,CAAC;IACnB,IACE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,OAAO;QACrC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,OAAO;QAE1C,OAAO,SAAS,CAAC;IACnB,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9C,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAsB;IAEtB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QACxB,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YACtE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,GAAG,KAAK,CAAC;YACjC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO;YACL,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE;YACrC,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE;SACpC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,eAAe,CACtB,KAAuB,EACvB,IAAY;IAEZ,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAChC,CAAC,QAAQ,EAA+B,EAAE,CACxC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;QAC3B,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC9B,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,WAAW,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;QAC7D,OAAO,SAAS,CAAC;IACnB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;AAC/B,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa;IACtC,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC;YAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3D,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,IAAI,IAAI,SAAS,CAAC;AAC3B,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB;IACjD,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,MAAM,CAAC;IAC/C,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC;IAC/D,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,OAAO,CACxE,CAAC;AACJ,CAAC"}

package/dist/extract/engine/ts/jsx.d.ts

@@ -0,0 +1,3 @@
+export { isIntrinsicJsxAttribute, jsxTagName, } from "./components.js";
+export { jsxRouteTarget } from "./routes.js";
+//# sourceMappingURL=jsx.d.ts.map

package/dist/extract/engine/ts/jsx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/jsx.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC"}

package/dist/extract/engine/ts/jsx.js

@@ -0,0 +1,3 @@
+export { isIntrinsicJsxAttribute, jsxTagName, } from "./components.js";
+export { jsxRouteTarget } from "./routes.js";
+//# sourceMappingURL=jsx.js.map

package/dist/extract/engine/ts/jsx.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/jsx.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC"}

package/dist/extract/engine/ts/react-source-transitions.d.ts

@@ -0,0 +1,24 @@
+import type { StateVarDecl, Transition, Value } from "modality-ts/core";
+import type { ExtractionWarning } from "./types.js";
+import type { RouterPlugin, StateSourcePlugin, WriteChannel } from "../spi/index.js";
+export interface ReactSourceTransitionOptions {
+    route?: string;
+    fileName?: string;
+    effectApis?: readonly string[];
+    routePatterns?: readonly string[];
+    asyncOutcomes?: Record<string, {
+        success: Value;
+        error?: Value;
+    }>;
+    stateVars?: readonly StateVarDecl[];
+    writeChannels?: readonly WriteChannel[];
+    sourcePlugins?: readonly StateSourcePlugin[];
+    routerPlugin?: RouterPlugin;
+}
+export interface ReactSourceTransitionResult {
+    vars: StateVarDecl[];
+    transitions: Transition[];
+    warnings: ExtractionWarning[];
+}
+export declare function extractReactSourceTransitions(sourceText: string, options?: ReactSourceTransitionOptions): ReactSourceTransitionResult;
+//# sourceMappingURL=react-source-transitions.d.ts.map

package/dist/extract/engine/ts/react-source-transitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-source-transitions.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/react-source-transitions.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,KAAK,EAEV,iBAAiB,EAElB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACb,MAAM,iBAAiB,CAAC;AA0BzB,MAAM,WAAW,4BAA4B;IAC3C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,OAAO,EAAE,KAAK,CAAC;QAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;IAClE,SAAS,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACpC,aAAa,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,QAAQ,EAAE,iBAAiB,EAAE,CAAC;CAC/B;AAED,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,4BAAiC,GACzC,2BAA2B,CAyV7B"}

package/dist/extract/engine/ts/react-source-transitions.js

@@ -0,0 +1,243 @@
+import * as ts from "typescript";
+import { componentNameFor, extractableHandlerInitializer, isExtractableHandler, isUseEffectCall, isUseReducerCall, isUseStateCall, lineAndColumn, providerComponentNames, } from "./ast.js";
+import { componentDeclarations, calledCustomHook, customHookDeclarations, detectStatefulListComponents, inlineCustomHookState, isCustomHookDeclaration, isForwardablePropName, isIntrinsicJsxAttribute, listRenderedHandlerInfo, } from "./components.js";
+import { bindContextHookObjectDeclaration, bindSetter, discoverContextBindings, setterBindingFromDecl, settersForComponent, } from "./context.js";
+import { tagStableIdKey, withStableTransitionIds } from "./ids.js";
+import { staticNavigationTransitions } from "./static-navigation.js";
+import { inferUseStateDomain, initialValueForUseState, typeAliasDeclarations, } from "./domains.js";
+import { transitionsFromTimerCall, timerSetterTaints, refSetterTaint, handlerSchedulesModeledTimer, } from "./transition/timers.js";
+import { transitionsFromJsxAttribute, transitionsFromComponentPropAttribute, transitionsFromBoundedListAttribute, } from "./transition/handlers.js";
+import { combineParsedGuards, disabledGuardFor, renderGuardFor, } from "./transition/guards.js";
+import { componentGuardLocalsFor } from "./transition/locals.js";
+import { forwardsComponentProp } from "./transition/component-props.js";
+import { isEventAttribute } from "./transition/ui.js";
+import { linkNavigationTransition } from "./transition/navigation.js";
+import { transitionsFromUseEffect, useEffectWritesModeledState, } from "./transition/effects.js";
+export function extractReactSourceTransitions(sourceText, options = {}) {
+    const fileName = options.fileName ?? "App.tsx";
+    const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
+    const typeAliases = typeAliasDeclarations(source);
+    const vars = options.stateVars ? [...options.stateVars] : [];
+    const transitions = [];
+    const warnings = [];
+    const route = options.route ?? "/";
+    const routePatterns = options.routePatterns ?? [];
+    const effectApis = new Set(options.effectApis ?? []);
+    const sourcePlugins = options.sourcePlugins ?? [];
+    const routerPlugin = options.routerPlugin;
+    const setters = new Map();
+    const contextBindings = discoverContextBindings(source, fileName, route, typeAliases);
+    const globalTaints = new Set();
+    const components = componentDeclarations(source);
+    const providerComponents = providerComponentNames(source);
+    const customHooks = customHookDeclarations(source);
+    const statefulListComponents = detectStatefulListComponents(source, components);
+    const reportedStatefulListComponents = new Set();
+    const reportedCustomHooks = new Set();
+    for (const decl of contextBindings.vars) {
+        if (!vars.some((candidate) => candidate.id === decl.id))
+            vars.push(decl);
+    }
+    for (const channel of options.writeChannels ?? []) {
+        const decl = vars.find((candidate) => candidate.id === channel.varId);
+        if (!decl)
+            continue;
+        bindSetter(setters, channel.symbolName, setterBindingFromDecl(decl));
+    }
+    for (const [symbolName, setter] of contextBindings.setters)
+        setters.set(symbolName, setter);
+    const handlers = new Map();
+    const visit = (node, componentName) => {
+        if (!componentName && isCustomHookDeclaration(node))
+            return;
+        const nextComponent = componentNameFor(node) ?? componentName;
+        if (ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            node.initializer) {
+            const handler = extractableHandlerInitializer(node.initializer);
+            if (handler)
+                handlers.set(node.name.text, handler);
+        }
+        if (ts.isFunctionDeclaration(node) &&
+            node.name &&
+            isExtractableHandler(node)) {
+            handlers.set(node.name.text, node);
+        }
+        if (ts.isVariableDeclaration(node) &&
+            node.initializer &&
+            isUseReducerCall(node.initializer)) {
+            warnings.push({
+                message: `Unsupported useReducer ${nextComponent ?? "Anonymous"}.useReducer`,
+                ...lineAndColumn(source, node),
+            });
+        }
+        bindContextHookObjectDeclaration(node, contextBindings, setters);
+        if (ts.isVariableDeclaration(node) &&
+            nextComponent &&
+            inlineCustomHookState(source, fileName, node, customHooks, vars, setters, nextComponent, route)) {
+            return;
+        }
+        const customHook = calledCustomHook(node, new Set(customHooks.keys()));
+        if (customHook && nextComponent) {
+            const key = `${nextComponent}.${customHook}`;
+            if (!contextBindings.hookReturns.has(customHook) &&
+                !reportedCustomHooks.has(key)) {
+                reportedCustomHooks.add(key);
+                warnings.push({
+                    message: `Unextractable custom hook ${key}`,
+                    ...lineAndColumn(source, node),
+                });
+            }
+        }
+        if (ts.isVariableDeclaration(node) &&
+            ts.isArrayBindingPattern(node.name) &&
+            node.initializer &&
+            isUseStateCall(node.initializer)) {
+            if (nextComponent && statefulListComponents.has(nextComponent)) {
+                if (!reportedStatefulListComponents.has(nextComponent)) {
+                    reportedStatefulListComponents.add(nextComponent);
+                    warnings.push({
+                        message: `Unextractable stateful list item ${nextComponent}`,
+                        ...lineAndColumn(source, node),
+                    });
+                }
+                ts.forEachChild(node, (child) => visit(child, nextComponent));
+                return;
+            }
+            const stateName = node.name.elements[0];
+            const setterName = node.name.elements[1];
+            if (ts.isBindingElement(stateName) && ts.isIdentifier(stateName.name)) {
+                const domain = inferUseStateDomain(node.initializer, typeAliases);
+                const component = nextComponent ?? "Anonymous";
+                const varId = `local:${component}.${stateName.name.text}`;
+                if (!options.stateVars) {
+                    vars.push({
+                        id: varId,
+                        domain,
+                        origin: { file: fileName, ...lineAndColumn(source, node) },
+                        scope: providerComponents.has(component)
+                            ? { kind: "global" }
+                            : { kind: "route-local", route },
+                        initial: initialValueForUseState(node.initializer, domain),
+                    });
+                }
+                if (setterName &&
+                    ts.isBindingElement(setterName) &&
+                    ts.isIdentifier(setterName.name)) {
+                    if (!options.writeChannels)
+                        bindSetter(setters, setterName.name.text, {
+                            varId,
+                            component,
+                            stateName: stateName.name.text,
+                            domain,
+                        });
+                }
+            }
+            else {
+                warnings.push({
+                    message: "Unsupported useState binding pattern",
+                    ...lineAndColumn(source, node),
+                });
+            }
+        }
+        const link = linkNavigationTransition(source, fileName, node, nextComponent ?? "Anonymous", routePatterns);
+        if (link)
+            transitions.push(link);
+        const scopedSetters = settersForComponent(setters, nextComponent);
+        const refTaint = refSetterTaint(node, scopedSetters);
+        if (refTaint) {
+            const key = `Global taint ${refTaint.varId}`;
+            if (!globalTaints.has(key)) {
+                globalTaints.add(key);
+                warnings.push({
+                    message: key,
+                    ...lineAndColumn(source, refTaint.node),
+                });
+            }
+        }
+        transitions.push(...transitionsFromTimerCall(source, fileName, node, scopedSetters, nextComponent ?? "Anonymous"));
+        for (const timerTaint of timerSetterTaints(node, scopedSetters)) {
+            const key = `Global taint ${timerTaint.varId}`;
+            if (!globalTaints.has(key)) {
+                globalTaints.add(key);
+                warnings.push({
+                    message: key,
+                    ...lineAndColumn(source, timerTaint.node),
+                });
+            }
+        }
+        if (ts.isJsxAttribute(node) &&
+            ts.isIdentifier(node.name) &&
+            node.initializer &&
+            isForwardablePropName(node.name.text) &&
+            !isIntrinsicJsxAttribute(node)) {
+            const extracted = transitionsFromComponentPropAttribute(source, fileName, node, scopedSetters, handlers, components, nextComponent ?? "Anonymous", effectApis, options.asyncOutcomes ?? {}, sourcePlugins, routerPlugin, warnings);
+            transitions.push(...extracted);
+            if (extracted.length === 0) {
+                warnings.push({
+                    message: `Unextractable handler ${nextComponent ?? "Anonymous"}.${node.name.text}`,
+                    ...lineAndColumn(source, node),
+                });
+            }
+        }
+        if (ts.isJsxAttribute(node) &&
+            ts.isIdentifier(node.name) &&
+            node.initializer &&
+            isEventAttribute(node.name.text) &&
+            isIntrinsicJsxAttribute(node)) {
+            const listInfo = listRenderedHandlerInfo(node, vars, nextComponent ?? "Anonymous");
+            if (listInfo) {
+                if (listInfo.domain.kind === "boundedList") {
+                    const extracted = transitionsFromBoundedListAttribute(source, fileName, node, scopedSetters, handlers, nextComponent ?? "Anonymous", {
+                        varId: listInfo.varId,
+                        domain: listInfo.domain,
+                        itemName: listInfo.itemName,
+                    });
+                    if (extracted.length > 0) {
+                        transitions.push(...tagStableIdKey(extracted, node));
+                        ts.forEachChild(node, (child) => visit(child, nextComponent));
+                        return;
+                    }
+                }
+                warnings.push({
+                    message: `Unextractable list-rendered handler ${nextComponent ?? "Anonymous"}.${node.name.text} over ${listInfo.domain.kind} ${listInfo.varId}`,
+                    ...lineAndColumn(source, node),
+                });
+                ts.forEachChild(node, (child) => visit(child, nextComponent));
+                return;
+            }
+            const guardLocals = componentGuardLocalsFor(node, scopedSetters);
+            const guard = combineParsedGuards([
+                renderGuardFor(node, scopedSetters, warnings, source, nextComponent ?? "Anonymous", guardLocals),
+                disabledGuardFor(node, scopedSetters, warnings, source, nextComponent ?? "Anonymous", guardLocals),
+            ]);
+            const extracted = transitionsFromJsxAttribute(source, fileName, node, scopedSetters, handlers, nextComponent ?? "Anonymous", effectApis, options.asyncOutcomes ?? {}, sourcePlugins, routerPlugin, guard, routePatterns, contextBindings, warnings);
+            transitions.push(...extracted);
+            if (extracted.length === 0 &&
+                !forwardsComponentProp(node, handlers, components.get(nextComponent ?? "")) &&
+                !handlerSchedulesModeledTimer(node, handlers, scopedSetters)) {
+                warnings.push({
+                    message: `Unextractable handler ${nextComponent ?? "Anonymous"}.${node.name.text}`,
+                    ...lineAndColumn(source, node),
+                });
+            }
+        }
+        if (ts.isCallExpression(node) && isUseEffectCall(node)) {
+            const extracted = transitionsFromUseEffect(source, fileName, node, scopedSetters, nextComponent ?? "Anonymous");
+            transitions.push(...extracted);
+            if (extracted.length === 0 &&
+                useEffectWritesModeledState(node, scopedSetters) &&
+                !providerComponents.has(nextComponent ?? "")) {
+                warnings.push({
+                    message: `Unextractable effect ${nextComponent ?? "Anonymous"}.useEffect`,
+                    ...lineAndColumn(source, node),
+                });
+            }
+        }
+        ts.forEachChild(node, (child) => visit(child, nextComponent));
+    };
+    visit(source, undefined);
+    transitions.push(...staticNavigationTransitions(source, fileName, routePatterns, components));
+    return { vars, transitions: withStableTransitionIds(transitions), warnings };
+}
+//# sourceMappingURL=react-source-transitions.js.map

package/dist/extract/engine/ts/react-source-transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-source-transitions.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/react-source-transitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,gBAAgB,EAChB,6BAA6B,EAC7B,oBAAoB,EACpB,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,sBAAsB,GACvB,MAAM,UAAU,CAAC;AAClB,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,sBAAsB,EACtB,4BAA4B,EAC5B,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,gCAAgC,EAChC,UAAU,EACV,uBAAuB,EACvB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,MAAM,UAAU,CAAC;AACnE,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AAYtB,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,cAAc,EACd,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,2BAA2B,EAC3B,qCAAqC,EACrC,mCAAmC,GACpC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,cAAc,GACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AAoBjC,MAAM,UAAU,6BAA6B,CAC3C,UAAkB,EAClB,UAAwC,EAAE;IAE1C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC/C,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,IAAI,GAAmB,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7E,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC;IACnC,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACrD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;IAClD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,eAAe,GAAG,uBAAuB,CAC7C,MAAM,EACN,QAAQ,EACR,KAAK,EACL,WAAW,CACZ,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,sBAAsB,GAAG,4BAA4B,CACzD,MAAM,EACN,UAAU,CACX,CAAC;IACF,MAAM,8BAA8B,GAAG,IAAI,GAAG,EAAU,CAAC;IACzD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,OAAO;QACxD,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,aAAiC,EAAQ,EAAE;QACvE,IAAI,CAAC,aAAa,IAAI,uBAAuB,CAAC,IAAI,CAAC;YAAE,OAAO;QAC5D,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC;QAC9D,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW,EAChB,CAAC;YACD,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAChE,IAAI,OAAO;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,IAAI;YACT,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,WAAW;YAChB,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,EAClC,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,0BAA0B,aAAa,IAAI,WAAW,aAAa;gBAC5E,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;aAC/B,CAAC,CAAC;QACL,CAAC;QACD,gCAAgC,CAAC,IAAI,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;QACjE,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,aAAa;YACb,qBAAqB,CACnB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,IAAI,EACJ,OAAO,EACP,aAAa,EACb,KAAK,CACN,EACD,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACvE,IAAI,UAAU,IAAI,aAAa,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,GAAG,aAAa,IAAI,UAAU,EAAE,CAAC;YAC7C,IACE,CAAC,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC;gBAC5C,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAC7B,CAAC;gBACD,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,6BAA6B,GAAG,EAAE;oBAC3C,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;YACnC,IAAI,CAAC,WAAW;YAChB,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,EAChC,CAAC;YACD,IAAI,aAAa,IAAI,sBAAsB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC/D,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;oBACvD,8BAA8B,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;oBAClD,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,oCAAoC,aAAa,EAAE;wBAC5D,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;qBAC/B,CAAC,CAAC;gBACL,CAAC;gBACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;gBAC9D,OAAO;YACT,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtE,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;gBAClE,MAAM,SAAS,GAAG,aAAa,IAAI,WAAW,CAAC;gBAC/C,MAAM,KAAK,GAAG,SAAS,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1D,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;oBACvB,IAAI,CAAC,IAAI,CAAC;wBACR,EAAE,EAAE,KAAK;wBACT,MAAM;wBACN,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;wBAC1D,KAAK,EAAE,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC;4BACtC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;4BACpB,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE;wBAClC,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC;qBAC3D,CAAC,CAAC;gBACL,CAAC;gBACD,IACE,UAAU;oBACV,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;oBAC/B,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAChC,CAAC;oBACD,IAAI,CAAC,OAAO,CAAC,aAAa;wBACxB,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE;4BACxC,KAAK;4BACL,SAAS;4BACT,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI;4BAC9B,MAAM;yBACP,CAAC,CAAC;gBACP,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,sCAAsC;oBAC/C,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,wBAAwB,CACnC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,IAAI,WAAW,EAC5B,aAAa,CACd,CAAC;QACF,IAAI,IAAI;YAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACrD,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,gBAAgB,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC7C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG;oBACZ,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;iBACxC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,WAAW,CAAC,IAAI,CACd,GAAG,wBAAwB,CACzB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,aAAa,IAAI,WAAW,CAC7B,CACF,CAAC;QACF,KAAK,MAAM,UAAU,IAAI,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;YAChE,MAAM,GAAG,GAAG,gBAAgB,UAAU,CAAC,KAAK,EAAE,CAAC;YAC/C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG;oBACZ,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;iBAC1C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACrC,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAC9B,CAAC;YACD,MAAM,SAAS,GAAG,qCAAqC,CACrD,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,UAAU,EACV,aAAa,IAAI,WAAW,EAC5B,UAAU,EACV,OAAO,CAAC,aAAa,IAAI,EAAE,EAC3B,aAAa,EACb,YAAY,EACZ,QAAQ,CACT,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAC/B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,yBAAyB,aAAa,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;oBAClF,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAChC,uBAAuB,CAAC,IAAI,CAAC,EAC7B,CAAC;YACD,MAAM,QAAQ,GAAG,uBAAuB,CACtC,IAAI,EACJ,IAAI,EACJ,aAAa,IAAI,WAAW,CAC7B,CAAC;YACF,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC3C,MAAM,SAAS,GAAG,mCAAmC,CACnD,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,aAAa,IAAI,WAAW,EAC5B;wBACE,KAAK,EAAE,QAAQ,CAAC,KAAK;wBACrB,MAAM,EAAE,QAAQ,CAAC,MAAM;wBACvB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;qBAC5B,CACF,CAAC;oBACF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACzB,WAAW,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;wBACrD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;wBAC9D,OAAO;oBACT,CAAC;gBACH,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,uCAAuC,aAAa,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE;oBAC/I,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;gBACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;gBAC9D,OAAO;YACT,CAAC;YACD,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YACjE,MAAM,KAAK,GAAG,mBAAmB,CAAC;gBAChC,cAAc,CACZ,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,MAAM,EACN,aAAa,IAAI,WAAW,EAC5B,WAAW,CACZ;gBACD,gBAAgB,CACd,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,MAAM,EACN,aAAa,IAAI,WAAW,EAC5B,WAAW,CACZ;aACF,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,2BAA2B,CAC3C,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,aAAa,IAAI,WAAW,EAC5B,UAAU,EACV,OAAO,CAAC,aAAa,IAAI,EAAE,EAC3B,aAAa,EACb,YAAY,EACZ,KAAK,EACL,aAAa,EACb,eAAe,EACf,QAAQ,CACT,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAC/B,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,qBAAqB,CACpB,IAAI,EACJ,QAAQ,EACR,UAAU,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CACpC;gBACD,CAAC,4BAA4B,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,EAC5D,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,yBAAyB,aAAa,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;oBAClF,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,SAAS,GAAG,wBAAwB,CACxC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,aAAa,IAAI,WAAW,CAC7B,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAC/B,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;gBACtB,2BAA2B,CAAC,IAAI,EAAE,aAAa,CAAC;gBAChD,CAAC,kBAAkB,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,EAC5C,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,wBAAwB,aAAa,IAAI,WAAW,YAAY;oBACzE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACzB,WAAW,CAAC,IAAI,CACd,GAAG,2BAA2B,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,CAAC,CAC5E,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,uBAAuB,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC/E,CAAC"}

package/dist/extract/engine/ts/routes.d.ts

@@ -0,0 +1,9 @@
+import * as ts from "typescript";
+import type { ExprIR } from "modality-ts/core";
+export declare function routeMountGuard(component: string, routePatterns: readonly string[]): ExprIR;
+export declare function routeMountReads(component: string, routePatterns: readonly string[]): string[];
+export declare function jsxRouteTarget(attribute: ts.JsxAttribute, routePatterns: readonly string[]): string | undefined;
+export declare function routeTargetValue(expression: ts.Expression | undefined, routePatterns: readonly string[]): string | undefined;
+export declare function templateRoutePattern(expression: ts.TemplateExpression): string | undefined;
+export declare function normalizeRouteTarget(target: string, routePatterns: readonly string[]): string;
+//# sourceMappingURL=routes.d.ts.map

package/dist/extract/engine/ts/routes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"routes.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/routes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG/C,wBAAgB,eAAe,CAC7B,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,CAWR;AAED,wBAAgB,eAAe,CAC7B,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,EAAE,CAIV;AAED,wBAAgB,cAAc,CAC5B,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,GAAG,SAAS,CAUpB;AAED,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,EACrC,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,GAAG,SAAS,CAYpB;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,EAAE,CAAC,kBAAkB,GAChC,MAAM,GAAG,SAAS,CAKpB;AAED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,CAYR"}

package/dist/extract/engine/ts/routes.js

@@ -0,0 +1,94 @@
+import * as ts from "typescript";
+import { literalValue } from "./ast.js";
+export function routeMountGuard(component, routePatterns) {
+    const route = routeForComponent(component, routePatterns);
+    return route
+        ? {
+            kind: "eq",
+            args: [
+                { kind: "read", var: "sys:route" },
+                { kind: "lit", value: route },
+            ],
+        }
+        : { kind: "lit", value: true };
+}
+export function routeMountReads(component, routePatterns) {
+    return routeForComponent(component, routePatterns)
+        ? ["sys:history", "sys:route"]
+        : ["sys:route", "sys:history"];
+}
+export function jsxRouteTarget(attribute, routePatterns) {
+    if (!attribute.initializer)
+        return undefined;
+    if (ts.isStringLiteral(attribute.initializer))
+        return normalizeRouteTarget(attribute.initializer.text, routePatterns);
+    if (!ts.isJsxExpression(attribute.initializer) ||
+        !attribute.initializer.expression)
+        return undefined;
+    return routeTargetValue(attribute.initializer.expression, routePatterns);
+}
+export function routeTargetValue(expression, routePatterns) {
+    if (!expression)
+        return undefined;
+    const literal = literalValue(expression);
+    if (typeof literal === "string")
+        return normalizeRouteTarget(literal, routePatterns);
+    if (ts.isNoSubstitutionTemplateLiteral(expression))
+        return normalizeRouteTarget(expression.text, routePatterns);
+    if (ts.isTemplateExpression(expression)) {
+        const pattern = templateRoutePattern(expression);
+        return pattern ? normalizeRouteTarget(pattern, routePatterns) : undefined;
+    }
+    return undefined;
+}
+export function templateRoutePattern(expression) {
+    let value = expression.head.text;
+    for (const span of expression.templateSpans)
+        value += `:param${span.literal.text}`;
+    return value;
+}
+export function normalizeRouteTarget(target, routePatterns) {
+    const withoutQuery = target.split(/[?#]/)[0] || "/";
+    const slash = withoutQuery.startsWith("/")
+        ? withoutQuery
+        : `/${withoutQuery}`;
+    const matched = [...routePatterns]
+        .sort((left, right) => routePatternSpecificity(right) - routePatternSpecificity(left))
+        .find((pattern) => routePatternMatches(pattern, slash));
+    return matched ?? slash.replace(/\/:param(?=\/|$)/g, "/:id");
+}
+function routeForComponent(component, routePatterns) {
+    const normalized = normalizeComponentRouteName(component);
+    if (!normalized)
+        return undefined;
+    return routePatterns.find((pattern) => normalizeRouteComponentName(pattern) === normalized);
+}
+function normalizeComponentRouteName(component) {
+    return component.replace(/[^a-zA-Z0-9]/g, "").toLowerCase();
+}
+function normalizeRouteComponentName(route) {
+    const parts = route.replace(/^\/+/, "").split("/").filter(Boolean);
+    if (parts.length !== 1)
+        return "";
+    const [part] = parts;
+    if (!part || part.startsWith(":") || part === "*")
+        return "";
+    return part.replace(/[^a-zA-Z0-9]/g, "").toLowerCase();
+}
+function routePatternSpecificity(pattern) {
+    return pattern
+        .replace(/^\/+/, "")
+        .split("/")
+        .filter((part) => part && !part.startsWith(":") && part !== "*").length;
+}
+function routePatternMatches(pattern, target) {
+    const left = pattern.replace(/^\/+/, "").split("/");
+    const right = target.replace(/^\/+/, "").split("/");
+    if (left.length !== right.length)
+        return false;
+    return left.every((part, index) => part.startsWith(":") ||
+        part === "*" ||
+        part === right[index] ||
+        right[index] === ":param");
+}
+//# sourceMappingURL=routes.js.map