@wyw-in-js/transform 2.0.0-alpha.0 → 2.0.0

package/esm/utils/applyOxcProcessors/cleanupBindings.js

@@ -0,0 +1,157 @@
+import { isNotNull } from "../isNotNull.js";
+import { getOxcNodeChildren, isOxcNode, walkOxc } from "../oxc/ast.js";
+export const collectUsedNames = (program) => {
+	const names = new Set();
+	walkOxc(program, (node) => {
+		if (node.type === "Identifier") {
+			names.add(node.name);
+		}
+	});
+	return names;
+};
+export const isNodeReference = (node, parent) => {
+	if (node.type === "Identifier") {
+		const parentRecord = parent;
+		if (!parentRecord) {
+			return true;
+		}
+		if (parent?.type === "ImportDeclaration" || parent?.type === "ImportSpecifier" || parent?.type === "ImportDefaultSpecifier" || parent?.type === "ImportNamespaceSpecifier") {
+			return false;
+		}
+		if (parent?.type === "MemberExpression" && parentRecord.property === node && !parentRecord.computed) {
+			return false;
+		}
+		if ((parent?.type === "VariableDeclarator" || parent?.type === "FunctionDeclaration" || parent?.type === "ClassDeclaration" || parent?.type === "ClassExpression") && parentRecord.id === node) {
+			return false;
+		}
+		if ((parent?.type === "PropertyDefinition" || parent?.type === "MethodDefinition") && parentRecord.key === node && !parentRecord.computed) {
+			return false;
+		}
+		if (parent?.type === "Property" && parentRecord.key === node && parentRecord.value !== node && !parentRecord.computed) {
+			return false;
+		}
+		return true;
+	}
+	if (node.type === "JSXIdentifier") {
+		const parentRecord = parent;
+		if (parent?.type === "JSXAttribute" && parentRecord?.name === node) {
+			return false;
+		}
+		return true;
+	}
+	return false;
+};
+export const collectReferencedNames = (root) => {
+	const names = new Set();
+	const walk = (node, parent = null) => {
+		if (node.type === "ImportDeclaration") {
+			return;
+		}
+		if (isNodeReference(node, parent) && "name" in node && typeof node.name === "string") {
+			names.add(node.name);
+		}
+		getOxcNodeChildren(node).forEach((child) => walk(child, node));
+	};
+	walk(root);
+	return names;
+};
+export const collectImportLocalNames = (node) => {
+	if (node.type !== "ImportDeclaration") {
+		return [];
+	}
+	const { specifiers } = node;
+	if (!Array.isArray(specifiers)) {
+		return [];
+	}
+	return specifiers.map((specifier) => {
+		const { local } = specifier;
+		return isOxcNode(local) && "name" in local && typeof local.name === "string" ? local.name : null;
+	}).filter(isNotNull);
+};
+export const getImportSpecifierLocalName = (node) => {
+	const { local } = node;
+	return isOxcNode(local) && "name" in local && typeof local.name === "string" ? local.name : null;
+};
+export const collectDeclaredNames = (node) => {
+	if (node.type === "Identifier") {
+		return [node.name];
+	}
+	if (node.type === "RestElement") {
+		return collectDeclaredNames(node.argument);
+	}
+	if (node.type === "AssignmentPattern") {
+		return collectDeclaredNames(node.left);
+	}
+	if (node.type === "ObjectPattern") {
+		return node.properties.flatMap((property) => property.type === "RestElement" ? collectDeclaredNames(property.argument) : collectDeclaredNames(property.value));
+	}
+	if (node.type === "ArrayPattern") {
+		return node.elements.flatMap((element) => element ? collectDeclaredNames(element) : []);
+	}
+	if (node.type === "TSParameterProperty") {
+		return collectDeclaredNames(node.parameter);
+	}
+	return [];
+};
+export const collectTopLevelBindings = (statement) => {
+	const bindings = new Set();
+	if (statement.type === "ImportDeclaration") {
+		collectImportLocalNames(statement).forEach((name) => bindings.add(name));
+		return bindings;
+	}
+	if (statement.type === "VariableDeclaration") {
+		const { declarations } = statement;
+		if (!Array.isArray(declarations)) {
+			return bindings;
+		}
+		declarations.forEach((declarator) => {
+			const { id } = declarator;
+			if (isOxcNode(id)) {
+				collectDeclaredNames(id).forEach((name) => bindings.add(name));
+			}
+		});
+		return bindings;
+	}
+	if ((statement.type === "FunctionDeclaration" || statement.type === "ClassDeclaration" || statement.type === "TSEnumDeclaration") && "id" in statement) {
+		const { id } = statement;
+		if (isOxcNode(id) && id.type === "Identifier") {
+			bindings.add(id.name);
+		}
+		return bindings;
+	}
+	if (statement.type === "ExportNamedDeclaration") {
+		const { declaration } = statement;
+		return isOxcNode(declaration) ? collectTopLevelBindings(declaration) : bindings;
+	}
+	return bindings;
+};
+export const collectTopLevelStatementInfos = (program) => program.body.map((statement) => ({
+	bindings: collectTopLevelBindings(statement),
+	node: statement,
+	references: collectReferencedNames(statement)
+}));
+export const collectTopLevelBindingsFromStatements = (statements) => new Set(statements.flatMap((statement) => [...statement.bindings]));
+export const collectRemovableNamesFromStatements = (statements, initialNames) => {
+	const removable = new Set(initialNames);
+	const bindingToStatement = new Map();
+	statements.forEach((statement) => {
+		statement.bindings.forEach((name) => {
+			bindingToStatement.set(name, statement);
+		});
+	});
+	const queue = [...removable];
+	while (queue.length > 0) {
+		const name = queue.shift();
+		const statement = bindingToStatement.get(name);
+		if (statement) {
+			statement.references.forEach((reference) => {
+				if (bindingToStatement.has(reference) && !removable.has(reference)) {
+					removable.add(reference);
+					queue.push(reference);
+				}
+			});
+		}
+	}
+	return removable;
+};
+//# sourceMappingURL=cleanupBindings.js.map

package/esm/utils/applyOxcProcessors/cleanupBindings.js.map

@@ -0,0 +1 @@
+{"mappings":"AAIA,SAAS,iBAAiB;AAC1B,SAAS,oBAAoB,WAAW,eAAe;AAGvD,OAAO,MAAM,oBAAoB,YAAkC;CACjE,MAAM,QAAQ,IAAI,KAAa;AAC/B,SAAQ,UAAU,SAAS;AACzB,MAAI,KAAK,SAAS,cAAc;AAC9B,SAAM,IAAI,KAAK,KAAK;;GAEtB;AAEF,QAAO;;AAGT,OAAO,MAAM,mBAAmB,MAAY,WAAiC;AAC3E,KAAI,KAAK,SAAS,cAAc;EAC9B,MAAM,eAAe;AAErB,MAAI,CAAC,cAAc;AACjB,UAAO;;AAGT,MACE,QAAQ,SAAS,uBACjB,QAAQ,SAAS,qBACjB,QAAQ,SAAS,4BACjB,QAAQ,SAAS,4BACjB;AACA,UAAO;;AAGT,MACE,QAAQ,SAAS,sBACjB,aAAa,aAAa,QAC1B,CAAC,aAAa,UACd;AACA,UAAO;;AAGT,OACG,QAAQ,SAAS,wBAChB,QAAQ,SAAS,yBACjB,QAAQ,SAAS,sBACjB,QAAQ,SAAS,sBACnB,aAAa,OAAO,MACpB;AACA,UAAO;;AAGT,OACG,QAAQ,SAAS,wBAChB,QAAQ,SAAS,uBACnB,aAAa,QAAQ,QACrB,CAAC,aAAa,UACd;AACA,UAAO;;AAGT,MACE,QAAQ,SAAS,cACjB,aAAa,QAAQ,QACrB,aAAa,UAAU,QACvB,CAAC,aAAa,UACd;AACA,UAAO;;AAGT,SAAO;;AAGT,KAAI,KAAK,SAAS,iBAAiB;EACjC,MAAM,eAAe;AACrB,MAAI,QAAQ,SAAS,kBAAkB,cAAc,SAAS,MAAM;AAClE,UAAO;;AAGT,SAAO;;AAGT,QAAO;;AAGT,OAAO,MAAM,0BAA0B,SAA4B;CACjE,MAAM,QAAQ,IAAI,KAAa;CAE/B,MAAM,QAAQ,MAAY,SAAsB,SAAe;AAC7D,MAAI,KAAK,SAAS,qBAAqB;AACrC;;AAGF,MACE,gBAAgB,MAAM,OAAO,IAC7B,UAAU,QACV,OAAO,KAAK,SAAS,UACrB;AACA,SAAM,IAAI,KAAK,KAAK;;AAGtB,qBAAmB,KAAK,CAAC,SAAS,UAAU,KAAK,OAAO,KAAK,CAAC;;AAGhE,MAAK,KAAK;AACV,QAAO;;AAGT,OAAO,MAAM,2BAA2B,SAAyB;AAC/D,KAAI,KAAK,SAAS,qBAAqB;AACrC,SAAO,EAAE;;CAGX,MAAM,EAAE,eAAe;AACvB,KAAI,CAAC,MAAM,QAAQ,WAAW,EAAE;AAC9B,SAAO,EAAE;;AAGX,QAAO,WACJ,KAAK,cAAc;EAClB,MAAM,EAAE,UAAU;AAClB,SAAO,UAAU,MAAM,IACrB,UAAU,SACV,OAAO,MAAM,SAAS,WACpB,MAAM,OACN;GACJ,CACD,OAAO,UAAU;;AAGtB,OAAO,MAAM,+BAA+B,SAA8B;CACxE,MAAM,EAAE,UAAU;AAClB,QAAO,UAAU,MAAM,IAAI,UAAU,SAAS,OAAO,MAAM,SAAS,WAChE,MAAM,OACN;;AAGN,OAAO,MAAM,wBAAwB,SAAyB;AAC5D,KAAI,KAAK,SAAS,cAAc;AAC9B,SAAO,CAAC,KAAK,KAAK;;AAGpB,KAAI,KAAK,SAAS,eAAe;AAC/B,SAAO,qBAAqB,KAAK,SAAS;;AAG5C,KAAI,KAAK,SAAS,qBAAqB;AACrC,SAAO,qBAAqB,KAAK,KAAK;;AAGxC,KAAI,KAAK,SAAS,iBAAiB;AACjC,SAAO,KAAK,WAAW,SAAS,aAC9B,SAAS,SAAS,gBACd,qBAAqB,SAAS,SAAS,GACvC,qBAAqB,SAAS,MAAM,CACzC;;AAGH,KAAI,KAAK,SAAS,gBAAgB;AAChC,SAAO,KAAK,SAAS,SAAS,YAC5B,UAAU,qBAAqB,QAAQ,GAAG,EAAE,CAC7C;;AAGH,KAAI,KAAK,SAAS,uBAAuB;AACvC,SAAO,qBAAqB,KAAK,UAAU;;AAG7C,QAAO,EAAE;;AAGX,OAAO,MAAM,2BAA2B,cAAiC;CACvE,MAAM,WAAW,IAAI,KAAa;AAElC,KAAI,UAAU,SAAS,qBAAqB;AAC1C,0BAAwB,UAAU,CAAC,SAAS,SAAS,SAAS,IAAI,KAAK,CAAC;AACxE,SAAO;;AAGT,KAAI,UAAU,SAAS,uBAAuB;EAC5C,MAAM,EAAE,iBAAiB;AACzB,MAAI,CAAC,MAAM,QAAQ,aAAa,EAAE;AAChC,UAAO;;AAGT,eAAa,SAAS,eAAe;GACnC,MAAM,EAAE,OAAO;AACf,OAAI,UAAU,GAAG,EAAE;AACjB,yBAAqB,GAAG,CAAC,SAAS,SAAS,SAAS,IAAI,KAAK,CAAC;;IAEhE;AACF,SAAO;;AAGT,MACG,UAAU,SAAS,yBAClB,UAAU,SAAS,sBACnB,UAAU,SAAS,wBACrB,QAAQ,WACR;EACA,MAAM,EAAE,OAAO;AACf,MAAI,UAAU,GAAG,IAAI,GAAG,SAAS,cAAc;AAC7C,YAAS,IAAI,GAAG,KAAK;;AAEvB,SAAO;;AAGT,KAAI,UAAU,SAAS,0BAA0B;EAC/C,MAAM,EAAE,gBAAgB;AACxB,SAAO,UAAU,YAAY,GACzB,wBAAwB,YAAY,GACpC;;AAGN,QAAO;;AAGT,OAAO,MAAM,iCACX,YAEA,QAAQ,KAAK,KAAK,eAAe;CAC/B,UAAU,wBAAwB,UAAU;CAC5C,MAAM;CACN,YAAY,uBAAuB,UAAU;CAC9C,EAAE;AAEL,OAAO,MAAM,yCACX,eAEA,IAAI,IAAI,WAAW,SAAS,cAAc,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC;AAErE,OAAO,MAAM,uCACX,YACA,iBACgB;CAChB,MAAM,YAAY,IAAI,IAAI,aAAa;CACvC,MAAM,qBAAqB,IAAI,KAAoC;AAEnE,YAAW,SAAS,cAAc;AAChC,YAAU,SAAS,SAAS,SAAS;AACnC,sBAAmB,IAAI,MAAM,UAAU;IACvC;GACF;CAEF,MAAM,QAAQ,CAAC,GAAG,UAAU;AAC5B,QAAO,MAAM,SAAS,GAAG;EACvB,MAAM,OAAO,MAAM,OAAO;EAC1B,MAAM,YAAY,mBAAmB,IAAI,KAAK;AAC9C,MAAI,WAAW;AACb,aAAU,WAAW,SAAS,cAAc;AAC1C,QAAI,mBAAmB,IAAI,UAAU,IAAI,CAAC,UAAU,IAAI,UAAU,EAAE;AAClE,eAAU,IAAI,UAAU;AACxB,WAAM,KAAK,UAAU;;KAEvB;;;AAIN,QAAO","names":[],"sources":["../../../src/utils/applyOxcProcessors/cleanupBindings.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax */\n\nimport type { Node, Program } from 'oxc-parser';\n\nimport { isNotNull } from '../isNotNull';\nimport { getOxcNodeChildren, isOxcNode, walkOxc } from '../oxc/ast';\nimport type { AnyNode, TopLevelStatementInfo } from './types';\n\nexport const collectUsedNames = (program: Program): Set<string> => {\n  const names = new Set<string>();\n  walkOxc(program, (node) => {\n    if (node.type === 'Identifier') {\n      names.add(node.name);\n    }\n  });\n\n  return names;\n};\n\nexport const isNodeReference = (node: Node, parent: Node | null): boolean => {\n  if (node.type === 'Identifier') {\n    const parentRecord = parent as AnyNode | null;\n\n    if (!parentRecord) {\n      return true;\n    }\n\n    if (\n      parent?.type === 'ImportDeclaration' ||\n      parent?.type === 'ImportSpecifier' ||\n      parent?.type === 'ImportDefaultSpecifier' ||\n      parent?.type === 'ImportNamespaceSpecifier'\n    ) {\n      return false;\n    }\n\n    if (\n      parent?.type === 'MemberExpression' &&\n      parentRecord.property === node &&\n      !parentRecord.computed\n    ) {\n      return false;\n    }\n\n    if (\n      (parent?.type === 'VariableDeclarator' ||\n        parent?.type === 'FunctionDeclaration' ||\n        parent?.type === 'ClassDeclaration' ||\n        parent?.type === 'ClassExpression') &&\n      parentRecord.id === node\n    ) {\n      return false;\n    }\n\n    if (\n      (parent?.type === 'PropertyDefinition' ||\n        parent?.type === 'MethodDefinition') &&\n      parentRecord.key === node &&\n      !parentRecord.computed\n    ) {\n      return false;\n    }\n\n    if (\n      parent?.type === 'Property' &&\n      parentRecord.key === node &&\n      parentRecord.value !== node &&\n      !parentRecord.computed\n    ) {\n      return false;\n    }\n\n    return true;\n  }\n\n  if (node.type === 'JSXIdentifier') {\n    const parentRecord = parent as AnyNode | null;\n    if (parent?.type === 'JSXAttribute' && parentRecord?.name === node) {\n      return false;\n    }\n\n    return true;\n  }\n\n  return false;\n};\n\nexport const collectReferencedNames = (root: Node): Set<string> => {\n  const names = new Set<string>();\n\n  const walk = (node: Node, parent: Node | null = null): void => {\n    if (node.type === 'ImportDeclaration') {\n      return;\n    }\n\n    if (\n      isNodeReference(node, parent) &&\n      'name' in node &&\n      typeof node.name === 'string'\n    ) {\n      names.add(node.name);\n    }\n\n    getOxcNodeChildren(node).forEach((child) => walk(child, node));\n  };\n\n  walk(root);\n  return names;\n};\n\nexport const collectImportLocalNames = (node: Node): string[] => {\n  if (node.type !== 'ImportDeclaration') {\n    return [];\n  }\n\n  const { specifiers } = node as AnyNode;\n  if (!Array.isArray(specifiers)) {\n    return [];\n  }\n\n  return specifiers\n    .map((specifier) => {\n      const { local } = specifier as AnyNode;\n      return isOxcNode(local) &&\n        'name' in local &&\n        typeof local.name === 'string'\n        ? local.name\n        : null;\n    })\n    .filter(isNotNull);\n};\n\nexport const getImportSpecifierLocalName = (node: Node): string | null => {\n  const { local } = node as AnyNode;\n  return isOxcNode(local) && 'name' in local && typeof local.name === 'string'\n    ? local.name\n    : null;\n};\n\nexport const collectDeclaredNames = (node: Node): string[] => {\n  if (node.type === 'Identifier') {\n    return [node.name];\n  }\n\n  if (node.type === 'RestElement') {\n    return collectDeclaredNames(node.argument);\n  }\n\n  if (node.type === 'AssignmentPattern') {\n    return collectDeclaredNames(node.left);\n  }\n\n  if (node.type === 'ObjectPattern') {\n    return node.properties.flatMap((property) =>\n      property.type === 'RestElement'\n        ? collectDeclaredNames(property.argument)\n        : collectDeclaredNames(property.value)\n    );\n  }\n\n  if (node.type === 'ArrayPattern') {\n    return node.elements.flatMap((element) =>\n      element ? collectDeclaredNames(element) : []\n    );\n  }\n\n  if (node.type === 'TSParameterProperty') {\n    return collectDeclaredNames(node.parameter);\n  }\n\n  return [];\n};\n\nexport const collectTopLevelBindings = (statement: Node): Set<string> => {\n  const bindings = new Set<string>();\n\n  if (statement.type === 'ImportDeclaration') {\n    collectImportLocalNames(statement).forEach((name) => bindings.add(name));\n    return bindings;\n  }\n\n  if (statement.type === 'VariableDeclaration') {\n    const { declarations } = statement as AnyNode;\n    if (!Array.isArray(declarations)) {\n      return bindings;\n    }\n\n    declarations.forEach((declarator) => {\n      const { id } = declarator as AnyNode;\n      if (isOxcNode(id)) {\n        collectDeclaredNames(id).forEach((name) => bindings.add(name));\n      }\n    });\n    return bindings;\n  }\n\n  if (\n    (statement.type === 'FunctionDeclaration' ||\n      statement.type === 'ClassDeclaration' ||\n      statement.type === 'TSEnumDeclaration') &&\n    'id' in statement\n  ) {\n    const { id } = statement as AnyNode;\n    if (isOxcNode(id) && id.type === 'Identifier') {\n      bindings.add(id.name);\n    }\n    return bindings;\n  }\n\n  if (statement.type === 'ExportNamedDeclaration') {\n    const { declaration } = statement as AnyNode;\n    return isOxcNode(declaration)\n      ? collectTopLevelBindings(declaration)\n      : bindings;\n  }\n\n  return bindings;\n};\n\nexport const collectTopLevelStatementInfos = (\n  program: Program\n): TopLevelStatementInfo[] =>\n  program.body.map((statement) => ({\n    bindings: collectTopLevelBindings(statement),\n    node: statement,\n    references: collectReferencedNames(statement),\n  }));\n\nexport const collectTopLevelBindingsFromStatements = (\n  statements: TopLevelStatementInfo[]\n): Set<string> =>\n  new Set(statements.flatMap((statement) => [...statement.bindings]));\n\nexport const collectRemovableNamesFromStatements = (\n  statements: TopLevelStatementInfo[],\n  initialNames: Set<string>\n): Set<string> => {\n  const removable = new Set(initialNames);\n  const bindingToStatement = new Map<string, TopLevelStatementInfo>();\n\n  statements.forEach((statement) => {\n    statement.bindings.forEach((name) => {\n      bindingToStatement.set(name, statement);\n    });\n  });\n\n  const queue = [...removable];\n  while (queue.length > 0) {\n    const name = queue.shift()!;\n    const statement = bindingToStatement.get(name);\n    if (statement) {\n      statement.references.forEach((reference) => {\n        if (bindingToStatement.has(reference) && !removable.has(reference)) {\n          removable.add(reference);\n          queue.push(reference);\n        }\n      });\n    }\n  }\n\n  return removable;\n};\n"],"file":"cleanupBindings.js"}