Scope-aware AST visitor that tracks references to specified names, filtering out those shadowed by local bindings. Performs single-pass analysis using Oxc's AST visitor.

Works with both rolldown and oxc-parser. At least one must be installed as a peer dependency.

pnpm add -D oxc-unshadowed-visitor

Also install at least one of:

pnpm add -D rolldown
# or
pnpm add -D oxc-parser

import { parseSync, Visitor } from 'oxc-parser' // or from 'rolldown/utils'
import { ScopedVisitor } from 'oxc-unshadowed-visitor'
import type { WalkFn } from 'oxc-unshadowed-visitor'

const walk: WalkFn = (program, visitor) => new Visitor(visitor).visit(program)
const program = parseSync('app.tsx', code).program

const sv = new ScopedVisitor<string>({
  trackedNames: ['React'],
  walk,
  visitor: {
    Identifier(node, ctx) {
      if (node.name === 'React') {
        ctx.record({ name: node.name, node, data: 'jsx-ref' })
      }
    },
  },
})

const records = sv.walk(program)
// records contains only references where `React` is NOT shadowed

Main class that walks the AST once and maintains a scope stack internally. When your visitor calls ctx.record(), the record is kept only if the tracked name is not shadowed at that point. If a later var declaration hoists into scope, previously recorded references are retroactively invalidated.

• options.trackedNames: string[]. Names to track for shadowing.
• options.visitor: ScopedVisitorObject<T>. Visitor object with handlers that receive the AST node and a VisitorContext<T>.
• options.walk: WalkFn. Walk function that traverses the AST. Must call visitor handlers by node type (e.g. Identifier, FunctionDeclaration:exit).

Walks the given program AST and returns an array of records that were not shadowed.

type WalkFn = (program: Program, visitor: SimpleVisitorObject) => void

A function that walks the AST and calls visitor handlers. Both oxc-parser and rolldown/utils export a Visitor class that can be used to create one:

const walk: WalkFn = (program, visitor) => new Visitor(visitor).visit(program)

• record(opts: { name: string; node: object; data: T }): Records a reference. The record is automatically filtered out if the name is shadowed at the call site.

interface TransformRecord<T> {
  name: string
  node: object
  data: T
}

MIT