modality-ts 0.0.8 → 0.0.10

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

@@ -0,0 +1,262 @@
+import * as ts from "typescript";
+import { validateValue, } from "modality-ts/core";
+export function inferDomainFromTypeNode(node, typeAliases = new Map()) {
+    if (!node)
+        return { kind: "tokens", count: 1 };
+    switch (node.kind) {
+        case ts.SyntaxKind.BooleanKeyword:
+            return { kind: "bool" };
+        case ts.SyntaxKind.StringKeyword:
+        case ts.SyntaxKind.NumberKeyword:
+        case ts.SyntaxKind.AnyKeyword:
+        case ts.SyntaxKind.UnknownKeyword:
+            return { kind: "tokens", count: 1 };
+        case ts.SyntaxKind.LiteralType:
+            return domainFromLiteralType(node);
+        case ts.SyntaxKind.UnionType:
+            return domainFromUnion(node, typeAliases);
+        case ts.SyntaxKind.TypeLiteral:
+            return domainFromTypeLiteral(node);
+        case ts.SyntaxKind.ArrayType:
+            return { kind: "lengthCat" };
+        case ts.SyntaxKind.TypeReference:
+            return domainFromTypeReference(node, typeAliases);
+        default:
+            return { kind: "tokens", count: 1 };
+    }
+}
+export function inferUseStateDomain(call, typeAliases = new Map()) {
+    const typeArg = call.typeArguments?.[0];
+    if (typeArg)
+        return inferDomainFromTypeNode(typeArg, typeAliases);
+    const initial = call.arguments[0];
+    if (!initial)
+        return { kind: "tokens", count: 1 };
+    if (initial.kind === ts.SyntaxKind.TrueKeyword ||
+        initial.kind === ts.SyntaxKind.FalseKeyword)
+        return { kind: "bool" };
+    if (ts.isStringLiteral(initial) || ts.isNumericLiteral(initial))
+        return { kind: "enum", values: [initial.text] };
+    if (initial.kind === ts.SyntaxKind.NullKeyword)
+        return { kind: "option", inner: { kind: "tokens", count: 1 } };
+    if (ts.isArrayLiteralExpression(initial))
+        return { kind: "lengthCat" };
+    return { kind: "tokens", count: 1 };
+}
+export function initialValueForUseState(call, domain) {
+    const initial = call.arguments[0];
+    if (!initial)
+        return firstValue(domain);
+    const parsed = initialValueFromExpression(initial, domain);
+    if (parsed !== undefined)
+        return parsed;
+    if (initial.kind === ts.SyntaxKind.TrueKeyword)
+        return validInitialOrFirst(domain, true);
+    if (initial.kind === ts.SyntaxKind.FalseKeyword)
+        return validInitialOrFirst(domain, false);
+    if (ts.isStringLiteral(initial))
+        return validInitialOrFirst(domain, initial.text);
+    if (ts.isNumericLiteral(initial))
+        return validInitialOrFirst(domain, Number(initial.text));
+    if (initial.kind === ts.SyntaxKind.NullKeyword)
+        return validInitialOrFirst(domain, null);
+    if (ts.isArrayLiteralExpression(initial))
+        return validInitialOrFirst(domain, initial.elements.length === 0
+            ? "0"
+            : initial.elements.length === 1
+                ? "1"
+                : "many");
+    return firstValue(domain);
+}
+export function firstValue(domain) {
+    switch (domain.kind) {
+        case "bool":
+            return false;
+        case "enum":
+            return domain.values[0] ?? "";
+        case "boundedInt":
+            return domain.min;
+        case "option":
+            return null;
+        case "record":
+            return Object.fromEntries(Object.entries(domain.fields).map(([key, field]) => [
+                key,
+                firstValue(field),
+            ]));
+        case "tagged": {
+            const [tagValue, variant] = Object.entries(domain.variants)[0] ?? [
+                "unknown",
+                { kind: "record", fields: {} },
+            ];
+            return { ...firstValue(variant), [domain.tag]: tagValue };
+        }
+        case "tokens":
+            return domain.names?.[0] ?? "tok1";
+        case "lengthCat":
+            return "0";
+        case "boundedList":
+            return [];
+    }
+}
+export function typeAliasDeclarations(source) {
+    const aliases = new Map();
+    const visit = (node) => {
+        if (ts.isTypeAliasDeclaration(node) && ts.isIdentifier(node.name))
+            aliases.set(node.name.text, node.type);
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return aliases;
+}
+function initialValueFromExpression(expression, domain) {
+    const literal = literalValue(expression);
+    if (literal !== undefined)
+        return validateValue(domain, literal) ? literal : undefined;
+    if (domain.kind === "option")
+        return initialValueFromExpression(expression, domain.inner);
+    if (domain.kind === "record" && ts.isObjectLiteralExpression(expression)) {
+        const fields = {};
+        for (const [field, fieldDomain] of Object.entries(domain.fields)) {
+            const property = expression.properties.find((candidate) => ts.isPropertyAssignment(candidate) &&
+                propertyName(candidate.name) === field);
+            fields[field] = property
+                ? (initialValueFromExpression(property.initializer, fieldDomain) ??
+                    firstValue(fieldDomain))
+                : firstValue(fieldDomain);
+        }
+        return fields;
+    }
+    return undefined;
+}
+function validInitialOrFirst(domain, value) {
+    return validateValue(domain, value) ? value : firstValue(domain);
+}
+function domainFromLiteralType(node) {
+    const lit = node.literal;
+    if (lit.kind === ts.SyntaxKind.TrueKeyword ||
+        lit.kind === ts.SyntaxKind.FalseKeyword)
+        return { kind: "bool" };
+    if (ts.isStringLiteral(lit))
+        return { kind: "enum", values: [lit.text] };
+    if (ts.isNumericLiteral(lit))
+        return { kind: "boundedInt", min: Number(lit.text), max: Number(lit.text) };
+    if (lit.kind === ts.SyntaxKind.NullKeyword)
+        return { kind: "option", inner: { kind: "tokens", count: 1 } };
+    return { kind: "tokens", count: 1 };
+}
+function domainFromUnion(node, typeAliases = new Map()) {
+    const nonNull = node.types.filter((part) => part.kind !== ts.SyntaxKind.UndefinedKeyword &&
+        !(ts.isLiteralTypeNode(part) &&
+            part.literal.kind === ts.SyntaxKind.NullKeyword));
+    if (nonNull.length !== node.types.length && nonNull.length > 0) {
+        return {
+            kind: "option",
+            inner: nonNull.length === 1
+                ? inferDomainFromTypeNode(nonNull[0], typeAliases)
+                : domainFromUnionMembers(nonNull),
+        };
+    }
+    return domainFromUnionMembers(node.types);
+}
+function domainFromUnionMembers(types) {
+    const literalValues = [];
+    const numericValues = [];
+    for (const part of types) {
+        if (!ts.isLiteralTypeNode(part))
+            return taggedUnionFromMembers(types) ?? { kind: "tokens", count: 1 };
+        const lit = part.literal;
+        if (ts.isStringLiteral(lit))
+            literalValues.push(lit.text);
+        else if (ts.isNumericLiteral(lit))
+            numericValues.push(Number(lit.text));
+        else
+            return taggedUnionFromMembers(types) ?? { kind: "tokens", count: 1 };
+    }
+    if (numericValues.length === types.length) {
+        return {
+            kind: "boundedInt",
+            min: Math.min(...numericValues),
+            max: Math.max(...numericValues),
+        };
+    }
+    return { kind: "enum", values: literalValues };
+}
+function taggedUnionFromMembers(types) {
+    const members = types.filter(ts.isTypeLiteralNode);
+    if (members.length !== types.length)
+        return undefined;
+    const tagCandidates = new Map();
+    for (const member of members) {
+        for (const prop of member.members.filter(ts.isPropertySignature)) {
+            if (!prop.type ||
+                !ts.isIdentifier(prop.name) ||
+                !ts.isLiteralTypeNode(prop.type) ||
+                !ts.isStringLiteral(prop.type.literal))
+                continue;
+            const set = tagCandidates.get(prop.name.text) ?? new Set();
+            set.add(prop.type.literal.text);
+            tagCandidates.set(prop.name.text, set);
+        }
+    }
+    const tag = [...tagCandidates].find(([, values]) => values.size === members.length)?.[0];
+    if (!tag)
+        return undefined;
+    const variants = {};
+    for (const member of members) {
+        const tagProp = member.members.find((prop) => ts.isPropertySignature(prop) &&
+            ts.isIdentifier(prop.name) &&
+            prop.name.text === tag);
+        if (!tagProp?.type ||
+            !ts.isLiteralTypeNode(tagProp.type) ||
+            !ts.isStringLiteral(tagProp.type.literal))
+            return undefined;
+        variants[tagProp.type.literal.text] = domainFromTypeLiteral(member, tag);
+    }
+    return { kind: "tagged", tag, variants };
+}
+function domainFromTypeLiteral(node, omitField) {
+    const fields = {};
+    for (const member of node.members) {
+        if (!ts.isPropertySignature(member) ||
+            !member.type ||
+            !ts.isIdentifier(member.name) ||
+            member.name.text === omitField)
+            continue;
+        fields[member.name.text] = inferDomainFromTypeNode(member.type);
+    }
+    return { kind: "record", fields };
+}
+function domainFromTypeReference(node, typeAliases = new Map()) {
+    const name = node.typeName.getText();
+    const alias = typeAliases.get(name);
+    if (alias)
+        return inferDomainFromTypeNode(alias, typeAliases);
+    if ((name === "Array" || name === "ReadonlyArray") &&
+        node.typeArguments?.length === 1)
+        return { kind: "lengthCat" };
+    if (name === "Record")
+        return { kind: "tokens", count: 1 };
+    return { kind: "tokens", count: 1 };
+}
+function literalValue(expression) {
+    if (expression.kind === ts.SyntaxKind.TrueKeyword)
+        return true;
+    if (expression.kind === ts.SyntaxKind.FalseKeyword)
+        return false;
+    if (expression.kind === ts.SyntaxKind.NullKeyword)
+        return null;
+    if (ts.isStringLiteral(expression) ||
+        ts.isNoSubstitutionTemplateLiteral(expression))
+        return expression.text;
+    if (ts.isNumericLiteral(expression))
+        return Number(expression.text);
+    return undefined;
+}
+function propertyName(name) {
+    if (ts.isIdentifier(name) ||
+        ts.isStringLiteral(name) ||
+        ts.isNumericLiteral(name))
+        return name.text;
+    return undefined;
+}
+//# sourceMappingURL=domains.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domains.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,aAAa,GAGd,MAAM,kBAAkB,CAAC;AAE1B,MAAM,UAAU,uBAAuB,CACrC,IAA6B,EAC7B,cAAgD,IAAI,GAAG,EAAE;IAEzD,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACtC,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,IAA0B,CAAC,CAAC;QAC3D,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,eAAe,CAAC,IAAwB,EAAE,WAAW,CAAC,CAAC;QAChE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,IAA0B,CAAC,CAAC;QAC3D,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,uBAAuB,CAAC,IAA4B,EAAE,WAAW,CAAC,CAAC;QAC5E;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAuB,EACvB,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,OAAO;QAAE,OAAO,uBAAuB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAClD,IACE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC1C,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAE3C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAClD,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACvE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,IAAuB,EACvB,MAAsB;IAEtB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO;QAAE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,0BAA0B,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,OAAO,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC7C,OAAO,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC7B,OAAO,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC9B,OAAO,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,OAAO,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;QACtC,OAAO,mBAAmB,CACxB,MAAM,EACN,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAC3B,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAC7B,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,MAAM,CACb,CAAC;IACJ,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAsB;IAC/C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;gBAClD,GAAG;gBACH,UAAU,CAAC,KAAK,CAAC;aAClB,CAAC,CACH,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;gBAChE,SAAS;gBACT,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAW;aACxC,CAAC;YACF,OAAO,EAAE,GAAI,UAAU,CAAC,OAAO,CAAY,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC;QACxE,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,GAAG,CAAC;QACb,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAAqB;IAErB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,0BAA0B,CACjC,UAAyB,EACzB,MAAsB;IAEtB,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS;QACvB,OAAO,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QAC1B,OAAO,0BAA0B,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAC;QACzE,MAAM,MAAM,GAA0B,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACjE,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CACzC,CAAC,SAAS,EAAsC,EAAE,CAChD,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC;gBAClC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,CACzC,CAAC;YACF,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ;gBACtB,CAAC,CAAC,CAAC,0BAA0B,CAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;oBAC9D,UAAU,CAAC,WAAW,CAAC,CAAC;gBAC1B,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB,EAAE,KAAY;IAC/D,OAAO,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAwB;IACrD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;IACzB,IACE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACtC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAEvC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACzE,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9E,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CACtB,IAAsB,EACtB,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAC/B,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC5C,CAAC,CACC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAChD,CACJ,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EACH,OAAO,CAAC,MAAM,KAAK,CAAC;gBAClB,CAAC,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAClD,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC;SACtC,CAAC;IACJ,CAAC;IACD,OAAO,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA6B;IAC3D,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC7B,OAAO,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACvE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;QACzB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;;YACnE,OAAO,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC5E,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QAC1C,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;YAC/B,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAA6B;IAE7B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACnD,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACtD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IACrD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACjE,IACE,CAAC,IAAI,CAAC,IAAI;gBACV,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC3B,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAChC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;gBAEtC,SAAS;YACX,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACnE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAChC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAC/C,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,QAAQ,GAAmC,EAAE,CAAC;IACpD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,IAAI,EAAgC,EAAE,CACrC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CACzB,CAAC;QACF,IACE,CAAC,OAAO,EAAE,IAAI;YACd,CAAC,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC;YACnC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAEzC,OAAO,SAAS,CAAC;QACnB,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,SAAkB;IAElB,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC/B,CAAC,MAAM,CAAC,IAAI;YACZ,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YAE9B,SAAS;QACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAA0B,EAC1B,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,KAAK;QAAE,OAAO,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC9D,IACE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe,CAAC;QAC9C,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC;QAEhC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC/B,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,YAAY,CAAC,UAAyB;IAC7C,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IACjE,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC/D,IACE,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,+BAA+B,CAAC,UAAU,CAAC;QAE9C,OAAO,UAAU,CAAC,IAAI,CAAC;IACzB,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACpE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,IAAqB;IACzC,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAEzB,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,OAAO,SAAS,CAAC;AACnB,CAAC"}

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

@@ -0,0 +1,2 @@
+export type { BoundExpr } from "./types.js";
+//# sourceMappingURL=expressions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/expressions.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC"}

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

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=expressions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/expressions.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,4 @@
+export { extractableHandlerInitializer, isExtractableHandler, } from "./ast.js";
+export { handlerExpression } from "./components.js";
+export type { ExtractableHandler } from "./types.js";
+//# sourceMappingURL=handlers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"handlers.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/handlers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,GACrB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC"}

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

@@ -0,0 +1,3 @@
+export { extractableHandlerInitializer, isExtractableHandler, } from "./ast.js";
+export { handlerExpression } from "./components.js";
+//# sourceMappingURL=handlers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"handlers.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/handlers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,GACrB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC"}

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

@@ -0,0 +1,7 @@
+import type * as ts from "typescript";
+import type { Transition } from "modality-ts/core";
+export declare function withStableTransitionIds(transitions: readonly Transition[]): Transition[];
+export declare function tagStableIdKey(transitions: readonly Transition[], node: ts.Node): Transition[];
+export declare function safeId(value: string): string;
+export declare function uniqueStrings(values: readonly string[]): string[];
+//# sourceMappingURL=ids.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ids.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/ids.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAGnD,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,SAAS,UAAU,EAAE,GACjC,UAAU,EAAE,CAqBd;AAED,wBAAgB,cAAc,CAC5B,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ,UAAU,EAAE,CAMd;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE5C;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAEjE"}

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"}