modality-ts 0.0.8 → 0.0.9

package/dist/{extraction → extract/engine}/spi/index.d.ts

@@ -1,4 +1,4 @@
-import type { AbstractDomain, EffectIR, ExprIR, Locator, ModelState, SourceAnchor, StateVarDecl, TemplateFragment, Value } from "modality-ts/kernel";
+import type { AbstractDomain, EffectIR, ExprIR, Locator, ModelState, SourceAnchor, StateVarDecl, TemplateFragment, Value } from "modality-ts/core";
 export interface SourceDecl {
     id: string;
     kind: string;
@@ -34,6 +34,21 @@ export interface ChannelCtx {
     sourceText: string;
     fileName: string;
 }
+export interface ExtractCtx {
+    sourceText: string;
+    fileName: string;
+    route: string;
+    routePatterns: readonly string[];
+    effectApis: readonly string[];
+    stateVars: readonly StateVarDecl[];
+    writeChannels: readonly WriteChannel[];
+    sourcePlugins: readonly StateSourcePlugin[];
+    routerPlugin?: RouterPlugin;
+}
+export interface SourceExtractionResult {
+    transitions: readonly import("modality-ts/core").Transition[];
+    warnings?: readonly ExtractionWarning[];
+}
 export interface M0Ctx {
     read(name: string, path?: readonly string[]): ExprIR;
     locator?: Locator;
@@ -69,6 +84,7 @@ export interface StateSourcePlugin {
     domainHints?(decl: SourceDecl, ctx: TypeCtx): AbstractDomain | undefined;
     writeChannels(ctx: ChannelCtx): readonly WriteChannel[];
     safetyWarnings?(ctx: ChannelCtx): readonly ExtractionWarning[];
+    extract?(ctx: ExtractCtx): SourceExtractionResult;
     summarizeWrite?(call: CallSite, ctx: M0Ctx): EffectIR | "unsupported";
     template?(decl: SourceDecl, options: ResolvedOptions): TemplateFragment;
     harness: {

package/dist/extract/engine/spi/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/spi/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,QAAQ,EACR,MAAM,EACN,OAAO,EACP,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,KAAK,EACN,MAAM,kBAAkB,CAAC;AAE1B,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,YAAY,GAAG,QAAQ,GAAG,kBAAkB,CAAC;IACrD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,YAAY,CAAC;CACtB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAED,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IAC9B,MAAM,EAAE,YAAY,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,SAAS,YAAY,EAAE,CAAC;IACnC,aAAa,EAAE,SAAS,YAAY,EAAE,CAAC;IACvC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAsB;IACrC,WAAW,EAAE,SAAS,OAAO,kBAAkB,EAAE,UAAU,EAAE,CAAC;IAC9D,QAAQ,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAAC;IACrD,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE;QACP,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,UAAU;IACzB,YAAY,CAAC,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,UAAU,EAAE,CAAC;IAClD,WAAW,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,GAAG,cAAc,GAAG,SAAS,CAAC;IACzE,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,SAAS,YAAY,EAAE,CAAC;IACxD,cAAc,CAAC,CAAC,GAAG,EAAE,UAAU,GAAG,SAAS,iBAAiB,EAAE,CAAC;IAC/D,OAAO,CAAC,CAAC,GAAG,EAAE,UAAU,GAAG,sBAAsB,CAAC;IAClD,cAAc,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,GAAG,QAAQ,GAAG,aAAa,CAAC;IACtE,QAAQ,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,GAAG,gBAAgB,CAAC;IACxE,OAAO,EAAE;QACP,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG,YAAY,CAAC;QACrC,OAAO,CACL,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,YAAY,GACpB,YAAY,GAAG,cAAc,CAAC;QACjC,OAAO,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC;KAC7E,CAAC;IACF,WAAW,CAAC,EAAE;QACZ,cAAc,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;QACtC,cAAc,EAAE,MAAM,CAAC;KACxB,CAAC;CACH;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,SAAS,CACP,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,eAAe,GACvB,SAAS,YAAY,EAAE,CAAC;IAC3B,cAAc,CACZ,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,SAAS,OAAO,EAAE,GACvB;QAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,CAAC;IACtE,OAAO,EAAE;QACP,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG,YAAY,CAAC;QACrC,OAAO,CAAC,OAAO,EAAE,YAAY,GAAG,YAAY,GAAG,cAAc,CAAC;QAC9D,QAAQ,CACN,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,EACjC,EAAE,CAAC,EAAE,MAAM,GACV,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;KACzB,CAAC;CACH"}

package/dist/extract/engine/spi/index.js.map

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

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

@@ -0,0 +1,23 @@
+import * as ts from "typescript";
+import type { Value } from "modality-ts/core";
+export type ExtractableHandler = ts.ArrowFunction | ts.FunctionExpression | (ts.FunctionDeclaration & {
+    body: ts.Block;
+});
+export declare function isUseStateCall(node: ts.Expression): node is ts.CallExpression;
+export declare function isUseReducerCall(node: ts.Expression): node is ts.CallExpression;
+export declare function isUseRefCall(node: ts.Expression): node is ts.CallExpression;
+export declare function isUseEffectCall(node: ts.CallExpression): boolean;
+export declare function isExtractableHandler(node: ts.Node): node is ExtractableHandler;
+export declare function extractableHandlerInitializer(node: ts.Expression): ExtractableHandler | undefined;
+export declare function componentNameFor(node: ts.Node): string | undefined;
+export declare function providerComponentNames(source: ts.SourceFile): Set<string>;
+export declare function startsUppercase(value: string): boolean;
+export declare function propertyName(name: ts.PropertyName): string | undefined;
+export declare function isPropertyAccessLike(expression: ts.Expression): expression is ts.PropertyAccessExpression;
+export declare function literalValue(expression: ts.Expression): Value | undefined;
+export declare function callName(expression: ts.Expression): string | undefined;
+export declare function lineAndColumn(source: ts.SourceFile, node: ts.Node): {
+    line: number;
+    column: number;
+};
+//# sourceMappingURL=ast.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE9C,MAAM,MAAM,kBAAkB,GAC1B,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,GACrB,CAAC,EAAE,CAAC,mBAAmB,GAAG;IAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAA;CAAE,CAAC,CAAC;AAElD,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,cAAc,CAM7E;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,UAAU,GAClB,IAAI,IAAI,EAAE,CAAC,cAAc,CAM3B;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,cAAc,CAM3E;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAIhE;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ,IAAI,IAAI,kBAAkB,CAM5B;AAED,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,EAAE,CAAC,UAAU,GAClB,kBAAkB,GAAG,SAAS,CAWhC;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,SAAS,CAclE;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CASzE;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAEtD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,GAAG,SAAS,CAQtE;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,UAAU,IAAI,EAAE,CAAC,wBAAwB,CAK3C;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,KAAK,GAAG,SAAS,CAWzE;AAED,wBAAgB,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,GAAG,SAAS,CAKtE;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAGlC"}

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

@@ -0,0 +1,97 @@
+import * as ts from "typescript";
+export function isUseStateCall(node) {
+    return (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        node.expression.text === "useState");
+}
+export function isUseReducerCall(node) {
+    return (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        node.expression.text === "useReducer");
+}
+export function isUseRefCall(node) {
+    return (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        node.expression.text === "useRef");
+}
+export function isUseEffectCall(node) {
+    return (ts.isIdentifier(node.expression) && node.expression.text === "useEffect");
+}
+export function isExtractableHandler(node) {
+    return (ts.isArrowFunction(node) ||
+        ts.isFunctionExpression(node) ||
+        (ts.isFunctionDeclaration(node) && Boolean(node.body)));
+}
+export function extractableHandlerInitializer(node) {
+    if (isExtractableHandler(node))
+        return node;
+    if (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        node.expression.text === "useCallback") {
+        const callback = node.arguments[0];
+        return callback && isExtractableHandler(callback) ? callback : undefined;
+    }
+    return undefined;
+}
+export function componentNameFor(node) {
+    if (ts.isFunctionDeclaration(node) &&
+        node.name &&
+        startsUppercase(node.name.text))
+        return node.name.text;
+    if (ts.isVariableDeclaration(node) &&
+        ts.isIdentifier(node.name) &&
+        startsUppercase(node.name.text))
+        return node.name.text;
+    return undefined;
+}
+export function providerComponentNames(source) {
+    const names = new Set();
+    const visit = (node) => {
+        const name = componentNameFor(node);
+        if (name && node.getText(source).includes(".Provider"))
+            names.add(name);
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return names;
+}
+export function startsUppercase(value) {
+    return /^[A-Z]/.test(value);
+}
+export function propertyName(name) {
+    if (ts.isIdentifier(name) ||
+        ts.isStringLiteral(name) ||
+        ts.isNumericLiteral(name))
+        return name.text;
+    return undefined;
+}
+export function isPropertyAccessLike(expression) {
+    return (ts.isPropertyAccessExpression(expression) ||
+        ts.isPropertyAccessChain(expression));
+}
+export 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;
+}
+export function callName(expression) {
+    if (ts.isIdentifier(expression))
+        return expression.text;
+    if (isPropertyAccessLike(expression))
+        return `${callName(expression.expression) ?? expression.expression.getText()}.${expression.name.text}`;
+    return undefined;
+}
+export function lineAndColumn(source, node) {
+    const pos = source.getLineAndCharacterOfPosition(node.getStart(source));
+    return { line: pos.line + 1, column: pos.character + 1 };
+}
+//# sourceMappingURL=ast.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,MAAM,UAAU,cAAc,CAAC,IAAmB;IAChD,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAmB;IAEnB,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,CACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAmB;IAC9C,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,CAClC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAuB;IACrD,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,CACzE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAa;IAEb,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACvD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,IAAmB;IAEnB,IAAI,oBAAoB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa,EACtC,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,QAAQ,IAAI,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAa;IAC5C,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI;QACT,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAE/B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAE/B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAqB;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAqB;IAChD,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;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAyB;IAEzB,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QACzC,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,UAAyB;IACpD,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,MAAM,UAAU,QAAQ,CAAC,UAAyB;IAChD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC;IACxD,IAAI,oBAAoB,CAAC,UAAU,CAAC;QAClC,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACzG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,MAAqB,EACrB,IAAa;IAEb,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC"}

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

@@ -0,0 +1,21 @@
+import * as ts from "typescript";
+import type { AbstractDomain, StateVarDecl } from "modality-ts/core";
+import type { ComponentDecl, CustomHookDecl, ExtractableHandler, SetterBinding } from "./types.js";
+export declare function handlerExpression(expression: ts.Expression | undefined, handlers: Map<string, ExtractableHandler>): ExtractableHandler | undefined;
+export declare function componentDeclarations(source: ts.SourceFile): Map<string, ComponentDecl>;
+export declare function customHookDeclarations(source: ts.SourceFile): Map<string, CustomHookDecl>;
+export declare function isCustomHookDeclaration(node: ts.Node): boolean;
+export declare function inlineCustomHookState(source: ts.SourceFile, fileName: string, node: ts.VariableDeclaration, customHooks: Map<string, CustomHookDecl>, vars: StateVarDecl[], setters: Map<string, SetterBinding>, component: string, route: string): boolean;
+export declare function calledCustomHook(node: ts.Node, customHooks: Set<string>): string | undefined;
+export declare function detectStatefulListComponents(source: ts.SourceFile, components: Map<string, ComponentDecl>): Set<string>;
+export declare function listRenderedHandlerInfo(attribute: ts.JsxAttribute, vars: readonly StateVarDecl[], component: string): {
+    varId: string;
+    domain: AbstractDomain;
+    itemName: string;
+} | undefined;
+export declare function isForwardablePropName(name: string): boolean;
+export declare function isIntrinsicJsxAttribute(attribute: ts.JsxAttribute): boolean;
+export declare function jsxTagName(attribute: ts.JsxAttribute): string | undefined;
+export declare function componentName(component: ComponentDecl): string | undefined;
+export declare function customHookDeclarationName(node: ts.Node): string | undefined;
+//# sourceMappingURL=components.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"components.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/components.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AASrE,OAAO,KAAK,EACV,aAAa,EACb,cAAc,EACd,kBAAkB,EAElB,aAAa,EACd,MAAM,YAAY,CAAC;AAEpB,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,EACrC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,GACxC,kBAAkB,GAAG,SAAS,CAKhC;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,EAAE,CAAC,UAAU,GACpB,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAuB5B;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,EAAE,CAAC,UAAU,GACpB,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAiB7B;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAE9D;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,mBAAmB,EAC5B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,EACxC,IAAI,EAAE,YAAY,EAAE,EACpB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ,OAAO,CAqCT;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,GACvB,MAAM,GAAG,SAAS,CAMpB;AAED,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GACrC,GAAG,CAAC,MAAM,CAAC,CAkBb;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,IAAI,EAAE,SAAS,YAAY,EAAE,EAC7B,SAAS,EAAE,MAAM,GAChB;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CA0BzE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE3D;AAED,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,OAAO,CAQ3E;AAED,wBAAgB,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,GAAG,SAAS,CAOzE;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,aAAa,GAAG,MAAM,GAAG,SAAS,CAI1E;AAkED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,SAAS,CAiB3E"}

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

@@ -0,0 +1,287 @@
+import * as ts from "typescript";
+import { componentNameFor, isExtractableHandler, isUseStateCall, lineAndColumn, startsUppercase, } from "./ast.js";
+import { inferUseStateDomain, initialValueForUseState } from "./domains.js";
+export function handlerExpression(expression, handlers) {
+    if (!expression)
+        return undefined;
+    if (isExtractableHandler(expression))
+        return expression;
+    if (ts.isIdentifier(expression))
+        return handlers.get(expression.text);
+    return undefined;
+}
+export function componentDeclarations(source) {
+    const components = new Map();
+    const visit = (node) => {
+        if (ts.isFunctionDeclaration(node) &&
+            node.name &&
+            startsUppercase(node.name.text)) {
+            components.set(node.name.text, node);
+        }
+        if (ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            startsUppercase(node.name.text) &&
+            node.initializer &&
+            isExtractableHandler(node.initializer)) {
+            components.set(node.name.text, node.initializer);
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return components;
+}
+export function customHookDeclarations(source) {
+    const hooks = new Map();
+    const visit = (node) => {
+        const name = customHookDeclarationName(node);
+        if (name) {
+            if (ts.isFunctionDeclaration(node))
+                hooks.set(name, node);
+            else if (ts.isVariableDeclaration(node) &&
+                node.initializer &&
+                isExtractableHandler(node.initializer))
+                hooks.set(name, node.initializer);
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return hooks;
+}
+export function isCustomHookDeclaration(node) {
+    return Boolean(customHookDeclarationName(node));
+}
+export function inlineCustomHookState(source, fileName, node, customHooks, vars, setters, component, route) {
+    if (!ts.isArrayBindingPattern(node.name) ||
+        !node.initializer ||
+        !ts.isCallExpression(node.initializer) ||
+        !ts.isIdentifier(node.initializer.expression))
+        return false;
+    const hook = customHooks.get(node.initializer.expression.text);
+    if (!hook)
+        return false;
+    const stateName = node.name.elements[0];
+    const setterName = node.name.elements[1];
+    if (!ts.isBindingElement(stateName) ||
+        !ts.isIdentifier(stateName.name) ||
+        !ts.isBindingElement(setterName) ||
+        !ts.isIdentifier(setterName.name))
+        return false;
+    const summary = hookStateReturn(hook);
+    if (!summary)
+        return false;
+    const varId = `local:${component}.${stateName.name.text}`;
+    const decl = {
+        id: varId,
+        domain: summary.domain,
+        origin: { file: fileName, ...lineAndColumn(source, node) },
+        scope: { kind: "route-local", route },
+        initial: summary.initial,
+    };
+    vars.push(decl);
+    setters.set(setterName.name.text, {
+        varId,
+        component,
+        stateName: stateName.name.text,
+        domain: summary.domain,
+    });
+    return true;
+}
+export function calledCustomHook(node, customHooks) {
+    if (!ts.isCallExpression(node) || !ts.isIdentifier(node.expression))
+        return undefined;
+    return customHooks.has(node.expression.text)
+        ? node.expression.text
+        : undefined;
+}
+export function detectStatefulListComponents(source, components) {
+    const listComponents = new Set();
+    const visit = (node) => {
+        if (ts.isCallExpression(node) &&
+            ts.isPropertyAccessExpression(node.expression) &&
+            node.expression.name.text === "map") {
+            for (const rendered of jsxComponentTags(node)) {
+                const component = components.get(rendered);
+                if (component && componentHasUseState(component))
+                    listComponents.add(rendered);
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return listComponents;
+}
+export function listRenderedHandlerInfo(attribute, vars, component) {
+    let current = attribute;
+    while (current.parent) {
+        const parent = current.parent;
+        if (ts.isCallExpression(parent) &&
+            ts.isPropertyAccessExpression(parent.expression) &&
+            parent.expression.name.text === "map") {
+            const callback = parent.arguments[0];
+            if (callback &&
+                current.pos >= callback.pos &&
+                current.end <= callback.end) {
+                const receiver = parent.expression.expression;
+                const itemName = mapItemName(callback);
+                if (ts.isIdentifier(receiver) && itemName) {
+                    const info = stateVarInfoForName(receiver.text, vars, component);
+                    return info ? { ...info, itemName } : undefined;
+                }
+            }
+        }
+        current = parent;
+    }
+    return undefined;
+}
+export function isForwardablePropName(name) {
+    return /^on[A-Z]/.test(name);
+}
+export function isIntrinsicJsxAttribute(attribute) {
+    const attrs = attribute.parent;
+    if (!ts.isJsxAttributes(attrs))
+        return false;
+    const parent = attrs.parent;
+    if (!ts.isJsxOpeningElement(parent) && !ts.isJsxSelfClosingElement(parent))
+        return false;
+    const tag = parent.tagName;
+    return ts.isIdentifier(tag) && !startsUppercase(tag.text);
+}
+export function jsxTagName(attribute) {
+    const attrs = attribute.parent;
+    if (!ts.isJsxAttributes(attrs))
+        return undefined;
+    const parent = attrs.parent;
+    if (!ts.isJsxOpeningElement(parent) && !ts.isJsxSelfClosingElement(parent))
+        return undefined;
+    return ts.isIdentifier(parent.tagName) ? parent.tagName.text : undefined;
+}
+export function componentName(component) {
+    if (ts.isFunctionDeclaration(component) && component.name)
+        return component.name.text;
+    return componentNameFor(component.parent);
+}
+function hookStateReturn(hook) {
+    const body = hookBody(hook);
+    if (!body)
+        return undefined;
+    let stateName;
+    let setterName;
+    let stateCall;
+    for (const statement of body.statements) {
+        if (!ts.isVariableStatement(statement))
+            continue;
+        for (const decl of statement.declarationList.declarations) {
+            if (!ts.isArrayBindingPattern(decl.name) ||
+                !decl.initializer ||
+                !isUseStateCall(decl.initializer))
+                continue;
+            const state = decl.name.elements[0];
+            const setter = decl.name.elements[1];
+            if (!ts.isBindingElement(state) ||
+                !ts.isIdentifier(state.name) ||
+                !ts.isBindingElement(setter) ||
+                !ts.isIdentifier(setter.name))
+                return undefined;
+            if (stateCall)
+                return undefined;
+            stateName = state.name.text;
+            setterName = setter.name.text;
+            stateCall = decl.initializer;
+        }
+    }
+    if (!stateName || !setterName || !stateCall)
+        return undefined;
+    const returned = body.statements.find(ts.isReturnStatement);
+    if (!returned?.expression)
+        return undefined;
+    const elements = returnedArrayElements(returned.expression);
+    if (!elements || elements.length < 2)
+        return undefined;
+    if (!ts.isIdentifier(elements[0]) ||
+        elements[0].text !== stateName ||
+        !ts.isIdentifier(elements[1]) ||
+        elements[1].text !== setterName)
+        return undefined;
+    const domain = inferUseStateDomain(stateCall);
+    return { domain, initial: initialValueForUseState(stateCall, domain) };
+}
+function hookBody(hook) {
+    if (ts.isFunctionDeclaration(hook))
+        return hook.body;
+    return ts.isBlock(hook.body) ? hook.body : undefined;
+}
+function returnedArrayElements(expression) {
+    if (ts.isArrayLiteralExpression(expression))
+        return expression.elements;
+    if (ts.isAsExpression(expression) ||
+        ts.isTypeAssertionExpression(expression) ||
+        ts.isParenthesizedExpression(expression))
+        return returnedArrayElements(expression.expression);
+    return undefined;
+}
+export function customHookDeclarationName(node) {
+    if (ts.isFunctionDeclaration(node) &&
+        node.name &&
+        isCustomHookName(node.name.text))
+        return node.name.text;
+    if (ts.isVariableDeclaration(node) &&
+        ts.isIdentifier(node.name) &&
+        isCustomHookName(node.name.text) &&
+        node.initializer &&
+        isExtractableHandler(node.initializer)) {
+        return node.name.text;
+    }
+    return undefined;
+}
+function isCustomHookName(name) {
+    return (/^use[A-Z0-9]/.test(name) &&
+        name !== "useState" &&
+        name !== "useEffect" &&
+        name !== "useReducer" &&
+        name !== "useRef");
+}
+function mapItemName(callback) {
+    if ((ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) &&
+        callback.parameters.length > 0) {
+        const name = callback.parameters[0]?.name;
+        return name && ts.isIdentifier(name) ? name.text : undefined;
+    }
+    return undefined;
+}
+function stateVarInfoForName(name, vars, component) {
+    const localId = `local:${component}.${name}`;
+    const decl = vars.find((candidate) => candidate.id === localId);
+    return decl ? { varId: decl.id, domain: decl.domain } : undefined;
+}
+function jsxComponentTags(node) {
+    const tags = new Set();
+    const visit = (candidate) => {
+        const tag = jsxElementTag(candidate);
+        if (tag && startsUppercase(tag))
+            tags.add(tag);
+        ts.forEachChild(candidate, visit);
+    };
+    visit(node);
+    return [...tags].sort();
+}
+function jsxElementTag(node) {
+    if (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) {
+        return ts.isIdentifier(node.tagName) ? node.tagName.text : undefined;
+    }
+    return undefined;
+}
+function componentHasUseState(component) {
+    let found = false;
+    const visit = (node) => {
+        if (found)
+            return;
+        if (ts.isCallExpression(node) && isUseStateCall(node)) {
+            found = true;
+            return;
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(component);
+    return found;
+}
+//# sourceMappingURL=components.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"components.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/components.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,eAAe,GAChB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AAS5E,MAAM,UAAU,iBAAiB,CAC/B,UAAqC,EACrC,QAAyC;IAEzC,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,IAAI,oBAAoB,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACxD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACtE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAAqB;IAErB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,IAAI;YACT,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAC/B,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/B,IAAI,CAAC,WAAW;YAChB,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,EACtC,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACnD,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAAqB;IAErB,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChD,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,MAAM,IAAI,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;iBACrD,IACH,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,IAAI,CAAC,WAAW;gBAChB,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC;gBAEtC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAa;IACnD,OAAO,OAAO,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,QAAgB,EAChB,IAA4B,EAC5B,WAAwC,EACxC,IAAoB,EACpB,OAAmC,EACnC,SAAiB,EACjB,KAAa;IAEb,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;QACpC,CAAC,IAAI,CAAC,WAAW;QACjB,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC;QACtC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;QAE7C,OAAO,KAAK,CAAC;IACf,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzC,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;QAChC,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAChC,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC;QAEjC,OAAO,KAAK,CAAC;IACf,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,SAAS,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC1D,MAAM,IAAI,GAAiB;QACzB,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;QAC1D,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE;QACrC,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE;QAChC,KAAK;QACL,SAAS;QACT,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI;QAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAa,EACb,WAAwB;IAExB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI;QACtB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,MAAqB,EACrB,UAAsC;IAEtC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;YAC9C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EACnC,CAAC;YACD,KAAK,MAAM,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC3C,IAAI,SAAS,IAAI,oBAAoB,CAAC,SAAS,CAAC;oBAC9C,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAA0B,EAC1B,IAA6B,EAC7B,SAAiB;IAEjB,IAAI,OAAO,GAAY,SAAS,CAAC;IACjC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,IACE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;YAC3B,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;YAChD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EACrC,CAAC;YACD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,IACE,QAAQ;gBACR,OAAO,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG;gBAC3B,OAAO,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,EAC3B,CAAC;gBACD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC;gBAC9C,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;gBACvC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC;oBAC1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;oBACjE,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClD,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,SAA0B;IAChE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC;IAC3B,OAAO,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,SAA0B;IACnD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,SAAwB;IACpD,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI;QACvD,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,OAAO,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,eAAe,CAAC,IAAoB;IAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,SAA6B,CAAC;IAClC,IAAI,UAA8B,CAAC;IACnC,IAAI,SAAwC,CAAC;IAC7C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAAE,SAAS;QACjD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YAC1D,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;gBACpC,CAAC,IAAI,CAAC,WAAW;gBACjB,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC;gBAEjC,SAAS;YACX,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACrC,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;gBAC3B,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC5B,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;gBAC5B,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;gBAE7B,OAAO,SAAS,CAAC;YACnB,IAAI,SAAS;gBAAE,OAAO,SAAS,CAAC;YAChC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAC5B,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,EAAE,UAAU;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC7B,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS;QAC9B,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC7B,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU;QAE/B,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC9C,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,QAAQ,CAAC,IAAoB;IACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrD,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAAyB;IAEzB,IAAI,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC,QAAQ,CAAC;IACxE,IACE,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC;QAC7B,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAExC,OAAO,qBAAqB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,IAAa;IACrD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI;QACT,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAEhC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,WAAW;QAChB,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,EACtC,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,CACL,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;QACzB,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,YAAY;QACrB,IAAI,KAAK,QAAQ,CAClB,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,QAAuB;IAC1C,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACnE,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAC9B,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QAC1C,OAAO,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAY,EACZ,IAA6B,EAC7B,SAAiB;IAEjB,MAAM,OAAO,GAAG,SAAS,SAAS,IAAI,IAAI,EAAE,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAChE,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,MAAM,GAAG,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/C,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAAC,SAAwB;IACpD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,SAAS,CAAC,CAAC;IACjB,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -0,0 +1,10 @@
+import * as ts from "typescript";
+import type { StateVarDecl } from "modality-ts/core";
+import type { ContextBindings, SetterBinding } from "./types.js";
+export declare function emptyContextBindings(): ContextBindings;
+export declare function setterBindingFromDecl(decl: StateVarDecl): SetterBinding;
+export declare function bindSetter(setters: Map<string, SetterBinding>, symbolName: string, setter: SetterBinding): void;
+export declare function settersForComponent(setters: ReadonlyMap<string, SetterBinding>, component: string | undefined): Map<string, SetterBinding>;
+export declare function discoverContextBindings(source: ts.SourceFile, _fileName: string, _route: string, typeAliases: ReadonlyMap<string, ts.TypeNode>): ContextBindings;
+export declare function bindContextHookObjectDeclaration(node: ts.Node, contextBindings: ContextBindings, setters: Map<string, SetterBinding>): void;
+//# sourceMappingURL=context.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AASrD,OAAO,KAAK,EACV,eAAe,EAGf,aAAa,EACd,MAAM,YAAY,CAAC;AAEpB,wBAAgB,oBAAoB,IAAI,eAAe,CAEtD;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,YAAY,GAAG,aAAa,CAUvE;AAED,wBAAgB,UAAU,CACxB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,aAAa,GACpB,IAAI,CAQN;AAED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,EAC3C,SAAS,EAAE,MAAM,GAAG,SAAS,GAC5B,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAQ5B;AAED,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAC5C,eAAe,CAuGjB;AAED,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,eAAe,EAAE,eAAe,EAChC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,IAAI,CAsBN"}