@justscale/typescript 0.1.1

package/dist/compiler/exports-prepass.js

@@ -0,0 +1,249 @@
+/**
+ * Exports Pre-pass
+ *
+ * Two-pass compilation for process exports type inference.
+ *
+ * Pass 1: Create a TypeScript program, find `using exports = { ... }` declarations
+ *         in process handlers, extract the type via typeChecker.getTypeAtLocation().
+ * Pass 2: Inject `__exportsType: void 0 as unknown as <ExportsType>` into the
+ *         createProcess config, re-create the program. TypeScript now infers TExports
+ *         correctly from the phantom property.
+ *
+ * Non-exported types referenced by the exports (e.g. local interfaces) are
+ * automatically exported so the declaration emitter can reference them.
+ *
+ * This gives us correct types everywhere: type checking, .d.ts output, IDE.
+ */
+import ts from 'typescript';
+/**
+ * Extract exports types from all process files in a program and return
+ * modified source texts with `__exportsType` phantom properties injected.
+ *
+ * Returns a map from file name to modified source text.
+ * Only files that contain createProcess calls with `using exports` are included.
+ */
+export function extractAndInjectExportsTypes(program) {
+    const typeChecker = program.getTypeChecker();
+    const printer = ts.createPrinter();
+    const modifiedSources = new Map();
+    for (const sourceFile of program.getSourceFiles()) {
+        if (sourceFile.isDeclarationFile || sourceFile.fileName.includes('node_modules'))
+            continue;
+        const injections = findExportsInjections(sourceFile, typeChecker, printer);
+        if (injections.length === 0)
+            continue;
+        const modifiedText = applyInjections(sourceFile.text, injections);
+        modifiedSources.set(sourceFile.fileName, modifiedText);
+    }
+    return modifiedSources;
+}
+/**
+ * Create a compiler host that serves modified source for specific files,
+ * falling back to the base host for everything else.
+ */
+export function createModifiedHost(baseHost, modifiedSources) {
+    return {
+        ...baseHost,
+        getSourceFile: (name, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
+            if (modifiedSources.has(name)) {
+                return ts.createSourceFile(name, modifiedSources.get(name), languageVersionOrOptions, true);
+            }
+            return baseHost.getSourceFile(name, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
+        },
+        readFile: (name) => {
+            if (modifiedSources.has(name))
+                return modifiedSources.get(name);
+            return baseHost.readFile(name);
+        },
+    };
+}
+/**
+ * Find all createProcess calls with `using exports` in a source file
+ * and extract the exports type for injection.
+ */
+function findExportsInjections(sourceFile, typeChecker, printer) {
+    const injections = [];
+    ts.forEachChild(sourceFile, function visit(node) {
+        if (ts.isCallExpression(node) &&
+            ts.isIdentifier(node.expression) &&
+            node.expression.text === 'createProcess') {
+            const configArg = node.arguments[0];
+            if (configArg && ts.isObjectLiteralExpression(configArg)) {
+                const handler = findHandler(configArg);
+                if (handler) {
+                    const exportDecl = findExportsDeclaration(handler);
+                    if (exportDecl) {
+                        const type = typeChecker.getTypeAtLocation(exportDecl);
+                        const typeNode = typeChecker.typeToTypeNode(type, exportDecl, ts.NodeBuilderFlags.NoTruncation | ts.NodeBuilderFlags.WriteArrayAsGenericType);
+                        if (typeNode) {
+                            const typeText = printer.printNode(ts.EmitHint.Unspecified, typeNode, sourceFile);
+                            // Find non-exported types referenced by the exports type
+                            // and collect their declaration positions so we can auto-export them
+                            const autoExportPositions = findNonExportedTypePositions(type, typeChecker, sourceFile);
+                            injections.push({ configNode: configArg, typeText, autoExportPositions });
+                        }
+                    }
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    });
+    return injections;
+}
+/**
+ * Find non-exported types referenced by the exports type and return
+ * the source positions of their declarations (where we need to add `export`).
+ *
+ * Uses a simple approach: walk the type node text produced by typeToTypeNode
+ * and look for identifiers that reference non-exported local declarations.
+ * This avoids recursive type walking which can stack overflow on circular types.
+ */
+function findNonExportedTypePositions(type, typeChecker, sourceFile) {
+    const positions = [];
+    const checked = new Set();
+    // Collect all named types visible in the source file
+    const localTypes = new Map();
+    for (const stmt of sourceFile.statements) {
+        if (ts.isInterfaceDeclaration(stmt) && !hasExportModifier(stmt)) {
+            localTypes.set(stmt.name.text, stmt);
+        }
+        else if (ts.isTypeAliasDeclaration(stmt) && !hasExportModifier(stmt)) {
+            localTypes.set(stmt.name.text, stmt);
+        }
+        else if (ts.isEnumDeclaration(stmt) && !hasExportModifier(stmt)) {
+            localTypes.set(stmt.name.text, stmt);
+        }
+    }
+    if (localTypes.size === 0)
+        return [];
+    // Walk the type (breadth-first, depth-limited) to find references to local types
+    const queue = [type];
+    const visited = new Set(); // use type id to avoid revisiting
+    while (queue.length > 0 && visited.size < 100) {
+        const t = queue.shift();
+        const id = t.id;
+        if (id !== undefined && visited.has(id))
+            continue;
+        if (id !== undefined)
+            visited.add(id);
+        // Check if this type's symbol matches a local non-exported type
+        const sym = t.getSymbol() ?? t.aliasSymbol;
+        if (sym && !checked.has(sym.name) && localTypes.has(sym.name)) {
+            checked.add(sym.name);
+            const decl = localTypes.get(sym.name);
+            positions.push(decl.getStart());
+        }
+        // Enqueue type arguments
+        const typeArgs = t.typeArguments ?? t.resolvedTypeArguments;
+        if (Array.isArray(typeArgs)) {
+            for (const arg of typeArgs)
+                queue.push(arg);
+        }
+        // Enqueue union/intersection members
+        if (t.isUnion() || t.isIntersection()) {
+            for (const member of t.types)
+                queue.push(member);
+        }
+        // Enqueue property types (limited - only direct properties)
+        try {
+            for (const prop of typeChecker.getPropertiesOfType(t)) {
+                const propType = typeChecker.getTypeOfSymbol(prop);
+                queue.push(propType);
+            }
+        }
+        catch {
+            // getPropertiesOfType can throw on some synthetic types
+        }
+        // Enqueue call signature return/param types
+        for (const sig of t.getCallSignatures()) {
+            queue.push(typeChecker.getReturnTypeOfSignature(sig));
+            for (const param of sig.getParameters()) {
+                queue.push(typeChecker.getTypeOfSymbol(param));
+            }
+        }
+    }
+    return [...new Set(positions)];
+}
+function hasExportModifier(node) {
+    return (ts.canHaveModifiers(node) && ts.getModifiers(node)?.some(m => m.kind === ts.SyntaxKind.ExportKeyword)) ?? false;
+}
+/**
+ * Find the handler function in a createProcess config object.
+ */
+function findHandler(configObj) {
+    for (const prop of configObj.properties) {
+        if (ts.isMethodDeclaration(prop) && ts.isIdentifier(prop.name) && prop.name.text === 'handler') {
+            return prop;
+        }
+        if (ts.isPropertyAssignment(prop) && ts.isIdentifier(prop.name) && prop.name.text === 'handler') {
+            if (ts.isFunctionExpression(prop.initializer) || ts.isArrowFunction(prop.initializer)) {
+                return prop.initializer;
+            }
+        }
+    }
+    return undefined;
+}
+/**
+ * Find `using exports = { ... }` in a handler body.
+ * Simple AST walk - no full analyzer needed.
+ */
+function findExportsDeclaration(handler) {
+    const body = handler.body;
+    if (!body || !ts.isBlock(body))
+        return undefined;
+    for (const stmt of body.statements) {
+        if (!ts.isVariableStatement(stmt))
+            continue;
+        for (const decl of stmt.declarationList.declarations) {
+            if (ts.isIdentifier(decl.name) &&
+                decl.name.text === 'exports' &&
+                decl.initializer &&
+                ts.isObjectLiteralExpression(decl.initializer)) {
+                return decl;
+            }
+        }
+    }
+    return undefined;
+}
+/**
+ * Apply exports type injections into source text.
+ * - Inserts `__exportsType: void 0 as unknown as <type>` into each createProcess config
+ * - Adds `export` to non-exported type declarations referenced by the exports type
+ *
+ * Uses AST node positions for precise insertion - not pattern matching.
+ */
+function applyInjections(sourceText, injections) {
+    // Collect all modifications: { position, text } sorted by position descending
+    const mods = [];
+    for (const { configNode, typeText, autoExportPositions } of injections) {
+        // 1. Inject __exportsType into config object
+        const closingBracePos = configNode.end - 1;
+        const lastProp = configNode.properties[configNode.properties.length - 1];
+        if (!lastProp)
+            continue;
+        const textBetween = sourceText.substring(lastProp.end, closingBracePos);
+        const hasTrailingComma = textBetween.includes(',');
+        const comma = hasTrailingComma ? '' : ',';
+        mods.push({ pos: closingBracePos, insert: `${comma} __exportsType: void 0 as unknown as ${typeText}` });
+        // 2. Add `export` to non-exported type declarations
+        for (const pos of autoExportPositions) {
+            mods.push({ pos, insert: 'export ' });
+        }
+    }
+    // Sort by position descending so later insertions don't shift earlier positions
+    mods.sort((a, b) => b.pos - a.pos);
+    // Deduplicate by position (same type might be referenced by multiple processes)
+    const seen = new Set();
+    const uniqueMods = mods.filter(m => {
+        if (seen.has(m.pos))
+            return false;
+        seen.add(m.pos);
+        return true;
+    });
+    let result = sourceText;
+    for (const { pos, insert } of uniqueMods) {
+        result = result.slice(0, pos) + insert + result.slice(pos);
+    }
+    return result;
+}
+//# sourceMappingURL=exports-prepass.js.map

package/dist/compiler/exports-prepass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exports-prepass.js","sourceRoot":"","sources":["../../src/compiler/exports-prepass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAW5B;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,OAAmB;IAEnB,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAC7C,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC;IACnC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAElD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,IAAI,UAAU,CAAC,iBAAiB,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;YAAE,SAAS;QAE3F,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAC3E,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEtC,MAAM,YAAY,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAClE,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACzD,CAAC;IAED,OAAO,eAAe,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAAyB,EACzB,eAAoC;IAEpC,OAAO;QACL,GAAG,QAAQ;QACX,aAAa,EAAE,CAAC,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,yBAAyB,EAAE,EAAE;YACpF,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,OAAO,EAAE,CAAC,gBAAgB,CACxB,IAAI,EACJ,eAAe,CAAC,GAAG,CAAC,IAAI,CAAE,EAC1B,wBAA2C,EAC3C,IAAI,CACL,CAAC;YACJ,CAAC;YACD,OAAO,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,yBAAyB,CAAC,CAAC;QACpG,CAAC;QACD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,eAAe,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YACjE,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAC5B,UAAyB,EACzB,WAA2B,EAC3B,OAAmB;IAEnB,MAAM,UAAU,GAAuB,EAAE,CAAC;IAE1C,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,SAAS,KAAK,CAAC,IAAI;QAC7C,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,EACxC,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzD,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;gBACvC,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;oBACnD,IAAI,UAAU,EAAE,CAAC;wBACf,MAAM,IAAI,GAAG,WAAW,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;wBACvD,MAAM,QAAQ,GAAG,WAAW,CAAC,cAAc,CACzC,IAAI,EACJ,UAAU,EACV,EAAE,CAAC,gBAAgB,CAAC,YAAY,GAAG,EAAE,CAAC,gBAAgB,CAAC,uBAAuB,CAC/E,CAAC;wBACF,IAAI,QAAQ,EAAE,CAAC;4BACb,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;4BAElF,yDAAyD;4BACzD,qEAAqE;4BACrE,MAAM,mBAAmB,GAAG,4BAA4B,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;4BAExF,UAAU,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,mBAAmB,EAAE,CAAC,CAAC;wBAC5E,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,4BAA4B,CACnC,IAAa,EACb,WAA2B,EAC3B,UAAyB;IAEzB,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,qDAAqD;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,iFAAiF;IACjF,MAAM,KAAK,GAAc,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC,CAAC,kCAAkC;IAErE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,GAAG,GAAG,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QACzB,MAAM,EAAE,GAAI,CAAS,CAAC,EAAwB,CAAC;QAC/C,IAAI,EAAE,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAClD,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEtC,gEAAgE;QAChE,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,WAAW,CAAC;QAC3C,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YACvC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAClC,CAAC;QAED,yBAAyB;QACzB,MAAM,QAAQ,GAAI,CAAS,CAAC,aAAa,IAAK,CAAS,CAAC,qBAAqB,CAAC;QAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,GAAG,IAAI,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC;YACtC,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC;QAED,4DAA4D;QAC5D,IAAI,CAAC;YACH,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtD,MAAM,QAAQ,GAAG,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBACnD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,wDAAwD;QAC1D,CAAC;QAED,4CAA4C;QAC5C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;YACtD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAoB;IAC7C,OAAO,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,IAAI,KAAK,CAAC;AAC1H,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAClB,SAAqC;IAErC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/F,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChG,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;gBACtF,OAAO,IAAI,CAAC,WAAW,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,SAAS,sBAAsB,CAC7B,OAAwE;IAExE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEjD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACrD,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;gBAC5B,IAAI,CAAC,WAAW;gBAChB,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,EAC9C,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,UAAkB,EAAE,UAA8B;IACzE,8EAA8E;IAC9E,MAAM,IAAI,GAAsC,EAAE,CAAC;IAEnD,KAAK,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,mBAAmB,EAAE,IAAI,UAAU,EAAE,CAAC;QACvE,6CAA6C;QAC7C,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,WAAW,GAAG,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QACxE,MAAM,gBAAgB,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,KAAK,wCAAwC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAExG,oDAAoD;QACpD,KAAK,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAEnC,gFAAgF;IAChF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,IAAI,MAAM,GAAG,UAAU,CAAC;IACxB,KAAK,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QACzC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/compiler/hmr-change-detector.d.ts

@@ -0,0 +1,47 @@
+/**
+ * HMR Change Detector
+ *
+ * Analyzes two versions of TypeScript source code to determine:
+ * 1. Which services changed
+ * 2. What kind of changes occurred (method-only vs structural)
+ * 3. Which specific methods changed (for method patching)
+ *
+ * This enables the dev server to choose between:
+ * - method-patch: Only method bodies changed, can do in-place patching
+ * - full-reload: Structural changes, need full service reload with state migration
+ */
+export interface ServiceChange {
+    /** Stable service ID (file#ClassName) */
+    serviceId: string;
+    /** Type of change detected */
+    changeType: 'method-only' | 'structural';
+    /** List of changed method names (only for method-only changes) */
+    changedMethods: string[];
+    /** Description of what changed (for debugging) */
+    reason: string;
+}
+export interface ChangeDetectionResult {
+    /** Whether any services changed */
+    hasChanges: boolean;
+    /** List of changed services */
+    services: ServiceChange[];
+    /** Services that were added (new file or new class) */
+    added: string[];
+    /** Services that were removed */
+    removed: string[];
+}
+/**
+ * Detect changes between two versions of a source file.
+ *
+ * @param oldSource - Previous version of the source code
+ * @param newSource - New version of the source code
+ * @param fileName - File path (for service ID generation)
+ * @param baseDir - Base directory for relative paths
+ */
+export declare function detectChanges(oldSource: string, newSource: string, fileName: string, baseDir?: string): ChangeDetectionResult;
+/**
+ * Quick check if a file might contain services.
+ * Use this for early filtering in file watchers.
+ */
+export declare function mightContainServices(source: string): boolean;
+//# sourceMappingURL=hmr-change-detector.d.ts.map

package/dist/compiler/hmr-change-detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hmr-change-detector.d.ts","sourceRoot":"","sources":["../../src/compiler/hmr-change-detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,MAAM,WAAW,aAAa;IAC5B,yCAAyC;IACzC,SAAS,EAAE,MAAM,CAAA;IACjB,8BAA8B;IAC9B,UAAU,EAAE,aAAa,GAAG,YAAY,CAAA;IACxC,kEAAkE;IAClE,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,kDAAkD;IAClD,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,qBAAqB;IACpC,mCAAmC;IACnC,UAAU,EAAE,OAAO,CAAA;IACnB,+BAA+B;IAC/B,QAAQ,EAAE,aAAa,EAAE,CAAA;IACzB,uDAAuD;IACvD,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,iCAAiC;IACjC,OAAO,EAAE,MAAM,EAAE,CAAA;CAClB;AAiBD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,MAAsB,GAC9B,qBAAqB,CAwCvB;AAiaD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE5D"}