@wyw-in-js/transform 1.1.0 → 2.0.0-alpha.1

package/esm/utils/collectOxcTemplateDependencies/expressionReplacements.js

@@ -0,0 +1,113 @@
+import { getOxcNodeChildren } from "../oxc/ast.js";
+import { isBindingPosition, isInTypeContext, isObjectPropertyKey, isPropertyOnlyIdentifier, resolveBindingAt } from "./scopeAnalysis.js";
+import { evaluateStatic, literalCode } from "./staticEvaluator.js";
+export const getConstantReplacement = (binding, ctx) => {
+	const init = binding?.declarator?.init;
+	if (!init) {
+		return null;
+	}
+	if (init.type === "Literal") {
+		return literalCode(init.value);
+	}
+	if (init.type === "ObjectExpression" && binding?.isRoot && binding.declarator?.id.type === "Identifier") {
+		const evaluated = evaluateStatic(binding.declarator.id, ctx);
+		return literalCode(evaluated);
+	}
+	return null;
+};
+export const collectIdentifierReferenceReplacements = (expression, replacements) => {
+	const localReplacements = [];
+	const ancestors = [];
+	const walk = (current, parent) => {
+		if (current.type === "Identifier" && replacements.has(current.name) && !isInTypeContext(ancestors) && !isBindingPosition(current, parent) && !isPropertyOnlyIdentifier(current, parent) && !isObjectPropertyKey(current, parent)) {
+			const replacement = replacements.get(current.name);
+			// Shorthand property `{ width }` → `{ width: 500 }` when the
+			// identifier is the value side of a shorthand ObjectProperty.
+			const isShorthandValue = !!parent && parent.type === "Property" && parent.shorthand && parent.value === current;
+			localReplacements.push({
+				start: isShorthandValue ? parent.start : current.start,
+				end: current.end,
+				value: isShorthandValue ? `${current.name}: ${replacement}` : replacement
+			});
+		}
+		ancestors.push(current);
+		getOxcNodeChildren(current).forEach((child) => walk(child, current));
+		ancestors.pop();
+	};
+	walk(expression, null);
+	return localReplacements;
+};
+export const applyExpressionReplacements = (expression, replacements, code) => {
+	let result = code.slice(expression.start, expression.end);
+	replacements.sort((a, b) => b.start - a.start).forEach((replacement) => {
+		const start = replacement.start - expression.start;
+		const end = replacement.end - expression.start;
+		result = result.slice(0, start) + replacement.value + result.slice(end);
+	});
+	return result;
+};
+export const replaceIdentifierReferences = (expression, replacements, code) => {
+	return applyExpressionReplacements(expression, collectIdentifierReferenceReplacements(expression, replacements), code);
+};
+const staticImportAliasPart = (value) => value.replace(/[^A-Za-z0-9_$]/g, "_") || "value";
+const allocateStaticImportAlias = (binding, imported, ctx) => {
+	const key = `${binding.importedFrom ?? ""}\0${binding.name}\0${imported}`;
+	const existing = ctx.staticImportAliases.get(key);
+	if (existing) {
+		return existing;
+	}
+	const namespacePart = staticImportAliasPart(binding.name);
+	const importedPart = staticImportAliasPart(imported);
+	let alias = `_wyw_static_${namespacePart}_${importedPart}`;
+	let idx = 1;
+	while (ctx.usedNames.has(alias)) {
+		idx += 1;
+		alias = `_wyw_static_${namespacePart}_${importedPart}_${idx}`;
+	}
+	ctx.usedNames.add(alias);
+	ctx.staticImportAliases.set(key, alias);
+	return alias;
+};
+const staticMemberPropertyName = (expression) => {
+	if (!expression.computed && expression.property.type === "Identifier") {
+		return expression.property.name;
+	}
+	if (expression.computed && expression.property.type === "Literal" && typeof expression.property.value === "string") {
+		return expression.property.value;
+	}
+	return null;
+};
+export const collectStaticNamespaceMemberReferences = (expression, ctx) => {
+	const coveredReferenceStarts = new Set();
+	const imports = new Map();
+	const replacements = [];
+	const walk = (node) => {
+		if (node.type === "MemberExpression" && node.object.type === "Identifier") {
+			const binding = resolveBindingAt(ctx, node.object.name, node.object.start);
+			const imported = staticMemberPropertyName(node);
+			if (binding?.importedFrom && binding.imported === "*" && imported !== null) {
+				const alias = allocateStaticImportAlias(binding, imported, ctx);
+				imports.set(`${binding.importedFrom}\0${imported}\0${alias}`, {
+					imported,
+					importLocal: binding.name,
+					local: alias,
+					source: binding.importedFrom
+				});
+				replacements.push({
+					end: node.end,
+					start: node.start,
+					value: alias
+				});
+				coveredReferenceStarts.add(node.object.start);
+			}
+		}
+		getOxcNodeChildren(node).forEach(walk);
+	};
+	walk(expression);
+	return {
+		coveredReferenceStarts,
+		imports: [...imports.values()],
+		replacements
+	};
+};
+//# sourceMappingURL=expressionReplacements.js.map

package/esm/utils/collectOxcTemplateDependencies/expressionReplacements.js.map

@@ -0,0 +1 @@
+{"mappings":"AAIA,SAAS,0BAA0B;AACnC,SACE,mBACA,iBACA,qBACA,0BACA,wBACK;AACP,SAAS,gBAAgB,mBAAmB;AAQ5C,OAAO,MAAM,0BACX,SACA,QACkB;CAClB,MAAM,OAAO,SAAS,YAAY;AAClC,KAAI,CAAC,MAAM;AACT,SAAO;;AAGT,KAAI,KAAK,SAAS,WAAW;AAC3B,SAAO,YAAY,KAAK,MAAM;;AAGhC,KACE,KAAK,SAAS,sBACd,SAAS,UACT,QAAQ,YAAY,GAAG,SAAS,cAChC;EACA,MAAM,YAAY,eAAe,QAAQ,WAAW,IAAI,IAAI;AAC5D,SAAO,YAAY,UAAU;;AAG/B,QAAO;;AAGT,OAAO,MAAM,0CACX,YACA,iBACkB;CAClB,MAAM,oBAAmC,EAAE;CAC3C,MAAM,YAAoB,EAAE;CAE5B,MAAM,QAAQ,SAAe,WAAwB;AACnD,MACE,QAAQ,SAAS,gBACjB,aAAa,IAAI,QAAQ,KAAK,IAC9B,CAAC,gBAAgB,UAAU,IAC3B,CAAC,kBAAkB,SAAS,OAAO,IACnC,CAAC,yBAAyB,SAAS,OAAO,IAC1C,CAAC,oBAAoB,SAAS,OAAO,EACrC;GACA,MAAM,cAAc,aAAa,IAAI,QAAQ,KAAK;;;GAGlD,MAAM,mBACJ,CAAC,CAAC,UACF,OAAO,SAAS,cACf,OAA8C,aAC/C,OAAO,UAAU;AACnB,qBAAkB,KAAK;IACrB,OAAO,mBAAmB,OAAO,QAAQ,QAAQ;IACjD,KAAK,QAAQ;IACb,OAAO,mBACH,GAAG,QAAQ,KAAK,IAAI,gBACpB;IACL,CAAC;;AAGJ,YAAU,KAAK,QAAQ;AACvB,qBAAmB,QAAQ,CAAC,SAAS,UAAU,KAAK,OAAO,QAAQ,CAAC;AACpE,YAAU,KAAK;;AAGjB,MAAK,YAAY,KAAK;AACtB,QAAO;;AAGT,OAAO,MAAM,+BACX,YACA,cACA,SACW;CACX,IAAI,SAAS,KAAK,MAAM,WAAW,OAAO,WAAW,IAAI;AACzD,cACG,MAAM,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,CACjC,SAAS,gBAAgB;EACxB,MAAM,QAAQ,YAAY,QAAQ,WAAW;EAC7C,MAAM,MAAM,YAAY,MAAM,WAAW;AACzC,WAAS,OAAO,MAAM,GAAG,MAAM,GAAG,YAAY,QAAQ,OAAO,MAAM,IAAI;GACvE;AACJ,QAAO;;AAGT,OAAO,MAAM,+BACX,YACA,cACA,SACW;AACX,QAAO,4BACL,YACA,uCAAuC,YAAY,aAAa,EAChE,KACD;;AAGH,MAAM,yBAAyB,UAC7B,MAAM,QAAQ,mBAAmB,IAAI,IAAI;AAE3C,MAAM,6BACJ,SACA,UACA,QACW;CACX,MAAM,MAAM,GAAG,QAAQ,gBAAgB,GAAG,IAAI,QAAQ,KAAK,IAAI;CAC/D,MAAM,WAAW,IAAI,oBAAoB,IAAI,IAAI;AACjD,KAAI,UAAU;AACZ,SAAO;;CAGT,MAAM,gBAAgB,sBAAsB,QAAQ,KAAK;CACzD,MAAM,eAAe,sBAAsB,SAAS;CACpD,IAAI,QAAQ,eAAe,cAAc,GAAG;CAC5C,IAAI,MAAM;AACV,QAAO,IAAI,UAAU,IAAI,MAAM,EAAE;AAC/B,SAAO;AACP,UAAQ,eAAe,cAAc,GAAG,aAAa,GAAG;;AAG1D,KAAI,UAAU,IAAI,MAAM;AACxB,KAAI,oBAAoB,IAAI,KAAK,MAAM;AACvC,QAAO;;AAGT,MAAM,4BACJ,eACkB;AAClB,KAAI,CAAC,WAAW,YAAY,WAAW,SAAS,SAAS,cAAc;AACrE,SAAO,WAAW,SAAS;;AAG7B,KACE,WAAW,YACX,WAAW,SAAS,SAAS,aAC7B,OAAO,WAAW,SAAS,UAAU,UACrC;AACA,SAAO,WAAW,SAAS;;AAG7B,QAAO;;AAGT,OAAO,MAAM,0CACX,YACA,QAKG;CACH,MAAM,yBAAyB,IAAI,KAAa;CAChD,MAAM,UAAU,IAAI,KAAuC;CAC3D,MAAM,eAA8B,EAAE;CAEtC,MAAM,QAAQ,SAAqB;AACjC,MAAI,KAAK,SAAS,sBAAsB,KAAK,OAAO,SAAS,cAAc;GACzE,MAAM,UAAU,iBACd,KACA,KAAK,OAAO,MACZ,KAAK,OAAO,MACb;GACD,MAAM,WAAW,yBAAyB,KAAK;AAC/C,OACE,SAAS,gBACT,QAAQ,aAAa,OACrB,aAAa,MACb;IACA,MAAM,QAAQ,0BAA0B,SAAS,UAAU,IAAI;AAC/D,YAAQ,IAAI,GAAG,QAAQ,aAAa,IAAI,SAAS,IAAI,SAAS;KAC5D;KACA,aAAa,QAAQ;KACrB,OAAO;KACP,QAAQ,QAAQ;KACjB,CAAC;AACF,iBAAa,KAAK;KAChB,KAAK,KAAK;KACV,OAAO,KAAK;KACZ,OAAO;KACR,CAAC;AACF,2BAAuB,IAAI,KAAK,OAAO,MAAM;;;AAIjD,qBAAmB,KAAK,CAAC,QAAQ,KAAK;;AAGxC,MAAK,WAAW;AAEhB,QAAO;EACL;EACA,SAAS,CAAC,GAAG,QAAQ,QAAQ,CAAC;EAC9B;EACD","names":[],"sources":["../../../src/utils/collectOxcTemplateDependencies/expressionReplacements.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax */\n\nimport type { Expression, MemberExpression, Node } from 'oxc-parser';\n\nimport { getOxcNodeChildren } from '../oxc/ast';\nimport {\n  isBindingPosition,\n  isInTypeContext,\n  isObjectPropertyKey,\n  isPropertyOnlyIdentifier,\n  resolveBindingAt,\n} from './scopeAnalysis';\nimport { evaluateStatic, literalCode } from './staticEvaluator';\nimport type {\n  Binding,\n  ExtractionContext,\n  OxcStaticImportReference,\n  Replacement,\n} from './types';\n\nexport const getConstantReplacement = (\n  binding: Binding | undefined,\n  ctx: ExtractionContext\n): string | null => {\n  const init = binding?.declarator?.init;\n  if (!init) {\n    return null;\n  }\n\n  if (init.type === 'Literal') {\n    return literalCode(init.value);\n  }\n\n  if (\n    init.type === 'ObjectExpression' &&\n    binding?.isRoot &&\n    binding.declarator?.id.type === 'Identifier'\n  ) {\n    const evaluated = evaluateStatic(binding.declarator.id, ctx);\n    return literalCode(evaluated);\n  }\n\n  return null;\n};\n\nexport const collectIdentifierReferenceReplacements = (\n  expression: Expression,\n  replacements: Map<string, string>\n): Replacement[] => {\n  const localReplacements: Replacement[] = [];\n  const ancestors: Node[] = [];\n\n  const walk = (current: Node, parent: Node | null) => {\n    if (\n      current.type === 'Identifier' &&\n      replacements.has(current.name) &&\n      !isInTypeContext(ancestors) &&\n      !isBindingPosition(current, parent) &&\n      !isPropertyOnlyIdentifier(current, parent) &&\n      !isObjectPropertyKey(current, parent)\n    ) {\n      const replacement = replacements.get(current.name)!;\n      // Shorthand property `{ width }` → `{ width: 500 }` when the\n      // identifier is the value side of a shorthand ObjectProperty.\n      const isShorthandValue =\n        !!parent &&\n        parent.type === 'Property' &&\n        (parent as unknown as { shorthand?: boolean }).shorthand &&\n        parent.value === current;\n      localReplacements.push({\n        start: isShorthandValue ? parent.start : current.start,\n        end: current.end,\n        value: isShorthandValue\n          ? `${current.name}: ${replacement}`\n          : replacement,\n      });\n    }\n\n    ancestors.push(current);\n    getOxcNodeChildren(current).forEach((child) => walk(child, current));\n    ancestors.pop();\n  };\n\n  walk(expression, null);\n  return localReplacements;\n};\n\nexport const applyExpressionReplacements = (\n  expression: Expression,\n  replacements: Replacement[],\n  code: string\n): string => {\n  let result = code.slice(expression.start, expression.end);\n  replacements\n    .sort((a, b) => b.start - a.start)\n    .forEach((replacement) => {\n      const start = replacement.start - expression.start;\n      const end = replacement.end - expression.start;\n      result = result.slice(0, start) + replacement.value + result.slice(end);\n    });\n  return result;\n};\n\nexport const replaceIdentifierReferences = (\n  expression: Expression,\n  replacements: Map<string, string>,\n  code: string\n): string => {\n  return applyExpressionReplacements(\n    expression,\n    collectIdentifierReferenceReplacements(expression, replacements),\n    code\n  );\n};\n\nconst staticImportAliasPart = (value: string): string =>\n  value.replace(/[^A-Za-z0-9_$]/g, '_') || 'value';\n\nconst allocateStaticImportAlias = (\n  binding: Binding,\n  imported: string,\n  ctx: ExtractionContext\n): string => {\n  const key = `${binding.importedFrom ?? ''}\\0${binding.name}\\0${imported}`;\n  const existing = ctx.staticImportAliases.get(key);\n  if (existing) {\n    return existing;\n  }\n\n  const namespacePart = staticImportAliasPart(binding.name);\n  const importedPart = staticImportAliasPart(imported);\n  let alias = `_wyw_static_${namespacePart}_${importedPart}`;\n  let idx = 1;\n  while (ctx.usedNames.has(alias)) {\n    idx += 1;\n    alias = `_wyw_static_${namespacePart}_${importedPart}_${idx}`;\n  }\n\n  ctx.usedNames.add(alias);\n  ctx.staticImportAliases.set(key, alias);\n  return alias;\n};\n\nconst staticMemberPropertyName = (\n  expression: MemberExpression\n): string | null => {\n  if (!expression.computed && expression.property.type === 'Identifier') {\n    return expression.property.name;\n  }\n\n  if (\n    expression.computed &&\n    expression.property.type === 'Literal' &&\n    typeof expression.property.value === 'string'\n  ) {\n    return expression.property.value;\n  }\n\n  return null;\n};\n\nexport const collectStaticNamespaceMemberReferences = (\n  expression: Expression,\n  ctx: ExtractionContext\n): {\n  coveredReferenceStarts: Set<number>;\n  imports: OxcStaticImportReference[];\n  replacements: Replacement[];\n} => {\n  const coveredReferenceStarts = new Set<number>();\n  const imports = new Map<string, OxcStaticImportReference>();\n  const replacements: Replacement[] = [];\n\n  const walk = (node: Node): void => {\n    if (node.type === 'MemberExpression' && node.object.type === 'Identifier') {\n      const binding = resolveBindingAt(\n        ctx,\n        node.object.name,\n        node.object.start\n      );\n      const imported = staticMemberPropertyName(node);\n      if (\n        binding?.importedFrom &&\n        binding.imported === '*' &&\n        imported !== null\n      ) {\n        const alias = allocateStaticImportAlias(binding, imported, ctx);\n        imports.set(`${binding.importedFrom}\\0${imported}\\0${alias}`, {\n          imported,\n          importLocal: binding.name,\n          local: alias,\n          source: binding.importedFrom,\n        });\n        replacements.push({\n          end: node.end,\n          start: node.start,\n          value: alias,\n        });\n        coveredReferenceStarts.add(node.object.start);\n      }\n    }\n\n    getOxcNodeChildren(node).forEach(walk);\n  };\n\n  walk(expression);\n\n  return {\n    coveredReferenceStarts,\n    imports: [...imports.values()],\n    replacements,\n  };\n};\n"],"file":"expressionReplacements.js"}

package/esm/utils/collectOxcTemplateDependencies/scopeAnalysis.js

@@ -0,0 +1,387 @@
+import { getOxcNodeChildren } from "../oxc/ast.js";
+import { parseOxcProgram } from "../oxc/parse.js";
+import { createOxcSourceLocation } from "../oxc/sourceLocations.js";
+export const containsTaggedTemplateExpression = (node) => {
+	if (node.type === "TaggedTemplateExpression") {
+		return true;
+	}
+	return getOxcNodeChildren(node).some(containsTaggedTemplateExpression);
+};
+export const parseOxc = (code, filename) => {
+	return parseOxcProgram(code, filename, "unambiguous");
+};
+const toSpanKey = (start, end) => `${start}:${end}`;
+export const createSpanLookup = (spans) => {
+	if (!spans || spans.length === 0) {
+		return null;
+	}
+	return new Set(spans.map((span) => toSpanKey(span.start, span.end)));
+};
+const matchesSpanLookup = (node, spanLookup) => !spanLookup || spanLookup.has(toSpanKey(node.start, node.end));
+export const getSourceLocation = (start, end, ctx) => createOxcSourceLocation(start, end, ctx.loc, ctx.filename);
+const createScope = (parent, node, root = false, functionBoundary = false) => ({
+	bindings: new Map(),
+	depth: parent ? parent.depth + 1 : 0,
+	end: node.end,
+	functionBoundary,
+	params: new Set(),
+	parent,
+	root,
+	start: node.start
+});
+const normalizeDeclarationKind = (declarationKind) => {
+	if (declarationKind === "var") {
+		return "var";
+	}
+	if (declarationKind === "let") {
+		return "let";
+	}
+	return "const";
+};
+const moduleExportName = (node) => node.type === "Literal" ? String(node.value) : node.name;
+const getImportSpecifierInfo = (statement, specifier) => {
+	const local = specifier.local?.name;
+	if (!local) {
+		return null;
+	}
+	if (specifier.type === "ImportDefaultSpecifier") {
+		return {
+			imported: "default",
+			local
+		};
+	}
+	if (specifier.type === "ImportNamespaceSpecifier") {
+		return {
+			imported: "*",
+			local
+		};
+	}
+	if (statement.importKind === "type" || specifier.importKind === "type") {
+		return null;
+	}
+	return {
+		imported: moduleExportName(specifier.imported),
+		local
+	};
+};
+const getDeclarationScope = (scope, declarationKind) => {
+	if (declarationKind !== "var") {
+		return scope;
+	}
+	let current = scope;
+	while (current && !current.functionBoundary) {
+		current = current.parent;
+	}
+	return current ?? scope;
+};
+const collectBindingNames = (node) => {
+	if (node.type === "Identifier") {
+		return [node.name];
+	}
+	if (node.type === "RestElement") {
+		return collectBindingNames(node.argument);
+	}
+	if (node.type === "AssignmentPattern") {
+		return collectBindingNames(node.left);
+	}
+	if (node.type === "ObjectPattern") {
+		return node.properties.flatMap((property) => property.type === "RestElement" ? collectBindingNames(property.argument) : collectBindingNames(property.value));
+	}
+	if (node.type === "ArrayPattern") {
+		return node.elements.flatMap((element) => element ? collectBindingNames(element) : []);
+	}
+	if (node.type === "TSParameterProperty") {
+		return collectBindingNames(node.parameter);
+	}
+	return [];
+};
+export const isInTypeContext = (ancestors) => ancestors.some((ancestor) => ancestor.type.startsWith("TS") || ancestor.type.startsWith("JSDoc"));
+export const isPropertyOnlyIdentifier = (node, parent) => !!parent && parent.type === "MemberExpression" && parent.property === node && !parent.computed;
+export const isObjectPropertyKey = (node, parent) => !!parent && parent.type === "Property" && parent.key === node && !parent.computed && parent.value !== node;
+export const isBindingPosition = (node, parent) => {
+	if (!parent) {
+		return false;
+	}
+	if (parent.type === "VariableDeclarator" && parent.id === node) {
+		return true;
+	}
+	if ((parent.type === "FunctionDeclaration" || parent.type === "FunctionExpression" || parent.type === "ClassDeclaration" || parent.type === "ClassExpression") && parent.id === node) {
+		return true;
+	}
+	if ((parent.type === "ImportSpecifier" || parent.type === "ImportDefaultSpecifier" || parent.type === "ImportNamespaceSpecifier") && "local" in parent && parent.local === node) {
+		return true;
+	}
+	return false;
+};
+const visit = (node, scope, enter, parent = null, ancestors = []) => {
+	const visitNode = (currentNode, currentScope, currentParent) => {
+		let nextScope;
+		if (currentNode.type === "Program") {
+			nextScope = createScope(null, currentNode, true, true);
+		} else if (currentNode.type === "BlockStatement" || currentNode.type === "FunctionDeclaration" || currentNode.type === "FunctionExpression" || currentNode.type === "ArrowFunctionExpression") {
+			nextScope = createScope(currentScope, currentNode, false, currentNode.type !== "BlockStatement");
+		} else if (currentScope) {
+			nextScope = currentScope;
+		} else {
+			nextScope = createScope(null, currentNode, false, true);
+		}
+		if (currentNode.type === "FunctionDeclaration" || currentNode.type === "FunctionExpression" || currentNode.type === "ArrowFunctionExpression") {
+			currentNode.params.forEach((param) => {
+				collectBindingNames(param).forEach((name) => {
+					nextScope.params.add(name);
+					nextScope.bindings.set(name, {
+						declaredAt: param.start,
+						declaration: null,
+						declarator: null,
+						functionNode: null,
+						isRoot: false,
+						kind: "param",
+						name,
+						scope: nextScope
+					});
+				});
+			});
+		}
+		enter(currentNode, nextScope, currentParent, ancestors);
+		ancestors.push(currentNode);
+		getOxcNodeChildren(currentNode).forEach((child) => visitNode(child, nextScope, currentNode));
+		ancestors.pop();
+	};
+	visitNode(node, scope, parent);
+};
+export const analyzeProgram = (program, { collectTargetExpressions = false, collectTemplateLiterals = false, expressionSpanLookup = null, templateSpanLookup = null } = {}) => {
+	const bindings = new Map();
+	const usedNames = new Set();
+	const templateLiterals = [];
+	const targetExpressions = [];
+	const addBinding = (scope, binding) => {
+		scope.bindings.set(binding.name, binding);
+		const existing = bindings.get(binding.name) ?? [];
+		existing.push(binding);
+		bindings.set(binding.name, existing);
+	};
+	const collectTargets = (node, ancestors) => {
+		if (collectTemplateLiterals && node.type === "TemplateLiteral" && node.expressions.length > 0 && !ancestors.some((ancestor) => ancestor.type === "TemplateLiteral") && matchesSpanLookup(node, templateSpanLookup)) {
+			templateLiterals.push(node);
+		}
+		if (collectTargetExpressions && expressionSpanLookup && matchesSpanLookup(node, expressionSpanLookup)) {
+			targetExpressions.push(node);
+		}
+	};
+	visit(program, null, (node, scope, _parent, ancestors) => {
+		collectTargets(node, ancestors);
+		if (node.type === "Identifier") {
+			usedNames.add(node.name);
+		}
+		if (isInTypeContext(ancestors)) {
+			return;
+		}
+		if (node.type === "FunctionDeclaration" || node.type === "FunctionExpression" || node.type === "ArrowFunctionExpression") {
+			node.params.forEach((param) => {
+				collectBindingNames(param).forEach((name) => {
+					const binding = scope.bindings.get(name);
+					if (binding) {
+						addBinding(scope, binding);
+					}
+				});
+			});
+			if (node.type !== "FunctionDeclaration") {
+				return;
+			}
+		}
+		if (node.type === "ImportDeclaration") {
+			const source = node.source.value;
+			node.specifiers.forEach((specifier) => {
+				const importInfo = getImportSpecifierInfo(node, specifier);
+				if (!importInfo) {
+					return;
+				}
+				addBinding(scope, {
+					declaredAt: specifier.start,
+					declaration: null,
+					declarator: null,
+					functionNode: null,
+					imported: importInfo.imported,
+					importedFrom: source,
+					isRoot: scope.root,
+					kind: "import",
+					name: importInfo.local,
+					scope
+				});
+			});
+			return;
+		}
+		if (node.type !== "VariableDeclaration") {
+			if (node.type === "FunctionDeclaration" && node.id) {
+				const declarationScope = scope.parent ?? scope;
+				const binding = {
+					declaredAt: node.start,
+					declaration: null,
+					declarator: null,
+					functionNode: node,
+					isRoot: declarationScope.root,
+					kind: "function",
+					name: node.id.name,
+					scope: declarationScope
+				};
+				addBinding(declarationScope, binding);
+			}
+			return;
+		}
+		node.declarations.forEach((declarator) => {
+			collectBindingNames(declarator.id).forEach((name) => {
+				const declarationKind = normalizeDeclarationKind(node.kind);
+				const declarationScope = getDeclarationScope(scope, declarationKind);
+				const binding = {
+					declarationKind,
+					declaredAt: declarator.start,
+					declaration: node,
+					declarator,
+					functionNode: null,
+					isRoot: declarationScope.root,
+					kind: "variable",
+					name,
+					scope: declarationScope
+				};
+				addBinding(declarationScope, binding);
+			});
+		});
+	});
+	return {
+		bindingsByName: bindings,
+		rootMutationsByBinding: collectRootMutations(program),
+		targetExpressions: targetExpressions.sort((a, b) => a.start - b.start),
+		templateLiterals,
+		usedNames
+	};
+};
+export const resolveBindingAt = (ctx, name, referenceStart) => {
+	const cachedBindings = ctx.bindingResolutionCache.get(name);
+	if (cachedBindings?.has(referenceStart)) {
+		return cachedBindings.get(referenceStart) ?? undefined;
+	}
+	const bindings = ctx.bindingsByName.get(name);
+	const bindingCache = cachedBindings ?? new Map();
+	if (!cachedBindings) {
+		ctx.bindingResolutionCache.set(name, bindingCache);
+	}
+	if (!bindings || bindings.length === 0) {
+		bindingCache.set(referenceStart, null);
+		return undefined;
+	}
+	let binding;
+	bindings.forEach((candidate) => {
+		if (candidate.scope.start > referenceStart || referenceStart >= candidate.scope.end) {
+			return;
+		}
+		if (!binding || candidate.scope.depth > binding.scope.depth || candidate.scope.depth === binding.scope.depth && candidate.declaredAt > binding.declaredAt) {
+			binding = candidate;
+		}
+	});
+	bindingCache.set(referenceStart, binding ?? null);
+	return binding;
+};
+const collectRootMutations = (program) => {
+	const mutations = new Map();
+	const getRootMutationTarget = (node) => {
+		if (node.type === "Identifier") {
+			return {
+				binding: node.name,
+				path: []
+			};
+		}
+		if (node.type !== "MemberExpression") {
+			return null;
+		}
+		const parent = getRootMutationTarget(node.object);
+		if (!parent) {
+			return null;
+		}
+		let key = null;
+		if (node.computed && node.property.type === "Literal" && (typeof node.property.value === "string" || typeof node.property.value === "number")) {
+			key = node.property.value;
+		} else if (!node.computed && node.property.type === "Identifier") {
+			key = node.property.name;
+		}
+		if (key === null) {
+			return null;
+		}
+		return {
+			binding: parent.binding,
+			path: [...parent.path, key]
+		};
+	};
+	program.body.forEach((statement) => {
+		if (statement.type !== "ExpressionStatement") {
+			return;
+		}
+		const { expression } = statement;
+		if (expression.type === "AssignmentExpression") {
+			const target = getRootMutationTarget(expression.left);
+			if (!target || target.path.length === 0) {
+				return;
+			}
+			const bucket = mutations.get(target.binding) ?? [];
+			bucket.push(expression);
+			mutations.set(target.binding, bucket);
+			return;
+		}
+		if (expression.type === "UpdateExpression") {
+			const target = getRootMutationTarget(expression.argument);
+			if (!target || target.path.length === 0) {
+				return;
+			}
+			const bucket = mutations.get(target.binding) ?? [];
+			bucket.push(expression);
+			mutations.set(target.binding, bucket);
+		}
+	});
+	return mutations;
+};
+const hasLocalBinding = (scope, name) => {
+	let current = scope;
+	while (current) {
+		if (current.bindings.has(name)) {
+			return true;
+		}
+		current = current.parent;
+	}
+	return false;
+};
+const hasLocalBindingCached = (scope, name, cache) => {
+	const scopeCache = cache.get(scope);
+	if (scopeCache?.has(name)) {
+		return scopeCache.get(name);
+	}
+	const result = hasLocalBinding(scope, name);
+	const nextScopeCache = scopeCache ?? new Map();
+	nextScopeCache.set(name, result);
+	if (!scopeCache) {
+		cache.set(scope, nextScopeCache);
+	}
+	return result;
+};
+export const findReferences = (node, referenceCache) => {
+	const cachedReferences = referenceCache?.get(node);
+	if (cachedReferences) {
+		return cachedReferences;
+	}
+	const refs = new Map();
+	const localBindingCache = new WeakMap();
+	visit(node, null, (current, scope, parent, ancestors) => {
+		if (current.type !== "Identifier" || isInTypeContext(ancestors) || isBindingPosition(current, parent) || isPropertyOnlyIdentifier(current, parent) || isObjectPropertyKey(current, parent) || hasLocalBindingCached(scope, current.name, localBindingCache)) {
+			return;
+		}
+		const key = `${current.start}:${current.end}:${current.name}`;
+		refs.set(key, {
+			end: current.end,
+			name: current.name,
+			start: current.start
+		});
+	});
+	const resolvedReferences = [...refs.values()];
+	referenceCache?.set(node, resolvedReferences);
+	return resolvedReferences;
+};
+export const isBindingDeclaredWithin = (binding, container) => container.start <= binding.declaredAt && binding.declaredAt < container.end;
+//# sourceMappingURL=scopeAnalysis.js.map

package/esm/utils/collectOxcTemplateDependencies/scopeAnalysis.js.map

@@ -0,0 +1 @@
+{"mappings":"AAgBA,SAAS,0BAA0B;AACnC,SAAS,uBAAuB;AAChC,SAAS,+BAA+B;AAYxC,OAAO,MAAM,oCAAoC,SAAwB;AACvE,KAAI,KAAK,SAAS,4BAA4B;AAC5C,SAAO;;AAGT,QAAO,mBAAmB,KAAK,CAAC,KAAK,iCAAiC;;AAGxE,OAAO,MAAM,YAAY,MAAc,aAA8B;AACnE,QAAO,gBAAgB,MAAM,UAAU,cAAc;;AAGvD,MAAM,aAAa,OAAe,QAAwB,GAAG,MAAM,GAAG;AAEtE,OAAO,MAAM,oBAAoB,UAAyC;AACxE,KAAI,CAAC,SAAS,MAAM,WAAW,GAAG;AAChC,SAAO;;AAGT,QAAO,IAAI,IAAI,MAAM,KAAK,SAAS,UAAU,KAAK,OAAO,KAAK,IAAI,CAAC,CAAC;;AAGtE,MAAM,qBACJ,MACA,eACY,CAAC,cAAc,WAAW,IAAI,UAAU,KAAK,OAAO,KAAK,IAAI,CAAC;AAE5E,OAAO,MAAM,qBACX,OACA,KACA,QACmB,wBAAwB,OAAO,KAAK,IAAI,KAAK,IAAI,SAAS;AAE/E,MAAM,eACJ,QACA,MACA,OAAO,OACP,mBAAmB,WACR;CACX,UAAU,IAAI,KAAK;CACnB,OAAO,SAAS,OAAO,QAAQ,IAAI;CACnC,KAAK,KAAK;CACV;CACA,QAAQ,IAAI,KAAK;CACjB;CACA;CACA,OAAO,KAAK;CACb;AAED,MAAM,4BACJ,oBAC0B;AAC1B,KAAI,oBAAoB,OAAO;AAC7B,SAAO;;AAGT,KAAI,oBAAoB,OAAO;AAC7B,SAAO;;AAGT,QAAO;;AAGT,MAAM,oBAAoB,SACxB,KAAK,SAAS,YAAY,OAAO,KAAK,MAAM,GAAG,KAAK;AAEtD,MAAM,0BACJ,WACA,cACiE;CACjE,MAAM,QAAQ,UAAU,OAAO;AAC/B,KAAI,CAAC,OAAO;AACV,SAAO;;AAGT,KAAI,UAAU,SAAS,0BAA0B;AAC/C,SAAO;GACL,UAAU;GACV;GACD;;AAGH,KAAI,UAAU,SAAS,4BAA4B;AACjD,SAAO;GACL,UAAU;GACV;GACD;;AAGH,KACE,UAAU,eAAe,UACxB,UAA8B,eAAe,QAC9C;AACA,SAAO;;AAGT,QAAO;EACL,UAAU,iBAAkB,UAA8B,SAAS;EACnE;EACD;;AAGH,MAAM,uBACJ,OACA,oBACU;AACV,KAAI,oBAAoB,OAAO;AAC7B,SAAO;;CAGT,IAAI,UAAwB;AAC5B,QAAO,WAAW,CAAC,QAAQ,kBAAkB;AAC3C,YAAU,QAAQ;;AAGpB,QAAO,WAAW;;AAGpB,MAAM,uBAAuB,SAAyB;AACpD,KAAI,KAAK,SAAS,cAAc;AAC9B,SAAO,CAAC,KAAK,KAAK;;AAGpB,KAAI,KAAK,SAAS,eAAe;AAC/B,SAAO,oBAAoB,KAAK,SAAS;;AAG3C,KAAI,KAAK,SAAS,qBAAqB;AACrC,SAAO,oBAAoB,KAAK,KAAK;;AAGvC,KAAI,KAAK,SAAS,iBAAiB;AACjC,SAAO,KAAK,WAAW,SAAS,aAC9B,SAAS,SAAS,gBACd,oBAAoB,SAAS,SAAS,GACtC,oBAAoB,SAAS,MAAM,CACxC;;AAGH,KAAI,KAAK,SAAS,gBAAgB;AAChC,SAAO,KAAK,SAAS,SAAS,YAC5B,UAAU,oBAAoB,QAAQ,GAAG,EAAE,CAC5C;;AAGH,KAAI,KAAK,SAAS,uBAAuB;AACvC,SAAO,oBAAoB,KAAK,UAAU;;AAG5C,QAAO,EAAE;;AAGX,OAAO,MAAM,mBAAmB,cAC9B,UAAU,MACP,aACC,SAAS,KAAK,WAAW,KAAK,IAAI,SAAS,KAAK,WAAW,QAAQ,CACtE;AAEH,OAAO,MAAM,4BACX,MACA,WAEA,CAAC,CAAC,UACF,OAAO,SAAS,sBAChB,OAAO,aAAa,QACpB,CAAC,OAAO;AAEV,OAAO,MAAM,uBAAuB,MAAY,WAC9C,CAAC,CAAC,UACF,OAAO,SAAS,cAChB,OAAO,QAAQ,QACf,CAAC,OAAO,YACR,OAAO,UAAU;AAEnB,OAAO,MAAM,qBAAqB,MAAY,WAAiC;AAC7E,KAAI,CAAC,QAAQ;AACX,SAAO;;AAGT,KAAI,OAAO,SAAS,wBAAwB,OAAO,OAAO,MAAM;AAC9D,SAAO;;AAGT,MACG,OAAO,SAAS,yBACf,OAAO,SAAS,wBAChB,OAAO,SAAS,sBAChB,OAAO,SAAS,sBAClB,OAAO,OAAO,MACd;AACA,SAAO;;AAGT,MACG,OAAO,SAAS,qBACf,OAAO,SAAS,4BAChB,OAAO,SAAS,+BAClB,WAAW,UACX,OAAO,UAAU,MACjB;AACA,SAAO;;AAGT,QAAO;;AAGT,MAAM,SACJ,MACA,OACA,OAMA,SAAsB,MACtB,YAAoB,EAAE,KACb;CACT,MAAM,aACJ,aACA,cACA,kBACS;EACT,IAAI;AACJ,MAAI,YAAY,SAAS,WAAW;AAClC,eAAY,YAAY,MAAM,aAAa,MAAM,KAAK;aAEtD,YAAY,SAAS,oBACrB,YAAY,SAAS,yBACrB,YAAY,SAAS,wBACrB,YAAY,SAAS,2BACrB;AACA,eAAY,YACV,cACA,aACA,OACA,YAAY,SAAS,iBACtB;aACQ,cAAc;AACvB,eAAY;SACP;AACL,eAAY,YAAY,MAAM,aAAa,OAAO,KAAK;;AAGzD,MACE,YAAY,SAAS,yBACrB,YAAY,SAAS,wBACrB,YAAY,SAAS,2BACrB;AACA,eAAY,OAAO,SAAS,UAAU;AACpC,wBAAoB,MAAM,CAAC,SAAS,SAAS;AAC3C,eAAU,OAAO,IAAI,KAAK;AAC1B,eAAU,SAAS,IAAI,MAAM;MAC3B,YAAY,MAAM;MAClB,aAAa;MACb,YAAY;MACZ,cAAc;MACd,QAAQ;MACR,MAAM;MACN;MACA,OAAO;MACR,CAAC;MACF;KACF;;AAGJ,QAAM,aAAa,WAAW,eAAe,UAAU;AAEvD,YAAU,KAAK,YAAY;AAC3B,qBAAmB,YAAY,CAAC,SAAS,UACvC,UAAU,OAAO,WAAW,YAAY,CACzC;AACD,YAAU,KAAK;;AAGjB,WAAU,MAAM,OAAO,OAAO;;AAGhC,OAAO,MAAM,kBACX,SACA,EACE,2BAA2B,OAC3B,0BAA0B,OAC1B,uBAAuB,MACvB,qBAAqB,SAMnB,EAAE,KACc;CACpB,MAAM,WAAW,IAAI,KAAwB;CAC7C,MAAM,YAAY,IAAI,KAAa;CACnC,MAAM,mBAAsC,EAAE;CAC9C,MAAM,oBAAkC,EAAE;CAE1C,MAAM,cAAc,OAAc,YAA2B;AAC3D,QAAM,SAAS,IAAI,QAAQ,MAAM,QAAQ;EACzC,MAAM,WAAW,SAAS,IAAI,QAAQ,KAAK,IAAI,EAAE;AACjD,WAAS,KAAK,QAAQ;AACtB,WAAS,IAAI,QAAQ,MAAM,SAAS;;CAGtC,MAAM,kBAAkB,MAAY,cAA4B;AAC9D,MACE,2BACA,KAAK,SAAS,qBACd,KAAK,YAAY,SAAS,KAC1B,CAAC,UAAU,MAAM,aAAa,SAAS,SAAS,kBAAkB,IAClE,kBAAkB,MAAM,mBAAmB,EAC3C;AACA,oBAAiB,KAAK,KAAK;;AAG7B,MACE,4BACA,wBACA,kBAAkB,MAAM,qBAAqB,EAC7C;AACA,qBAAkB,KAAK,KAAmB;;;AAI9C,OAAM,SAAS,OAAO,MAAM,OAAO,SAAS,cAAc;AACxD,iBAAe,MAAM,UAAU;AAE/B,MAAI,KAAK,SAAS,cAAc;AAC9B,aAAU,IAAI,KAAK,KAAK;;AAG1B,MAAI,gBAAgB,UAAU,EAAE;AAC9B;;AAGF,MACE,KAAK,SAAS,yBACd,KAAK,SAAS,wBACd,KAAK,SAAS,2BACd;AACA,QAAK,OAAO,SAAS,UAAU;AAC7B,wBAAoB,MAAM,CAAC,SAAS,SAAS;KAC3C,MAAM,UAAU,MAAM,SAAS,IAAI,KAAK;AACxC,SAAI,SAAS;AACX,iBAAW,OAAO,QAAQ;;MAE5B;KACF;AAEF,OAAI,KAAK,SAAS,uBAAuB;AACvC;;;AAIJ,MAAI,KAAK,SAAS,qBAAqB;GACrC,MAAM,SAAS,KAAK,OAAO;AAC3B,QAAK,WAAW,SAAS,cAAc;IACrC,MAAM,aAAa,uBAAuB,MAAM,UAAU;AAC1D,QAAI,CAAC,YAAY;AACf;;AAGF,eAAW,OAAO;KAChB,YAAY,UAAU;KACtB,aAAa;KACb,YAAY;KACZ,cAAc;KACd,UAAU,WAAW;KACrB,cAAc;KACd,QAAQ,MAAM;KACd,MAAM;KACN,MAAM,WAAW;KACjB;KACD,CAAC;KACF;AACF;;AAGF,MAAI,KAAK,SAAS,uBAAuB;AACvC,OAAI,KAAK,SAAS,yBAAyB,KAAK,IAAI;IAClD,MAAM,mBAAmB,MAAM,UAAU;IACzC,MAAM,UAAmB;KACvB,YAAY,KAAK;KACjB,aAAa;KACb,YAAY;KACZ,cAAc;KACd,QAAQ,iBAAiB;KACzB,MAAM;KACN,MAAM,KAAK,GAAG;KACd,OAAO;KACR;AACD,eAAW,kBAAkB,QAAQ;;AAGvC;;AAGF,OAAK,aAAa,SAAS,eAAe;AACxC,uBAAoB,WAAW,GAAG,CAAC,SAAS,SAAS;IACnD,MAAM,kBAAkB,yBAAyB,KAAK,KAAK;IAC3D,MAAM,mBAAmB,oBAAoB,OAAO,gBAAgB;IACpE,MAAM,UAAmB;KACvB;KACA,YAAY,WAAW;KACvB,aAAa;KACb;KACA,cAAc;KACd,QAAQ,iBAAiB;KACzB,MAAM;KACN;KACA,OAAO;KACR;AACD,eAAW,kBAAkB,QAAQ;KACrC;IACF;GACF;AAEF,QAAO;EACL,gBAAgB;EAChB,wBAAwB,qBAAqB,QAAQ;EACrD,mBAAmB,kBAAkB,MAAM,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM;EACtE;EACA;EACD;;AAGH,OAAO,MAAM,oBACX,KACA,MACA,mBACwB;CACxB,MAAM,iBAAiB,IAAI,uBAAuB,IAAI,KAAK;AAC3D,KAAI,gBAAgB,IAAI,eAAe,EAAE;AACvC,SAAO,eAAe,IAAI,eAAe,IAAI;;CAG/C,MAAM,WAAW,IAAI,eAAe,IAAI,KAAK;CAC7C,MAAM,eAAe,kBAAkB,IAAI,KAA6B;AACxE,KAAI,CAAC,gBAAgB;AACnB,MAAI,uBAAuB,IAAI,MAAM,aAAa;;AAGpD,KAAI,CAAC,YAAY,SAAS,WAAW,GAAG;AACtC,eAAa,IAAI,gBAAgB,KAAK;AACtC,SAAO;;CAGT,IAAI;AACJ,UAAS,SAAS,cAAc;AAC9B,MACE,UAAU,MAAM,QAAQ,kBACxB,kBAAkB,UAAU,MAAM,KAClC;AACA;;AAGF,MACE,CAAC,WACD,UAAU,MAAM,QAAQ,QAAQ,MAAM,SACrC,UAAU,MAAM,UAAU,QAAQ,MAAM,SACvC,UAAU,aAAa,QAAQ,YACjC;AACA,aAAU;;GAEZ;AAEF,cAAa,IAAI,gBAAgB,WAAW,KAAK;AACjD,QAAO;;AAGT,MAAM,wBACJ,YACgE;CAChE,MAAM,YAAY,IAAI,KAGnB;CAEH,MAAM,yBACJ,SAC6D;AAC7D,MAAI,KAAK,SAAS,cAAc;AAC9B,UAAO;IACL,SAAS,KAAK;IACd,MAAM,EAAE;IACT;;AAGH,MAAI,KAAK,SAAS,oBAAoB;AACpC,UAAO;;EAGT,MAAM,SAAS,sBAAsB,KAAK,OAAO;AACjD,MAAI,CAAC,QAAQ;AACX,UAAO;;EAGT,IAAI,MAA8B;AAClC,MACE,KAAK,YACL,KAAK,SAAS,SAAS,cACtB,OAAO,KAAK,SAAS,UAAU,YAC9B,OAAO,KAAK,SAAS,UAAU,WACjC;AACA,SAAM,KAAK,SAAS;aACX,CAAC,KAAK,YAAY,KAAK,SAAS,SAAS,cAAc;AAChE,SAAM,KAAK,SAAS;;AAEtB,MAAI,QAAQ,MAAM;AAChB,UAAO;;AAGT,SAAO;GACL,SAAS,OAAO;GAChB,MAAM,CAAC,GAAG,OAAO,MAAM,IAAI;GAC5B;;AAGH,SAAQ,KAAK,SAAS,cAAc;AAClC,MAAI,UAAU,SAAS,uBAAuB;AAC5C;;EAGF,MAAM,EAAE,eAAe;AACvB,MAAI,WAAW,SAAS,wBAAwB;GAC9C,MAAM,SAAS,sBAAsB,WAAW,KAAK;AACrD,OAAI,CAAC,UAAU,OAAO,KAAK,WAAW,GAAG;AACvC;;GAGF,MAAM,SAAS,UAAU,IAAI,OAAO,QAAQ,IAAI,EAAE;AAClD,UAAO,KAAK,WAAW;AACvB,aAAU,IAAI,OAAO,SAAS,OAAO;AACrC;;AAGF,MAAI,WAAW,SAAS,oBAAoB;GAC1C,MAAM,SAAS,sBAAsB,WAAW,SAAS;AACzD,OAAI,CAAC,UAAU,OAAO,KAAK,WAAW,GAAG;AACvC;;GAGF,MAAM,SAAS,UAAU,IAAI,OAAO,QAAQ,IAAI,EAAE;AAClD,UAAO,KAAK,WAAW;AACvB,aAAU,IAAI,OAAO,SAAS,OAAO;;GAEvC;AAEF,QAAO;;AAGT,MAAM,mBAAmB,OAAc,SAA0B;CAC/D,IAAI,UAAwB;AAE5B,QAAO,SAAS;AACd,MAAI,QAAQ,SAAS,IAAI,KAAK,EAAE;AAC9B,UAAO;;AAGT,YAAU,QAAQ;;AAGpB,QAAO;;AAGT,MAAM,yBACJ,OACA,MACA,UACY;CACZ,MAAM,aAAa,MAAM,IAAI,MAAM;AACnC,KAAI,YAAY,IAAI,KAAK,EAAE;AACzB,SAAO,WAAW,IAAI,KAAK;;CAG7B,MAAM,SAAS,gBAAgB,OAAO,KAAK;CAC3C,MAAM,iBAAiB,cAAc,IAAI,KAAsB;AAC/D,gBAAe,IAAI,MAAM,OAAO;AAChC,KAAI,CAAC,YAAY;AACf,QAAM,IAAI,OAAO,eAAe;;AAGlC,QAAO;;AAGT,OAAO,MAAM,kBACX,MACA,mBAC0B;CAC1B,MAAM,mBAAmB,gBAAgB,IAAI,KAAK;AAClD,KAAI,kBAAkB;AACpB,SAAO;;CAGT,MAAM,OAAO,IAAI,KAAkC;CACnD,MAAM,oBAAoB,IAAI,SAAsC;AAEpE,OAAM,MAAM,OAAO,SAAS,OAAO,QAAQ,cAAc;AACvD,MACE,QAAQ,SAAS,gBACjB,gBAAgB,UAAU,IAC1B,kBAAkB,SAAS,OAAO,IAClC,yBAAyB,SAAS,OAAO,IACzC,oBAAoB,SAAS,OAAO,IACpC,sBAAsB,OAAO,QAAQ,MAAM,kBAAkB,EAC7D;AACA;;EAGF,MAAM,MAAM,GAAG,QAAQ,MAAM,GAAG,QAAQ,IAAI,GAAG,QAAQ;AACvD,OAAK,IAAI,KAAK;GACZ,KAAK,QAAQ;GACb,MAAM,QAAQ;GACd,OAAO,QAAQ;GAChB,CAAC;GACF;CAEF,MAAM,qBAAqB,CAAC,GAAG,KAAK,QAAQ,CAAC;AAC7C,iBAAgB,IAAI,MAAM,mBAAmB;AAC7C,QAAO;;AAGT,OAAO,MAAM,2BACX,SACA,cAEA,UAAU,SAAS,QAAQ,cAAc,QAAQ,aAAa,UAAU","names":[],"sources":["../../../src/utils/collectOxcTemplateDependencies/scopeAnalysis.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax,no-continue,@typescript-eslint/no-use-before-define */\n\nimport type { SourceLocation } from '@wyw-in-js/shared';\nimport type {\n  AssignmentExpression,\n  Expression,\n  ImportDeclaration,\n  ImportSpecifier,\n  ModuleExportName,\n  Node,\n  Program,\n  TemplateLiteral,\n  UpdateExpression,\n  VariableDeclaration,\n} from 'oxc-parser';\n\nimport { getOxcNodeChildren } from '../oxc/ast';\nimport { parseOxcProgram } from '../oxc/parse';\nimport { createOxcSourceLocation } from '../oxc/sourceLocations';\nimport type {\n  Binding,\n  ExpressionSpan,\n  ExtractionContext,\n  ProgramAnalysis,\n  ReferenceIdentifier,\n  Scope,\n  ScopedDeclarationKind,\n  SpanLookup,\n} from './types';\n\nexport const containsTaggedTemplateExpression = (node: Node): boolean => {\n  if (node.type === 'TaggedTemplateExpression') {\n    return true;\n  }\n\n  return getOxcNodeChildren(node).some(containsTaggedTemplateExpression);\n};\n\nexport const parseOxc = (code: string, filename: string): Program => {\n  return parseOxcProgram(code, filename, 'unambiguous');\n};\n\nconst toSpanKey = (start: number, end: number): string => `${start}:${end}`;\n\nexport const createSpanLookup = (spans?: ExpressionSpan[]): SpanLookup => {\n  if (!spans || spans.length === 0) {\n    return null;\n  }\n\n  return new Set(spans.map((span) => toSpanKey(span.start, span.end)));\n};\n\nconst matchesSpanLookup = (\n  node: Pick<Node, 'start' | 'end'>,\n  spanLookup: SpanLookup\n): boolean => !spanLookup || spanLookup.has(toSpanKey(node.start, node.end));\n\nexport const getSourceLocation = (\n  start: number,\n  end: number,\n  ctx: Pick<ExtractionContext, 'filename' | 'loc'>\n): SourceLocation => createOxcSourceLocation(start, end, ctx.loc, ctx.filename);\n\nconst createScope = (\n  parent: Scope | null,\n  node: Pick<Node, 'start' | 'end'>,\n  root = false,\n  functionBoundary = false\n): Scope => ({\n  bindings: new Map(),\n  depth: parent ? parent.depth + 1 : 0,\n  end: node.end,\n  functionBoundary,\n  params: new Set(),\n  parent,\n  root,\n  start: node.start,\n});\n\nconst normalizeDeclarationKind = (\n  declarationKind: VariableDeclaration['kind']\n): ScopedDeclarationKind => {\n  if (declarationKind === 'var') {\n    return 'var';\n  }\n\n  if (declarationKind === 'let') {\n    return 'let';\n  }\n\n  return 'const';\n};\n\nconst moduleExportName = (node: ModuleExportName): string =>\n  node.type === 'Literal' ? String(node.value) : node.name;\n\nconst getImportSpecifierInfo = (\n  statement: ImportDeclaration,\n  specifier: ImportDeclaration['specifiers'][number]\n): { imported: 'default' | '*' | string; local: string } | null => {\n  const local = specifier.local?.name;\n  if (!local) {\n    return null;\n  }\n\n  if (specifier.type === 'ImportDefaultSpecifier') {\n    return {\n      imported: 'default',\n      local,\n    };\n  }\n\n  if (specifier.type === 'ImportNamespaceSpecifier') {\n    return {\n      imported: '*',\n      local,\n    };\n  }\n\n  if (\n    statement.importKind === 'type' ||\n    (specifier as ImportSpecifier).importKind === 'type'\n  ) {\n    return null;\n  }\n\n  return {\n    imported: moduleExportName((specifier as ImportSpecifier).imported),\n    local,\n  };\n};\n\nconst getDeclarationScope = (\n  scope: Scope,\n  declarationKind: ScopedDeclarationKind\n): Scope => {\n  if (declarationKind !== 'var') {\n    return scope;\n  }\n\n  let current: Scope | null = scope;\n  while (current && !current.functionBoundary) {\n    current = current.parent;\n  }\n\n  return current ?? scope;\n};\n\nconst collectBindingNames = (node: Node): string[] => {\n  if (node.type === 'Identifier') {\n    return [node.name];\n  }\n\n  if (node.type === 'RestElement') {\n    return collectBindingNames(node.argument);\n  }\n\n  if (node.type === 'AssignmentPattern') {\n    return collectBindingNames(node.left);\n  }\n\n  if (node.type === 'ObjectPattern') {\n    return node.properties.flatMap((property) =>\n      property.type === 'RestElement'\n        ? collectBindingNames(property.argument)\n        : collectBindingNames(property.value)\n    );\n  }\n\n  if (node.type === 'ArrayPattern') {\n    return node.elements.flatMap((element) =>\n      element ? collectBindingNames(element) : []\n    );\n  }\n\n  if (node.type === 'TSParameterProperty') {\n    return collectBindingNames(node.parameter);\n  }\n\n  return [];\n};\n\nexport const isInTypeContext = (ancestors: Node[]): boolean =>\n  ancestors.some(\n    (ancestor) =>\n      ancestor.type.startsWith('TS') || ancestor.type.startsWith('JSDoc')\n  );\n\nexport const isPropertyOnlyIdentifier = (\n  node: Node,\n  parent: Node | null\n): boolean =>\n  !!parent &&\n  parent.type === 'MemberExpression' &&\n  parent.property === node &&\n  !parent.computed;\n\nexport const isObjectPropertyKey = (node: Node, parent: Node | null): boolean =>\n  !!parent &&\n  parent.type === 'Property' &&\n  parent.key === node &&\n  !parent.computed &&\n  parent.value !== node;\n\nexport const isBindingPosition = (node: Node, parent: Node | null): boolean => {\n  if (!parent) {\n    return false;\n  }\n\n  if (parent.type === 'VariableDeclarator' && parent.id === node) {\n    return true;\n  }\n\n  if (\n    (parent.type === 'FunctionDeclaration' ||\n      parent.type === 'FunctionExpression' ||\n      parent.type === 'ClassDeclaration' ||\n      parent.type === 'ClassExpression') &&\n    parent.id === node\n  ) {\n    return true;\n  }\n\n  if (\n    (parent.type === 'ImportSpecifier' ||\n      parent.type === 'ImportDefaultSpecifier' ||\n      parent.type === 'ImportNamespaceSpecifier') &&\n    'local' in parent &&\n    parent.local === node\n  ) {\n    return true;\n  }\n\n  return false;\n};\n\nconst visit = (\n  node: Node,\n  scope: Scope | null,\n  enter: (\n    node: Node,\n    scope: Scope,\n    parent: Node | null,\n    ancestors: Node[]\n  ) => void,\n  parent: Node | null = null,\n  ancestors: Node[] = []\n): void => {\n  const visitNode = (\n    currentNode: Node,\n    currentScope: Scope | null,\n    currentParent: Node | null\n  ): void => {\n    let nextScope: Scope;\n    if (currentNode.type === 'Program') {\n      nextScope = createScope(null, currentNode, true, true);\n    } else if (\n      currentNode.type === 'BlockStatement' ||\n      currentNode.type === 'FunctionDeclaration' ||\n      currentNode.type === 'FunctionExpression' ||\n      currentNode.type === 'ArrowFunctionExpression'\n    ) {\n      nextScope = createScope(\n        currentScope,\n        currentNode,\n        false,\n        currentNode.type !== 'BlockStatement'\n      );\n    } else if (currentScope) {\n      nextScope = currentScope;\n    } else {\n      nextScope = createScope(null, currentNode, false, true);\n    }\n\n    if (\n      currentNode.type === 'FunctionDeclaration' ||\n      currentNode.type === 'FunctionExpression' ||\n      currentNode.type === 'ArrowFunctionExpression'\n    ) {\n      currentNode.params.forEach((param) => {\n        collectBindingNames(param).forEach((name) => {\n          nextScope.params.add(name);\n          nextScope.bindings.set(name, {\n            declaredAt: param.start,\n            declaration: null,\n            declarator: null,\n            functionNode: null,\n            isRoot: false,\n            kind: 'param',\n            name,\n            scope: nextScope,\n          });\n        });\n      });\n    }\n\n    enter(currentNode, nextScope, currentParent, ancestors);\n\n    ancestors.push(currentNode);\n    getOxcNodeChildren(currentNode).forEach((child) =>\n      visitNode(child, nextScope, currentNode)\n    );\n    ancestors.pop();\n  };\n\n  visitNode(node, scope, parent);\n};\n\nexport const analyzeProgram = (\n  program: Program,\n  {\n    collectTargetExpressions = false,\n    collectTemplateLiterals = false,\n    expressionSpanLookup = null,\n    templateSpanLookup = null,\n  }: {\n    collectTargetExpressions?: boolean;\n    collectTemplateLiterals?: boolean;\n    expressionSpanLookup?: SpanLookup;\n    templateSpanLookup?: SpanLookup;\n  } = {}\n): ProgramAnalysis => {\n  const bindings = new Map<string, Binding[]>();\n  const usedNames = new Set<string>();\n  const templateLiterals: TemplateLiteral[] = [];\n  const targetExpressions: Expression[] = [];\n\n  const addBinding = (scope: Scope, binding: Binding): void => {\n    scope.bindings.set(binding.name, binding);\n    const existing = bindings.get(binding.name) ?? [];\n    existing.push(binding);\n    bindings.set(binding.name, existing);\n  };\n\n  const collectTargets = (node: Node, ancestors: Node[]): void => {\n    if (\n      collectTemplateLiterals &&\n      node.type === 'TemplateLiteral' &&\n      node.expressions.length > 0 &&\n      !ancestors.some((ancestor) => ancestor.type === 'TemplateLiteral') &&\n      matchesSpanLookup(node, templateSpanLookup)\n    ) {\n      templateLiterals.push(node);\n    }\n\n    if (\n      collectTargetExpressions &&\n      expressionSpanLookup &&\n      matchesSpanLookup(node, expressionSpanLookup)\n    ) {\n      targetExpressions.push(node as Expression);\n    }\n  };\n\n  visit(program, null, (node, scope, _parent, ancestors) => {\n    collectTargets(node, ancestors);\n\n    if (node.type === 'Identifier') {\n      usedNames.add(node.name);\n    }\n\n    if (isInTypeContext(ancestors)) {\n      return;\n    }\n\n    if (\n      node.type === 'FunctionDeclaration' ||\n      node.type === 'FunctionExpression' ||\n      node.type === 'ArrowFunctionExpression'\n    ) {\n      node.params.forEach((param) => {\n        collectBindingNames(param).forEach((name) => {\n          const binding = scope.bindings.get(name);\n          if (binding) {\n            addBinding(scope, binding);\n          }\n        });\n      });\n\n      if (node.type !== 'FunctionDeclaration') {\n        return;\n      }\n    }\n\n    if (node.type === 'ImportDeclaration') {\n      const source = node.source.value;\n      node.specifiers.forEach((specifier) => {\n        const importInfo = getImportSpecifierInfo(node, specifier);\n        if (!importInfo) {\n          return;\n        }\n\n        addBinding(scope, {\n          declaredAt: specifier.start,\n          declaration: null,\n          declarator: null,\n          functionNode: null,\n          imported: importInfo.imported,\n          importedFrom: source,\n          isRoot: scope.root,\n          kind: 'import',\n          name: importInfo.local,\n          scope,\n        });\n      });\n      return;\n    }\n\n    if (node.type !== 'VariableDeclaration') {\n      if (node.type === 'FunctionDeclaration' && node.id) {\n        const declarationScope = scope.parent ?? scope;\n        const binding: Binding = {\n          declaredAt: node.start,\n          declaration: null,\n          declarator: null,\n          functionNode: node,\n          isRoot: declarationScope.root,\n          kind: 'function',\n          name: node.id.name,\n          scope: declarationScope,\n        };\n        addBinding(declarationScope, binding);\n      }\n\n      return;\n    }\n\n    node.declarations.forEach((declarator) => {\n      collectBindingNames(declarator.id).forEach((name) => {\n        const declarationKind = normalizeDeclarationKind(node.kind);\n        const declarationScope = getDeclarationScope(scope, declarationKind);\n        const binding: Binding = {\n          declarationKind,\n          declaredAt: declarator.start,\n          declaration: node,\n          declarator,\n          functionNode: null,\n          isRoot: declarationScope.root,\n          kind: 'variable',\n          name,\n          scope: declarationScope,\n        };\n        addBinding(declarationScope, binding);\n      });\n    });\n  });\n\n  return {\n    bindingsByName: bindings,\n    rootMutationsByBinding: collectRootMutations(program),\n    targetExpressions: targetExpressions.sort((a, b) => a.start - b.start),\n    templateLiterals,\n    usedNames,\n  };\n};\n\nexport const resolveBindingAt = (\n  ctx: Pick<ExtractionContext, 'bindingResolutionCache' | 'bindingsByName'>,\n  name: string,\n  referenceStart: number\n): Binding | undefined => {\n  const cachedBindings = ctx.bindingResolutionCache.get(name);\n  if (cachedBindings?.has(referenceStart)) {\n    return cachedBindings.get(referenceStart) ?? undefined;\n  }\n\n  const bindings = ctx.bindingsByName.get(name);\n  const bindingCache = cachedBindings ?? new Map<number, Binding | null>();\n  if (!cachedBindings) {\n    ctx.bindingResolutionCache.set(name, bindingCache);\n  }\n\n  if (!bindings || bindings.length === 0) {\n    bindingCache.set(referenceStart, null);\n    return undefined;\n  }\n\n  let binding: Binding | undefined;\n  bindings.forEach((candidate) => {\n    if (\n      candidate.scope.start > referenceStart ||\n      referenceStart >= candidate.scope.end\n    ) {\n      return;\n    }\n\n    if (\n      !binding ||\n      candidate.scope.depth > binding.scope.depth ||\n      (candidate.scope.depth === binding.scope.depth &&\n        candidate.declaredAt > binding.declaredAt)\n    ) {\n      binding = candidate;\n    }\n  });\n\n  bindingCache.set(referenceStart, binding ?? null);\n  return binding;\n};\n\nconst collectRootMutations = (\n  program: Program\n): Map<string, Array<AssignmentExpression | UpdateExpression>> => {\n  const mutations = new Map<\n    string,\n    Array<AssignmentExpression | UpdateExpression>\n  >();\n\n  const getRootMutationTarget = (\n    node: Node\n  ): { binding: string; path: Array<string | number> } | null => {\n    if (node.type === 'Identifier') {\n      return {\n        binding: node.name,\n        path: [],\n      };\n    }\n\n    if (node.type !== 'MemberExpression') {\n      return null;\n    }\n\n    const parent = getRootMutationTarget(node.object);\n    if (!parent) {\n      return null;\n    }\n\n    let key: string | number | null = null;\n    if (\n      node.computed &&\n      node.property.type === 'Literal' &&\n      (typeof node.property.value === 'string' ||\n        typeof node.property.value === 'number')\n    ) {\n      key = node.property.value;\n    } else if (!node.computed && node.property.type === 'Identifier') {\n      key = node.property.name;\n    }\n    if (key === null) {\n      return null;\n    }\n\n    return {\n      binding: parent.binding,\n      path: [...parent.path, key],\n    };\n  };\n\n  program.body.forEach((statement) => {\n    if (statement.type !== 'ExpressionStatement') {\n      return;\n    }\n\n    const { expression } = statement;\n    if (expression.type === 'AssignmentExpression') {\n      const target = getRootMutationTarget(expression.left);\n      if (!target || target.path.length === 0) {\n        return;\n      }\n\n      const bucket = mutations.get(target.binding) ?? [];\n      bucket.push(expression);\n      mutations.set(target.binding, bucket);\n      return;\n    }\n\n    if (expression.type === 'UpdateExpression') {\n      const target = getRootMutationTarget(expression.argument);\n      if (!target || target.path.length === 0) {\n        return;\n      }\n\n      const bucket = mutations.get(target.binding) ?? [];\n      bucket.push(expression);\n      mutations.set(target.binding, bucket);\n    }\n  });\n\n  return mutations;\n};\n\nconst hasLocalBinding = (scope: Scope, name: string): boolean => {\n  let current: Scope | null = scope;\n\n  while (current) {\n    if (current.bindings.has(name)) {\n      return true;\n    }\n\n    current = current.parent;\n  }\n\n  return false;\n};\n\nconst hasLocalBindingCached = (\n  scope: Scope,\n  name: string,\n  cache: WeakMap<Scope, Map<string, boolean>>\n): boolean => {\n  const scopeCache = cache.get(scope);\n  if (scopeCache?.has(name)) {\n    return scopeCache.get(name)!;\n  }\n\n  const result = hasLocalBinding(scope, name);\n  const nextScopeCache = scopeCache ?? new Map<string, boolean>();\n  nextScopeCache.set(name, result);\n  if (!scopeCache) {\n    cache.set(scope, nextScopeCache);\n  }\n\n  return result;\n};\n\nexport const findReferences = (\n  node: Node,\n  referenceCache?: WeakMap<Node, ReferenceIdentifier[]>\n): ReferenceIdentifier[] => {\n  const cachedReferences = referenceCache?.get(node);\n  if (cachedReferences) {\n    return cachedReferences;\n  }\n\n  const refs = new Map<string, ReferenceIdentifier>();\n  const localBindingCache = new WeakMap<Scope, Map<string, boolean>>();\n\n  visit(node, null, (current, scope, parent, ancestors) => {\n    if (\n      current.type !== 'Identifier' ||\n      isInTypeContext(ancestors) ||\n      isBindingPosition(current, parent) ||\n      isPropertyOnlyIdentifier(current, parent) ||\n      isObjectPropertyKey(current, parent) ||\n      hasLocalBindingCached(scope, current.name, localBindingCache)\n    ) {\n      return;\n    }\n\n    const key = `${current.start}:${current.end}:${current.name}`;\n    refs.set(key, {\n      end: current.end,\n      name: current.name,\n      start: current.start,\n    });\n  });\n\n  const resolvedReferences = [...refs.values()];\n  referenceCache?.set(node, resolvedReferences);\n  return resolvedReferences;\n};\n\nexport const isBindingDeclaredWithin = (\n  binding: Binding,\n  container: Node\n): boolean =>\n  container.start <= binding.declaredAt && binding.declaredAt < container.end;\n"],"file":"scopeAnalysis.js"}

package/esm/utils/collectOxcTemplateDependencies/staticBindings.js

@@ -0,0 +1,17 @@
+export const lookupStaticBinding = (staticBindings, source, imported) => {
+	if (!staticBindings || !source || !imported) {
+		return { found: false };
+	}
+	const sourceMap = staticBindings[source];
+	if (!sourceMap) {
+		return { found: false };
+	}
+	if (!Object.prototype.hasOwnProperty.call(sourceMap, imported)) {
+		return { found: false };
+	}
+	return {
+		found: true,
+		value: sourceMap[imported]
+	};
+};
+//# sourceMappingURL=staticBindings.js.map

package/esm/utils/collectOxcTemplateDependencies/staticBindings.js.map

@@ -0,0 +1 @@
+{"mappings":"AAEA,OAAO,MAAM,uBACX,gBACA,QACA,aACuD;AACvD,KAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,UAAU;AAC3C,SAAO,EAAE,OAAO,OAAO;;CAEzB,MAAM,YAAY,eAAe;AACjC,KAAI,CAAC,WAAW;AACd,SAAO,EAAE,OAAO,OAAO;;AAEzB,KAAI,CAAC,OAAO,UAAU,eAAe,KAAK,WAAW,SAAS,EAAE;AAC9D,SAAO,EAAE,OAAO,OAAO;;AAEzB,QAAO;EAAE,OAAO;EAAM,OAAO,UAAU;EAAW","names":[],"sources":["../../../src/utils/collectOxcTemplateDependencies/staticBindings.ts"],"version":3,"sourcesContent":["import type { StaticBindings } from './types';\n\nexport const lookupStaticBinding = (\n  staticBindings: StaticBindings | undefined,\n  source: string | undefined,\n  imported: string | undefined\n): { found: true; value: unknown } | { found: false } => {\n  if (!staticBindings || !source || !imported) {\n    return { found: false };\n  }\n  const sourceMap = staticBindings[source];\n  if (!sourceMap) {\n    return { found: false };\n  }\n  if (!Object.prototype.hasOwnProperty.call(sourceMap, imported)) {\n    return { found: false };\n  }\n  return { found: true, value: sourceMap[imported] };\n};\n"],"file":"staticBindings.js"}