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

package/esm/transform/generators/resolveStaticOxcValues/staticExpressionDependencies.js.map

@@ -0,0 +1 @@
+{"mappings":"AASA,SAAS,oCAAoC;AAC7C,SACE,uBACA,mCACA,eACA,wBACA,wBACK;AASP,OAAO,MAAM,sBAAsB,IAAI,IAAI;CACzC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACD,CAAC;AAEF,OAAO,MAAM,sBAAsB,SAA8B;CAC/D,MAAM,YAAY,iBAAiB,KAAK;AAExC,KAAI,UAAU,SAAS,cAAc;AACnC,SAAO,UAAU;;AAGnB,KAAI,UAAU,SAAS,oBAAoB;AACzC,SAAO,mBAAmB,UAAU,OAAO;;AAG7C,KAAI,UAAU,SAAS,mBAAmB;AACxC,SAAO,mBAAmB,UAAU,WAAW;;AAGjD,QAAO;;AAGT,OAAO,MAAM,oBAAoB,SAA8B;CAC7D,MAAM,YAAY,iBAAiB,KAAK;AAExC,KAAI,UAAU,SAAS,cAAc;AACnC,SAAO,UAAU;;AAGnB,KAAI,cAAc,UAAU,IAAI,OAAO,UAAU,UAAU,UAAU;AACnE,SAAO,UAAU;;AAGnB,QAAO;;AAGT,OAAO,MAAM,oCACX,MACA,QACA,aACY;CACZ,MAAM,YAAY,iBAAiB,KAAK;AAExC,KACE,UAAU,SAAS,sBACnB,UAAU,SAAS,mBACnB;AACA,SAAO;;AAGT,KAAI,UAAU,SAAS,cAAc;EACnC,MAAM,QAAQ,OAAO,IAAI,UAAU,KAAK;AACxC,MAAI,CAAC,SAAS,SAAS,IAAI,UAAU,KAAK,EAAE;AAC1C,UAAO;;AAGT,WAAS,IAAI,UAAU,KAAK;EAC5B,MAAM,SAAS,iCAAiC,OAAO,QAAQ,SAAS;AACxE,WAAS,OAAO,UAAU,KAAK;AAC/B,SAAO;;AAGT,KAAI,UAAU,SAAS,yBAAyB;AAC9C,SACE,iCACE,UAAU,YACV,QACA,SACD,IACD,iCAAiC,UAAU,WAAW,QAAQ,SAAS;;AAI3E,KACE,UAAU,SAAS,uBACnB,UAAU,SAAS,oBACnB;AACA,SAAO;;AAGT,QAAO;;AAET,OAAO,MAAM,kCACX,MACA,cACA,sBACS;CACT,MAAM,YAAY,iBAAiB,KAAK;AAExC,KAAI,UAAU,SAAS,wBAAwB;EAC7C,MAAM,WAAW,mBAAmB,UAAU,KAAK;AACnD,MAAI,UAAU;AACZ,gBAAa,IAAI,SAAS;;AAG5B,iCACE,UAAU,OACV,cACA,kBACD;AACD;;AAGF,KAAI,UAAU,SAAS,oBAAoB;EACzC,MAAM,WAAW,mBAAmB,UAAU,SAAS;AACvD,MAAI,UAAU;AACZ,gBAAa,IAAI,SAAS;;AAG5B;;AAGF,KAAI,UAAU,SAAS,mBAAmB;AACxC,MAAI,UAAU,aAAa,UAAU;GACnC,MAAM,WAAW,mBAAmB,UAAU,SAAS;AACvD,OAAI,UAAU;AACZ,iBAAa,IAAI,SAAS;;;AAI9B,iCACE,UAAU,UACV,cACA,kBACD;AACD;;AAGF,KAAI,UAAU,SAAS,kBAAkB;EACvC,MAAM,SAAS,iBAAiB,UAAU,OAAO;AACjD,MAAI,OAAO,SAAS,oBAAoB;GACtC,MAAM,aAAa,iBAAiB,OAAO,SAAS;GACpD,MAAM,WAAW,mBAAmB,OAAO,OAAO;AAClD,OAAI,YAAY,cAAc,oBAAoB,IAAI,WAAW,EAAE;AACjE,iBAAa,IAAI,SAAS;;AAG5B,kCACE,OAAO,QACP,cACA,kBACD;AACD,OAAI,OAAO,UAAU;AACnB,mCACE,OAAO,UACP,cACA,kBACD;;SAEE;AACL,kCACE,UAAU,QACV,cACA,kBACD;;AAGH,YAAU,UAAU,SAAS,aAAa;GACxC,MAAM,eACJ,SAAS,SAAS,kBAAkB,SAAS,WAAW;GAC1D,MAAM,WAAW,mBAAmB,aAAa;AACjD,OAAI,UAAU;AACZ,sBAAkB,IAAI,SAAS;;AAGjC,kCACE,cACA,cACA,kBACD;IACD;AACF;;AAGF,KAAI,UAAU,SAAS,4BAA4B;AACjD,iCACE,UAAU,KACV,cACA,kBACD;AACD,YAAU,MAAM,YAAY,SAAS,SACnC,+BAA+B,MAAM,cAAc,kBAAkB,CACtE;AACD;;AAGF,KAAI,UAAU,SAAS,yBAAyB;AAC9C,iCACE,UAAU,MACV,cACA,kBACD;AACD,iCACE,UAAU,YACV,cACA,kBACD;AACD,iCACE,UAAU,WACV,cACA,kBACD;AACD;;AAGF,KACE,UAAU,SAAS,sBACnB,UAAU,SAAS,qBACnB;AACA,iCACE,UAAU,MACV,cACA,kBACD;AACD,iCACE,UAAU,OACV,cACA,kBACD;AACD;;AAGF,KAAI,UAAU,SAAS,oBAAoB;AACzC,iCACE,UAAU,QACV,cACA,kBACD;AACD,MAAI,UAAU,UAAU;AACtB,kCACE,UAAU,UACV,cACA,kBACD;;AAEH;;AAGF,KAAI,UAAU,SAAS,mBAAmB;AACxC,YAAU,SAAS,SAAS,SAAS;AACnC,OAAI,CAAC,MAAM;AACT;;AAGF,kCACE,KAAK,SAAS,kBAAkB,KAAK,WAAW,MAChD,cACA,kBACD;IACD;AACF;;AAGF,KAAI,UAAU,SAAS,oBAAoB;AACzC,YAAU,WAAW,SAAS,aAAa;AACzC,OAAI,SAAS,SAAS,iBAAiB;AACrC,mCACE,SAAS,UACT,cACA,kBACD;AACD;;GAGF,MAAM,eAAe;AACrB,OAAI,aAAa,YAAY,aAAa,KAAK;AAC7C,mCACE,aAAa,KACb,cACA,kBACD;;AAGH,OAAI,aAAa,SAAS,OAAO,aAAa,UAAU,UAAU;AAChE,mCACE,aAAa,OACb,cACA,kBACD;;IAEH;;;AAIN,OAAO,MAAM,gCACX,SACA,eAA2C,SACuB;CAClE,MAAM,oBAAoB,IAAI,KAAa;CAC3C,MAAM,eAAe,IAAI,KAAa;CAEtC,MAAM,sBAAsB,gBAA2C;AACrE,cAAY,aAAa,SAAS,eAAe;AAC/C,OAAI,cAAc;IAChB,MAAM,eACJ,WAAW,GAAG,SAAS,eAAe,WAAW,GAAG,OAAO;AAC7D,QAAI,CAAC,gBAAgB,CAAC,aAAa,IAAI,aAAa,EAAE;AACpD;;;AAGJ,OAAI,WAAW,MAAM;AACnB,mCACE,WAAW,MACX,cACA,kBACD;;IAEH;;AAGJ,SAAQ,KAAK,SAAS,cAAc;AAClC,MAAI,UAAU,SAAS,uBAAuB;AAC5C,sBAAmB,UAAU;AAC7B;;AAGF,MAAI,UAAU,SAAS,uBAAuB;AAC5C,kCACE,UAAU,YACV,cACA,kBACD;AACD;;AAGF,MAAI,UAAU,SAAS,0BAA0B;AAC/C,OAAI,UAAU,aAAa,SAAS,uBAAuB;AACzD,uBAAmB,UAAU,YAAY;;AAG3C;;AAGF,MAAI,UAAU,SAAS,4BAA4B;AACjD,OACE,UAAU,YAAY,SAAS,yBAC/B,UAAU,YAAY,SAAS,oBAC/B;AACA,mCACE,UAAU,aACV,cACA,kBACD;;;GAGL;AAEF,QAAO;EAAE;EAAmB;EAAc;;AAE5C,OAAO,MAAM,uCACX,SACA,QACA,UAAmC,EAAE,KACG;CACxC,MAAM,UAAU,sBAAsB,QAAQ;CAC9C,MAAM,SAAS,6BAA6B,QAAQ;CACpD,MAAM,mBAAmB,IAAI,KAA4B;CACzD,MAAM,kBAAkB,IAAI,KAAa;CACzC,MAAM,yBAAyB,IAAI,KAAa;CAChD,MAAM,gBAAgB,IAAI,KAAa;CACvC,MAAM,iBAAiB,IAAI,KAAa;CAExC,MAAM,eAAe,MAAc,eAA2B;AAC5D,MAAI,iCAAiC,YAAY,QAAQ,IAAI,KAAK,CAAC,EAAE;AACnE,0BAAuB,IAAI,KAAK;;;CAIpC,MAAM,gBAAgB,SAA0B;;;;;AAK9C,MAAI,QAAQ,mBAAmB,IAAI,KAAK,EAAE;AACxC,mBAAgB,IAAI,KAAK;AACzB,iBAAc,IAAI,KAAK;AACvB,UAAO;;EAGT,MAAM,aAAa,OAAO,IAAI,KAAK;AACnC,MAAI,CAAC,cAAc,eAAe,IAAI,KAAK,EAAE;AAC3C,UAAO;;AAGT,kBAAgB,IAAI,KAAK;AACzB,cAAY,MAAM,WAAW;AAE7B,MAAI,cAAc,IAAI,KAAK,EAAE;AAC3B,UAAO;;AAGT,iBAAe,IAAI,KAAK;EACxB,MAAM,SAAS,kBAAkB,WAAW;AAC5C,iBAAe,OAAO,KAAK;AAE3B,MAAI,QAAQ;AACV,iBAAc,IAAI,KAAK;;AAGzB,SAAO;;CAGT,MAAM,qBAAqB,SAAwB;AACjD,MAAI,CAAC,uBAAuB,MAAM,QAAQ,EAAE;AAC1C,UAAO;;EAGT,MAAM,aAAa,IAAI,KAAa;AACpC,MAAI,CAAC,kCAAkC,MAAM,YAAY,QAAQ,EAAE;AACjE,UAAO;;AAGT,OAAK,MAAM,aAAa,YAAY;AAClC,mBAAgB,IAAI,UAAU;GAE9B,MAAM,gBAAgB,QAAQ,IAAI,UAAU;AAC5C,OAAI,eAAe;AACjB,qBAAiB,IACf,GAAG,cAAc,OAAO,IAAI,cAAc,SAAS,IAAI,cAAc,SACrE,cACD;AACD,2BAAuB,IAAI,UAAU;AACrC;;AAGF,OAAI,CAAC,aAAa,UAAU,EAAE;;;;;;;AAO5B;;;AAIJ,SAAO;;AAGT,KAAI,OAAO,WAAW;AACpB,kBAAgB,IAAI,OAAO,UAAU;AACrC,cAAY,OAAO,WAAW,OAAO,WAAW;;AAGlD,KAAI,CAAC,kBAAkB,OAAO,WAAW,EAAE;AACzC,SAAO;;CAGT,MAAM,eAAe,IAAI,IAAI,gBAAgB;AAC7C,KAAI,OAAO,WAAW;AACpB,eAAa,IAAI,OAAO,UAAU;;CAEpC,MAAM,gBAAgB,6BAA6B,SAAS,aAAa;AACzE,MAAK,MAAM,QAAQ,iBAAiB;AAClC,MAAI,cAAc,aAAa,IAAI,KAAK,EAAE;AACxC,UAAO;;;AAIX,MAAK,MAAM,QAAQ,wBAAwB;AACzC,MACE,cAAc,kBAAkB,IAAI,KAAK,IACzC,CAAC,QAAQ,iCAAiC,IAAI,KAAK,EACnD;AACA,UAAO;;;AAIX,QAAO,EACL,SAAS,CAAC,GAAG,iBAAiB,QAAQ,CAAC,EACxC","names":[],"sources":["../../../../src/transform/generators/resolveStaticOxcValues/staticExpressionDependencies.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax,no-continue,@typescript-eslint/no-use-before-define */\n\nimport type {\n  Expression,\n  Node,\n  Program,\n  VariableDeclaration,\n} from 'oxc-parser';\n\nimport { collectLocalConstExpressions } from './programAnalysis';\nimport {\n  collectImportBindings,\n  collectStaticExpressionReferences,\n  isSafeLiteral,\n  isSafeStaticExpression,\n  unwrapExpression,\n} from './staticExpression';\nimport type {\n  AnyNode,\n  ExportTarget,\n  ImportBinding,\n  StaticExpressionDependencies,\n  StaticExpressionOptions,\n} from './types';\n\nexport const mutatingMethodNames = new Set([\n  'add',\n  'clear',\n  'copyWithin',\n  'delete',\n  'fill',\n  'pop',\n  'push',\n  'reverse',\n  'set',\n  'shift',\n  'sort',\n  'splice',\n  'unshift',\n]);\n\nexport const rootIdentifierName = (expr: Node): string | null => {\n  const unwrapped = unwrapExpression(expr);\n\n  if (unwrapped.type === 'Identifier') {\n    return unwrapped.name;\n  }\n\n  if (unwrapped.type === 'MemberExpression') {\n    return rootIdentifierName(unwrapped.object);\n  }\n\n  if (unwrapped.type === 'ChainExpression') {\n    return rootIdentifierName(unwrapped.expression);\n  }\n\n  return null;\n};\n\nexport const staticMemberName = (expr: Node): string | null => {\n  const unwrapped = unwrapExpression(expr);\n\n  if (unwrapped.type === 'Identifier') {\n    return unwrapped.name;\n  }\n\n  if (isSafeLiteral(unwrapped) && typeof unwrapped.value === 'string') {\n    return unwrapped.value;\n  }\n\n  return null;\n};\n\nexport const expressionMayProduceMutableValue = (\n  expr: Node,\n  locals: Map<string, Expression>,\n  visiting: Set<string>\n): boolean => {\n  const unwrapped = unwrapExpression(expr);\n\n  if (\n    unwrapped.type === 'ObjectExpression' ||\n    unwrapped.type === 'ArrayExpression'\n  ) {\n    return true;\n  }\n\n  if (unwrapped.type === 'Identifier') {\n    const local = locals.get(unwrapped.name);\n    if (!local || visiting.has(unwrapped.name)) {\n      return true;\n    }\n\n    visiting.add(unwrapped.name);\n    const result = expressionMayProduceMutableValue(local, locals, visiting);\n    visiting.delete(unwrapped.name);\n    return result;\n  }\n\n  if (unwrapped.type === 'ConditionalExpression') {\n    return (\n      expressionMayProduceMutableValue(\n        unwrapped.consequent,\n        locals,\n        visiting\n      ) ||\n      expressionMayProduceMutableValue(unwrapped.alternate, locals, visiting)\n    );\n  }\n\n  if (\n    unwrapped.type === 'LogicalExpression' ||\n    unwrapped.type === 'MemberExpression'\n  ) {\n    return true;\n  }\n\n  return false;\n};\nexport const collectExpressionMutationHints = (\n  expr: Node,\n  mutatedNames: Set<string>,\n  callArgumentNames: Set<string>\n): void => {\n  const unwrapped = unwrapExpression(expr);\n\n  if (unwrapped.type === 'AssignmentExpression') {\n    const rootName = rootIdentifierName(unwrapped.left);\n    if (rootName) {\n      mutatedNames.add(rootName);\n    }\n\n    collectExpressionMutationHints(\n      unwrapped.right,\n      mutatedNames,\n      callArgumentNames\n    );\n    return;\n  }\n\n  if (unwrapped.type === 'UpdateExpression') {\n    const rootName = rootIdentifierName(unwrapped.argument);\n    if (rootName) {\n      mutatedNames.add(rootName);\n    }\n\n    return;\n  }\n\n  if (unwrapped.type === 'UnaryExpression') {\n    if (unwrapped.operator === 'delete') {\n      const rootName = rootIdentifierName(unwrapped.argument);\n      if (rootName) {\n        mutatedNames.add(rootName);\n      }\n    }\n\n    collectExpressionMutationHints(\n      unwrapped.argument,\n      mutatedNames,\n      callArgumentNames\n    );\n    return;\n  }\n\n  if (unwrapped.type === 'CallExpression') {\n    const callee = unwrapExpression(unwrapped.callee);\n    if (callee.type === 'MemberExpression') {\n      const methodName = staticMemberName(callee.property);\n      const rootName = rootIdentifierName(callee.object);\n      if (rootName && methodName && mutatingMethodNames.has(methodName)) {\n        mutatedNames.add(rootName);\n      }\n\n      collectExpressionMutationHints(\n        callee.object,\n        mutatedNames,\n        callArgumentNames\n      );\n      if (callee.computed) {\n        collectExpressionMutationHints(\n          callee.property,\n          mutatedNames,\n          callArgumentNames\n        );\n      }\n    } else {\n      collectExpressionMutationHints(\n        unwrapped.callee,\n        mutatedNames,\n        callArgumentNames\n      );\n    }\n\n    unwrapped.arguments.forEach((argument) => {\n      const argumentNode =\n        argument.type === 'SpreadElement' ? argument.argument : argument;\n      const rootName = rootIdentifierName(argumentNode);\n      if (rootName) {\n        callArgumentNames.add(rootName);\n      }\n\n      collectExpressionMutationHints(\n        argumentNode,\n        mutatedNames,\n        callArgumentNames\n      );\n    });\n    return;\n  }\n\n  if (unwrapped.type === 'TaggedTemplateExpression') {\n    collectExpressionMutationHints(\n      unwrapped.tag,\n      mutatedNames,\n      callArgumentNames\n    );\n    unwrapped.quasi.expressions.forEach((item) =>\n      collectExpressionMutationHints(item, mutatedNames, callArgumentNames)\n    );\n    return;\n  }\n\n  if (unwrapped.type === 'ConditionalExpression') {\n    collectExpressionMutationHints(\n      unwrapped.test,\n      mutatedNames,\n      callArgumentNames\n    );\n    collectExpressionMutationHints(\n      unwrapped.consequent,\n      mutatedNames,\n      callArgumentNames\n    );\n    collectExpressionMutationHints(\n      unwrapped.alternate,\n      mutatedNames,\n      callArgumentNames\n    );\n    return;\n  }\n\n  if (\n    unwrapped.type === 'BinaryExpression' ||\n    unwrapped.type === 'LogicalExpression'\n  ) {\n    collectExpressionMutationHints(\n      unwrapped.left,\n      mutatedNames,\n      callArgumentNames\n    );\n    collectExpressionMutationHints(\n      unwrapped.right,\n      mutatedNames,\n      callArgumentNames\n    );\n    return;\n  }\n\n  if (unwrapped.type === 'MemberExpression') {\n    collectExpressionMutationHints(\n      unwrapped.object,\n      mutatedNames,\n      callArgumentNames\n    );\n    if (unwrapped.computed) {\n      collectExpressionMutationHints(\n        unwrapped.property,\n        mutatedNames,\n        callArgumentNames\n      );\n    }\n    return;\n  }\n\n  if (unwrapped.type === 'ArrayExpression') {\n    unwrapped.elements.forEach((item) => {\n      if (!item) {\n        return;\n      }\n\n      collectExpressionMutationHints(\n        item.type === 'SpreadElement' ? item.argument : item,\n        mutatedNames,\n        callArgumentNames\n      );\n    });\n    return;\n  }\n\n  if (unwrapped.type === 'ObjectExpression') {\n    unwrapped.properties.forEach((property) => {\n      if (property.type === 'SpreadElement') {\n        collectExpressionMutationHints(\n          property.argument,\n          mutatedNames,\n          callArgumentNames\n        );\n        return;\n      }\n\n      const propertyNode = property as AnyNode;\n      if (propertyNode.computed && propertyNode.key) {\n        collectExpressionMutationHints(\n          propertyNode.key as Node,\n          mutatedNames,\n          callArgumentNames\n        );\n      }\n\n      if (propertyNode.value && typeof propertyNode.value === 'object') {\n        collectExpressionMutationHints(\n          propertyNode.value as Node,\n          mutatedNames,\n          callArgumentNames\n        );\n      }\n    });\n  }\n};\n\nexport const collectTopLevelMutationHints = (\n  program: Program,\n  closureNames: ReadonlySet<string> | null = null\n): { callArgumentNames: Set<string>; mutatedNames: Set<string> } => {\n  const callArgumentNames = new Set<string>();\n  const mutatedNames = new Set<string>();\n\n  const collectDeclaration = (declaration: VariableDeclaration): void => {\n    declaration.declarations.forEach((declarator) => {\n      if (closureNames) {\n        const declaredName =\n          declarator.id.type === 'Identifier' ? declarator.id.name : null;\n        if (!declaredName || !closureNames.has(declaredName)) {\n          return;\n        }\n      }\n      if (declarator.init) {\n        collectExpressionMutationHints(\n          declarator.init,\n          mutatedNames,\n          callArgumentNames\n        );\n      }\n    });\n  };\n\n  program.body.forEach((statement) => {\n    if (statement.type === 'VariableDeclaration') {\n      collectDeclaration(statement);\n      return;\n    }\n\n    if (statement.type === 'ExpressionStatement') {\n      collectExpressionMutationHints(\n        statement.expression,\n        mutatedNames,\n        callArgumentNames\n      );\n      return;\n    }\n\n    if (statement.type === 'ExportNamedDeclaration') {\n      if (statement.declaration?.type === 'VariableDeclaration') {\n        collectDeclaration(statement.declaration);\n      }\n\n      return;\n    }\n\n    if (statement.type === 'ExportDefaultDeclaration') {\n      if (\n        statement.declaration.type !== 'FunctionDeclaration' &&\n        statement.declaration.type !== 'ClassDeclaration'\n      ) {\n        collectExpressionMutationHints(\n          statement.declaration,\n          mutatedNames,\n          callArgumentNames\n        );\n      }\n    }\n  });\n\n  return { callArgumentNames, mutatedNames };\n};\nexport const collectStaticExpressionDependencies = (\n  program: Program,\n  target: Extract<ExportTarget, { kind: 'expression' }>,\n  options: StaticExpressionOptions = {}\n): StaticExpressionDependencies | null => {\n  const imports = collectImportBindings(program);\n  const locals = collectLocalConstExpressions(program);\n  const collectedImports = new Map<string, ImportBinding>();\n  const referencedNames = new Set<string>();\n  const mutableReferencedNames = new Set<string>();\n  const visitedLocals = new Set<string>();\n  const visitingLocals = new Set<string>();\n\n  const markMutable = (name: string, expression: Node): void => {\n    if (expressionMayProduceMutableValue(expression, locals, new Set())) {\n      mutableReferencedNames.add(name);\n    }\n  };\n\n  const collectLocal = (name: string): boolean => {\n    // Pre-resolved locals (e.g. `const x = css\\`\\``) have a known value\n    // (the className string). Skip walking their init — its\n    // TaggedTemplateExpression isn't safe-static by itself, but the\n    // value is already determined.\n    if (options.preResolvedLocals?.has(name)) {\n      referencedNames.add(name);\n      visitedLocals.add(name);\n      return true;\n    }\n\n    const expression = locals.get(name);\n    if (!expression || visitingLocals.has(name)) {\n      return false;\n    }\n\n    referencedNames.add(name);\n    markMutable(name, expression);\n\n    if (visitedLocals.has(name)) {\n      return true;\n    }\n\n    visitingLocals.add(name);\n    const result = collectExpression(expression);\n    visitingLocals.delete(name);\n\n    if (result) {\n      visitedLocals.add(name);\n    }\n\n    return result;\n  };\n\n  const collectExpression = (expr: Node): boolean => {\n    if (!isSafeStaticExpression(expr, options)) {\n      return false;\n    }\n\n    const references = new Set<string>();\n    if (!collectStaticExpressionReferences(expr, references, options)) {\n      return false;\n    }\n\n    for (const reference of references) {\n      referencedNames.add(reference);\n\n      const importBinding = imports.get(reference);\n      if (importBinding) {\n        collectedImports.set(\n          `${importBinding.source}\\0${importBinding.imported}\\0${importBinding.local}`,\n          importBinding\n        );\n        mutableReferencedNames.add(reference);\n        continue;\n      }\n\n      if (!collectLocal(reference)) {\n        // Unknown identifier — neither an import nor a same-file local.\n        // Common case: undeclared globals like __DEV__ used in\n        // `typeof __DEV__ !== \"undefined\"` short-circuit guards. The\n        // evaluator returns undefined for unknowns, which the outer\n        // expression's logical short-circuits handle correctly. Don't\n        // reject the whole walk upfront — let the evaluator decide.\n        continue;\n      }\n    }\n\n    return true;\n  };\n\n  if (target.localName) {\n    referencedNames.add(target.localName);\n    markMutable(target.localName, target.expression);\n  }\n\n  if (!collectExpression(target.expression)) {\n    return null;\n  }\n\n  const closureNames = new Set(referencedNames);\n  if (target.localName) {\n    closureNames.add(target.localName);\n  }\n  const mutationHints = collectTopLevelMutationHints(program, closureNames);\n  for (const name of referencedNames) {\n    if (mutationHints.mutatedNames.has(name)) {\n      return null;\n    }\n  }\n\n  for (const name of mutableReferencedNames) {\n    if (\n      mutationHints.callArgumentNames.has(name) &&\n      !options.ignoredMutableCallArgumentNames?.has(name)\n    ) {\n      return null;\n    }\n  }\n\n  return {\n    imports: [...collectedImports.values()],\n  };\n};\n"],"file":"staticExpressionDependencies.js"}

package/esm/transform/generators/resolveStaticOxcValues/types.js

@@ -0,0 +1,3 @@
+export const STATIC_EXPORT_MAX_NULL_ATTEMPTS = 2;
+export const GENERATED_HELPER_NAME_RE = /^_exp\d*$/;
+//# sourceMappingURL=types.js.map

package/esm/transform/generators/resolveStaticOxcValues/types.js.map

@@ -0,0 +1 @@
+{"mappings":"AA8EA,OAAO,MAAM,kCAAkC;AAC/C,OAAO,MAAM,2BAA2B","names":[],"sources":["../../../../src/transform/generators/resolveStaticOxcValues/types.ts"],"version":3,"sourcesContent":["import type { Expression, Node, Program } from 'oxc-parser';\n\nimport type { OxcTextReplacement } from '../../../utils/oxc/replacements';\nimport type { runOxcPreevalStage } from '../../../utils/oxcPreevalStage';\nimport type { ITransformAction, SyncScenarioFor } from '../../types';\n\nexport type AnyNode = Node & Record<string, unknown>;\n\nexport type ImportBinding = {\n  imported: '*' | 'default' | string;\n  local: string;\n  source: string;\n};\n\nexport type CollectImportBindingsOptions = {\n  includeNamespace?: boolean;\n};\n\nexport type ExportTarget =\n  | {\n      expression: Expression;\n      kind: 'expression';\n      localName?: string;\n    }\n  | {\n      imported: 'default' | string;\n      kind: 'import';\n      source: string;\n    };\n\nexport type StaticExportResult = {\n  callable?: 'zero-arg';\n  dependencies: string[];\n  // True when the candidate's value is a runtime callback (function)\n  // already represented in the bundle as the locally-defined `_exp =\n  // () => ...` arrow. The file does not need evalFile because of this\n  // candidate, but the helper declaration must NOT be pruned — the\n  // runtime call site relies on it.\n  runtimeOnly?: boolean;\n  sideEffectDependencies?: string[];\n  sideEffectImportLocals?: string[];\n  value: unknown;\n};\n\nexport type StaticFileAnalysis = {\n  code: string;\n  codeHash: string;\n  program: Program;\n};\n\nexport type StaticFileHashCacheEntry = {\n  hash: string;\n  mtimeMs: number;\n  size: number;\n};\n\nexport type StaticMetadataPreevalCacheEntry =\n  | {\n      result: null;\n    }\n  | {\n      result: ReturnType<typeof runOxcPreevalStage>;\n    };\n\n// Null entries carry an attempt counter so we can retry a bounded number of\n// times before accepting the failure as stable. This avoids both:\n// (a) poisoning the cache forever from a transient resolver failure\n// (b) thundering-herd retries where every consumer re-walks a stable miss\nexport type StaticExportCacheEntry =\n  | {\n      attempts: number;\n      result: null;\n    }\n  | {\n      dependencyHashes: Map<string, string>;\n      result: StaticExportResult;\n    };\n\nexport const STATIC_EXPORT_MAX_NULL_ATTEMPTS = 2;\nexport const GENERATED_HELPER_NAME_RE = /^_exp\\d*$/;\n\nexport type StaticExpressionOptions = {\n  allowMetadataCalls?: boolean;\n  ignoredMutableCallArgumentNames?: Set<string>;\n  // Names of same-file locals whose value the resolver already knows\n  // out-of-band (e.g. processor className strings from\n  // applyOxcProcessors). Skip walking into their inits during\n  // dependency collection — `const x = css`...`` has a\n  // TaggedTemplateExpression init that fails isSafeStaticExpression,\n  // but we don't need to walk it because `x`'s value is already\n  // resolved.\n  preResolvedLocals?: ReadonlySet<string>;\n  // Local names of imports registered as pure helpers via\n  // pluginOptions.staticBindings (e.g. `cx` from '@linaria/core',\n  // `isFlagPresent` from './flags'). CallExpressions whose callee is\n  // in this set are admitted by isSafeStaticExpression provided every\n  // arg is itself safe-static. The actual invocation happens in\n  // evaluateStatic via the env-bound function.\n  staticHelperLocals?: ReadonlySet<string>;\n};\n\nexport type StaticResolveDebugPhase =\n  | 'candidate'\n  | 'entrypoint'\n  | 'export'\n  | 'import'\n  | 'processor-metadata';\n\nexport type StaticResolveDebugStatus = 'rejected' | 'resolved' | 'skipped';\n\nexport type StaticResolveDebugEvent = {\n  candidate?: string;\n  dependency?: string;\n  exported?: string;\n  filename: string;\n  imported?: string;\n  importer?: string;\n  phase: StaticResolveDebugPhase;\n  reason?: string;\n  source?: string;\n  status: StaticResolveDebugStatus;\n};\n\nexport type Range = {\n  end: number;\n  start: number;\n};\n\nexport type Replacement = Range & OxcTextReplacement;\n\nexport type StaticExpressionDependencies = {\n  imports: ImportBinding[];\n};\n\nexport type PreparedProcessorTarget = {\n  dependencies: StaticExpressionDependencies;\n  evaluationCode?: string;\n  evaluationSpan?: Range;\n  expression: Expression;\n  opaqueRuntimeBase: boolean;\n};\n\nexport type OpaqueRuntimeImportProof = {\n  dependencies: string[];\n  names: Set<string>;\n};\n\nexport type ResolveStaticImportValue = (\n  action: ITransformAction,\n  importer: string,\n  binding: Pick<ImportBinding, 'imported' | 'source'>,\n  stack: Set<string>,\n  memo: Map<string, StaticExportResult | null>\n) => SyncScenarioFor<StaticExportResult | null>;\n\nexport type ResolveStaticExportValue = (\n  action: ITransformAction,\n  filename: string,\n  exportedName: string,\n  stack: Set<string>,\n  memo: Map<string, StaticExportResult | null>\n) => SyncScenarioFor<StaticExportResult | null>;\n\nexport type StaticExportResolverContext = {\n  resolveImportValue: ResolveStaticImportValue;\n  resolveStaticExport: ResolveStaticExportValue;\n};\n"],"file":"types.js"}

package/esm/transform/generators/resolveStaticOxcValues/zeroArgFunctionStaticExport.js

@@ -0,0 +1,59 @@
+import { evaluateOxcStaticExpressionAt, isOxcStaticSerializableValue } from "../../../utils/collectOxcTemplateDependencies.js";
+import { getStaticBindings } from "./environment.js";
+import { bindStaticResolvedValue, unwrapExpression } from "./staticExpression.js";
+import { collectStaticExpressionDependencies } from "./staticExpressionDependencies.js";
+export const zeroArgFunctionReturnExpression = (expression) => {
+	const unwrapped = unwrapExpression(expression);
+	if (unwrapped.type !== "ArrowFunctionExpression" && unwrapped.type !== "FunctionExpression") {
+		return null;
+	}
+	if (unwrapped.async || unwrapped.params.length !== 0 || !unwrapped.body) {
+		return null;
+	}
+	if (unwrapped.body.type !== "BlockStatement") {
+		return unwrapped.body;
+	}
+	if (unwrapped.body.body.length !== 1) {
+		return null;
+	}
+	const [statement] = unwrapped.body.body;
+	return statement?.type === "ReturnStatement" && statement.argument ? statement.argument : null;
+};
+export function* resolveZeroArgFunctionStaticExport(action, filename, code, program, target, stack, memo, resolveImportValue) {
+	const returnExpression = zeroArgFunctionReturnExpression(target.expression);
+	if (!returnExpression) {
+		return null;
+	}
+	const staticDependencies = collectStaticExpressionDependencies(program, {
+		...target,
+		expression: returnExpression
+	}, { allowMetadataCalls: true });
+	if (!staticDependencies) {
+		return null;
+	}
+	const env = new Map();
+	const dependencies = new Set([filename]);
+	const sideEffectDependencies = new Set();
+	for (const binding of staticDependencies.imports) {
+		const resolved = yield* resolveImportValue(action, filename, binding, stack, memo);
+		if (!resolved) {
+			return null;
+		}
+		if (!bindStaticResolvedValue(env, returnExpression, binding.local, resolved)) {
+			return null;
+		}
+		resolved.dependencies.forEach((item) => dependencies.add(item));
+		resolved.sideEffectDependencies?.forEach((item) => sideEffectDependencies.add(item));
+	}
+	const value = evaluateOxcStaticExpressionAt(code, filename, {
+		end: returnExpression.end,
+		start: returnExpression.start
+	}, env, getStaticBindings(action));
+	return isOxcStaticSerializableValue(value) ? {
+		callable: "zero-arg",
+		dependencies: [...dependencies],
+		sideEffectDependencies: [...sideEffectDependencies],
+		value
+	} : null;
+}
+//# sourceMappingURL=zeroArgFunctionStaticExport.js.map

package/esm/transform/generators/resolveStaticOxcValues/zeroArgFunctionStaticExport.js.map

@@ -0,0 +1 @@
+{"mappings":"AAIA,SACE,+BACA,oCACK;AAEP,SAAS,yBAAyB;AAClC,SAAS,yBAAyB,wBAAwB;AAC1D,SAAS,2CAA2C;AAOpD,OAAO,MAAM,mCACX,eACsB;CACtB,MAAM,YAAY,iBAAiB,WAAW;AAC9C,KACE,UAAU,SAAS,6BACnB,UAAU,SAAS,sBACnB;AACA,SAAO;;AAGT,KAAI,UAAU,SAAS,UAAU,OAAO,WAAW,KAAK,CAAC,UAAU,MAAM;AACvE,SAAO;;AAGT,KAAI,UAAU,KAAK,SAAS,kBAAkB;AAC5C,SAAO,UAAU;;AAGnB,KAAI,UAAU,KAAK,KAAK,WAAW,GAAG;AACpC,SAAO;;CAGT,MAAM,CAAC,aAAa,UAAU,KAAK;AACnC,QAAO,WAAW,SAAS,qBAAqB,UAAU,WACtD,UAAU,WACV;;AAGN,OAAO,UAAU,mCACf,QACA,UACA,MACA,SACA,QACA,OACA,MACA,oBAC4C;CAC5C,MAAM,mBAAmB,gCAAgC,OAAO,WAAW;AAC3E,KAAI,CAAC,kBAAkB;AACrB,SAAO;;CAGT,MAAM,qBAAqB,oCACzB,SACA;EACE,GAAG;EACH,YAAY;EACb,EACD,EAAE,oBAAoB,MAAM,CAC7B;AACD,KAAI,CAAC,oBAAoB;AACvB,SAAO;;CAGT,MAAM,MAAM,IAAI,KAAsB;CACtC,MAAM,eAAe,IAAI,IAAY,CAAC,SAAS,CAAC;CAChD,MAAM,yBAAyB,IAAI,KAAa;AAEhD,MAAK,MAAM,WAAW,mBAAmB,SAAS;EAChD,MAAM,WAAW,OAAO,mBACtB,QACA,UACA,SACA,OACA,KACD;AACD,MAAI,CAAC,UAAU;AACb,UAAO;;AAGT,MACE,CAAC,wBAAwB,KAAK,kBAAkB,QAAQ,OAAO,SAAS,EACxE;AACA,UAAO;;AAGT,WAAS,aAAa,SAAS,SAAS,aAAa,IAAI,KAAK,CAAC;AAC/D,WAAS,wBAAwB,SAAS,SACxC,uBAAuB,IAAI,KAAK,CACjC;;CAGH,MAAM,QAAQ,8BACZ,MACA,UACA;EACE,KAAK,iBAAiB;EACtB,OAAO,iBAAiB;EACzB,EACD,KACA,kBAAkB,OAAO,CAC1B;AACD,QAAO,6BAA6B,MAAM,GACtC;EACE,UAAU;EACV,cAAc,CAAC,GAAG,aAAa;EAC/B,wBAAwB,CAAC,GAAG,uBAAuB;EACnD;EACD,GACD","names":[],"sources":["../../../../src/transform/generators/resolveStaticOxcValues/zeroArgFunctionStaticExport.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax,no-continue,@typescript-eslint/no-use-before-define */\n\nimport type { Expression, Program } from 'oxc-parser';\n\nimport {\n  evaluateOxcStaticExpressionAt,\n  isOxcStaticSerializableValue,\n} from '../../../utils/collectOxcTemplateDependencies';\nimport type { ITransformAction, SyncScenarioFor } from '../../types';\nimport { getStaticBindings } from './environment';\nimport { bindStaticResolvedValue, unwrapExpression } from './staticExpression';\nimport { collectStaticExpressionDependencies } from './staticExpressionDependencies';\nimport type {\n  ExportTarget,\n  ResolveStaticImportValue,\n  StaticExportResult,\n} from './types';\n\nexport const zeroArgFunctionReturnExpression = (\n  expression: Expression\n): Expression | null => {\n  const unwrapped = unwrapExpression(expression);\n  if (\n    unwrapped.type !== 'ArrowFunctionExpression' &&\n    unwrapped.type !== 'FunctionExpression'\n  ) {\n    return null;\n  }\n\n  if (unwrapped.async || unwrapped.params.length !== 0 || !unwrapped.body) {\n    return null;\n  }\n\n  if (unwrapped.body.type !== 'BlockStatement') {\n    return unwrapped.body as Expression;\n  }\n\n  if (unwrapped.body.body.length !== 1) {\n    return null;\n  }\n\n  const [statement] = unwrapped.body.body;\n  return statement?.type === 'ReturnStatement' && statement.argument\n    ? statement.argument\n    : null;\n};\n\nexport function* resolveZeroArgFunctionStaticExport(\n  action: ITransformAction,\n  filename: string,\n  code: string,\n  program: Program,\n  target: Extract<ExportTarget, { kind: 'expression' }>,\n  stack: Set<string>,\n  memo: Map<string, StaticExportResult | null>,\n  resolveImportValue: ResolveStaticImportValue\n): SyncScenarioFor<StaticExportResult | null> {\n  const returnExpression = zeroArgFunctionReturnExpression(target.expression);\n  if (!returnExpression) {\n    return null;\n  }\n\n  const staticDependencies = collectStaticExpressionDependencies(\n    program,\n    {\n      ...target,\n      expression: returnExpression,\n    },\n    { allowMetadataCalls: true }\n  );\n  if (!staticDependencies) {\n    return null;\n  }\n\n  const env = new Map<string, unknown>();\n  const dependencies = new Set<string>([filename]);\n  const sideEffectDependencies = new Set<string>();\n\n  for (const binding of staticDependencies.imports) {\n    const resolved = yield* resolveImportValue(\n      action,\n      filename,\n      binding,\n      stack,\n      memo\n    );\n    if (!resolved) {\n      return null;\n    }\n\n    if (\n      !bindStaticResolvedValue(env, returnExpression, binding.local, resolved)\n    ) {\n      return null;\n    }\n\n    resolved.dependencies.forEach((item) => dependencies.add(item));\n    resolved.sideEffectDependencies?.forEach((item) =>\n      sideEffectDependencies.add(item)\n    );\n  }\n\n  const value = evaluateOxcStaticExpressionAt(\n    code,\n    filename,\n    {\n      end: returnExpression.end,\n      start: returnExpression.start,\n    },\n    env,\n    getStaticBindings(action)\n  );\n  return isOxcStaticSerializableValue(value)\n    ? {\n        callable: 'zero-arg',\n        dependencies: [...dependencies],\n        sideEffectDependencies: [...sideEffectDependencies],\n        value,\n      }\n    : null;\n}\n"],"file":"zeroArgFunctionStaticExport.js"}