analyze.ts

import { tokenizer } from 'acorn'
import { matchAll } from './_utils'
import { resolvePath, ResolveOptions } from './resolve'
import { loadURL } from './utils'

export interface ESMImport {
  type: 'static' | 'dynamic'
  code: string
  start: number
  end: number
}

export interface StaticImport extends ESMImport {
  type: 'static'
  imports: string
  specifier: string
}

export interface ParsedStaticImport extends StaticImport {
  defaultImport?: string
  namespacedImport?: string
  namedImports?: { [name: string]: string }
}

export interface DynamicImport extends ESMImport {
  type: 'dynamic'
  expression: string
}

export interface ESMExport {
  _type?: 'declaration' | 'named' | 'default' | 'star',
  type: 'declaration' | 'named' | 'default' | 'star',
  code: string
  start: number
  end: number
  name?: string
  names: string[]
  specifier?: string
}

export interface DeclarationExport extends ESMExport {
  type: 'declaration'
  declaration: string
  name: string
}

export interface NamedExport extends ESMExport {
  type: 'named'
  exports: string
  names: string[]
  specifier?: string
}

export interface DefaultExport extends ESMExport {
  type: 'default'
}

export const ESM_STATIC_IMPORT_RE = /(?<=\s|^|;)import\s*(["'\s]*(?<imports>[\w*${}\n\r\t, /]+)from\s*)?["']\s*(?<specifier>(?<="\s*)[^"]*[^"\s](?=\s*")|(?<='\s*)[^']*[^'\s](?=\s*'))\s*["'][\s;]*/gm
export const DYNAMIC_IMPORT_RE = /import\s*\((?<expression>(?:[^)(]+|\((?:[^)(]+|\([^)(]*\))*\))*)\)/gm

export const EXPORT_DECAL_RE = /\bexport\s+(?<declaration>(async function|function|let|const enum|const|enum|var|class))\s+(?<name>[\w$_]+)/g
const EXPORT_NAMED_RE = /\bexport\s+{(?<exports>[^}]+?)(?:[,\s]*)}(\s*from\s*["']\s*(?<specifier>(?<="\s*)[^"]*[^"\s](?=\s*")|(?<='\s*)[^']*[^'\s](?=\s*'))\s*["'][^\n;]*)?/g
const EXPORT_STAR_RE = /\bexport\s*(\*)(\s*as\s+(?<name>[\w$_]+)\s+)?\s*(\s*from\s*["']\s*(?<specifier>(?<="\s*)[^"]*[^"\s](?=\s*")|(?<='\s*)[^']*[^'\s](?=\s*'))\s*["'][^\n;]*)?/g
const EXPORT_DEFAULT_RE = /\bexport\s+default\s+/g

export function findStaticImports (code: string): StaticImport[] {
  return matchAll(ESM_STATIC_IMPORT_RE, code, { type: 'static' })
}

export function findDynamicImports (code: string): DynamicImport[] {
  return matchAll(DYNAMIC_IMPORT_RE, code, { type: 'dynamic' })
}

export function parseStaticImport (matched: StaticImport): ParsedStaticImport {
  const cleanedImports = (matched.imports || '')
    .replace(/(\/\/[^\n]*\n|\/\*.*\*\/)/g, '')
    .replace(/\s+/g, ' ')

  const namedImports = {}
  for (const namedImport of cleanedImports.match(/\{([^}]*)\}/)?.[1]?.split(',') || []) {
    const [, source = namedImport.trim(), importName = source] = namedImport.match(/^\s*([^\s]*) as ([^\s]*)\s*$/) || []
    if (source) {
      namedImports[source] = importName
    }
  }
  const topLevelImports = cleanedImports.replace(/\{([^}]*)\}/, '')
  const namespacedImport = topLevelImports.match(/\* as \s*([^\s]*)/)?.[1]
  const defaultImport = topLevelImports.split(',').find(i => !i.match(/[*{}]/))?.trim() || undefined

  return {
    ...matched,
    defaultImport,
    namespacedImport,
    namedImports
  } as ParsedStaticImport
}

export function findExports (code: string): ESMExport[] {
  // Find declarations like export const foo = 'bar'
  const declaredExports: DeclarationExport[] = matchAll(EXPORT_DECAL_RE, code, { type: 'declaration' })

  // Find named exports
  const namedExports: NamedExport[] = matchAll(EXPORT_NAMED_RE, code, { type: 'named' })
  for (const namedExport of namedExports) {
    namedExport.names = namedExport.exports.replace(/^\r?\n?/, '').split(/\s*,\s*/g).map(name => name.replace(/^.*?\sas\s/, '').trim())
  }

  // Find export default
  const defaultExport: DefaultExport[] = matchAll(EXPORT_DEFAULT_RE, code, { type: 'default', name: 'default' })

  // Find export star
  const starExports: ESMExport[] = matchAll(EXPORT_STAR_RE, code, { type: 'star' })

  // Merge and normalize exports
  const exports: ESMExport[] = [].concat(declaredExports, namedExports, defaultExport, starExports)
  for (const exp of exports) {
    if (!exp.name && exp.names && exp.names.length === 1) {
      exp.name = exp.names[0]
    }
    if (exp.name === 'default' && exp.type !== 'default') {
      exp._type = exp.type
      exp.type = 'default'
    }
    if (!exp.names && exp.name) {
      exp.names = [exp.name]
    }
  }

  // Return early when there is no  export statement
  if (!exports.length) {
    return []
  }
  const exportLocations = _tryGetExportLocations(code)
  if (exportLocations && !exportLocations.length) {
    return []
  }

  return exports
    // Filter false positive export matches
    .filter(exp => !exportLocations || _isExportStatement(exportLocations, exp))
    // Prevent multiple exports of same function, only keep latest iteration of signatures
    .filter((exp, index, exports) => {
      const nextExport = exports[index + 1]
      return !nextExport || exp.type !== nextExport.type || !exp.name || exp.name !== nextExport.name
    })
}

export function findExportNames (code: string): string[] {
  return findExports(code).flatMap(exp => exp.names).filter(Boolean)
}

export async function resolveModuleExportNames (id: string, opts?: ResolveOptions): Promise<string[]> {
  const url = await resolvePath(id, opts)
  const code = await loadURL(url)
  const exports = findExports(code)

  // Explicit named exports
  const exportNames = new Set(exports.flatMap(exp => exp.names).filter(Boolean))

  // Recursive * exports
  for (const exp of exports) {
    if (exp.type === 'star') {
      const subExports = await resolveModuleExportNames(exp.specifier, { ...opts, url })
      for (const subExport of subExports) {
        exportNames.add(subExport)
      }
    }
  }

  return Array.from(exportNames)
}

// --- Internal ---

interface TokenLocation {
  start: number
  end: number
}

function _isExportStatement (exportsLocation: TokenLocation[], exp: ESMExport) {
  return exportsLocation.some((location) => {
    // AST token inside the regex match
    return exp.start <= location.start && exp.end >= location.end
    // AST Token start or end is within the regex match
    // return (exp.start <= location.start && location.start <= exp.end) ||
    // (exp.start <= location.end && location.end <= exp.end)
  })
}

function _tryGetExportLocations (code: string) {
  try {
    return _getExportLocations(code)
  } catch (err) {
    return null
  }
}

function _getExportLocations (code: string) {
  const tokens = tokenizer(code, {
    ecmaVersion: 'latest',
    sourceType: 'module',
    allowHashBang: true,
    allowAwaitOutsideFunction: true,
    allowImportExportEverywhere: true
  })
  const locations: TokenLocation[] = []
  for (const token of tokens) {
    if (token.type.label === 'export') {
      locations.push({
        start: token.start,
        end: token.end
      })
    }
  }
  return locations
}