Files
oxc-guard b6f1458dec release(crates): oxc v0.144.0 (#25474)
### 💥 BREAKING CHANGES

- a33788e ast: [**BREAKING**] Group class heritage into `ClassHeritage` (#25360) (camc314)
- 5c5cdcd ast: [**BREAKING**] Narrow `TSInterfaceHeritage::expression` to TSTypeName (#24360) (camc314)
- 6be314f ast: [**BREAKING**] Remove duplicated `VariableDeclarator::kind` (#25319) (camc314)
- 44fd320 ast: [**BREAKING**] Split TS external modules & Namespace Declarations (#25284) (camc314)

### 🚀 Features

- 9a37c41 napi: Restructure React transform options (#25326) (Boshen)
- b3c1b30 allocator: Add `ArenaVec::push_mut` (#25338) (overlookmotel)

### 🐛 Bug Fixes

- bbd6ed3 codegen: Wrap string literal in parens after directives (#25435) (overlookmotel)
- d07a293 codegen: Preserve cast parentheses in conditional tests (#25115) (camc314)
- 8b7d441 codegen: Preserve satisfies parentheses before bitwise operators (#25113) (camc314)
- e0fb2d7 minifier: Avoid unsafe return removal in labeled blocks (#25406) (Armano)
- c49f4ce parser: Preserve terminal license comments (#25400) (camc314)
- 9d19ab3 transform_react: Downgrade nonfatal compiler diagnostics (#25418) (Boshen)
- 937825c react_compiler: Disable exhaustive memo validation by default (#25417) (Boshen)
- 12937b3 parser: Reject comma expressions in class fields (#25385) (Cameron)
- 7d8a9b5 react_compiler: Preserve hook spans for React Refresh (#25393) (Boshen)
- 9e93ba6 parser: Reset auto-accessor initializer context (#25384) (camc314)
- cc2e28d parser: Reject trailing tokens in `Parser::parse_expression` (#25371) (camc314)
- 697c629 minifier: Preserve Annex B labeled-function bindings in implicit-return rewrite (#25349) (Armano)
- 4d723ca parser: Report TS1035 for quoted module names (#25305) (camc314)
- 0c9b980 semantic: Report module declaration diagnostics (#25285) (camc314)
- 2a1058a napi: Omit parser header from WASI declarations (#25254) (camc314)

### ⚡ Performance

- dd1430b semantic: Avoid allocation in class overload check (#25440) (camc314)
- e420816 parser: Optimize trailing comma tracking (#25376) (camc314)
- 6529d1a minifier: Short-circuit scope check when alternate already determines result (#25318) (Armano)

### 📚 Documentation

- fe111eb allocator: Improve doc comments for `Arena` methods (#24922) (overlookmotel)
2026-08-10 09:57:10 +00:00
..
…

Oxc Traverse

Advanced AST traversal with parent context and efficient tree navigation.

Overview

This crate provides sophisticated AST traversal capabilities that allow visitors to read up the tree from any node. Unlike traditional visitors that only provide downward traversal, oxc_traverse enables accessing parent nodes and sibling contexts during traversal.

Key Features

  • Parent context access: Read parent nodes during traversal
  • Efficient navigation: Navigate up and down the AST tree
  • Memory safety: Statically prevents aliasing violations
  • Traverse context: Rich context information during traversal
  • Generated visitors: Most traversal code is auto-generated for consistency

Architecture

Traversal Context

The TraverseCtx provides rich information during traversal:

  • Parent stack: Complete chain of parent nodes
  • Scope context: Current scope and scope hierarchy
  • Symbol information: Access to semantic analysis results
  • AST utilities: Helper methods for common operations

Memory Safety Design

The traversal system prevents Rust aliasing violations through:

  • Controlled access: Only safe references are provided to visitors
  • Stack-based parents: Parent information without direct references
  • Immutable ancestors: Read-only access to ancestor nodes
  • Mutable current: Safe mutable access to current node

Code Generation

Most traversal code is generated to ensure:

  • Complete coverage: All AST nodes have traversal methods
  • Consistency: Uniform traversal patterns across node types
  • Performance: Optimized traversal with minimal overhead
  • Maintainability: Automatic updates when AST changes

Use Cases

Static Analysis

  • Linting: Check code patterns with parent context
  • Dependency analysis: Track imports/exports with scope awareness
  • Security analysis: Detect dangerous patterns in context

Code Transformation

  • Transpilation: Transform syntax with contextual awareness
  • Optimization: Apply optimizations based on usage patterns
  • Refactoring: Safe code modifications with full context

Code Generation

  • Template processing: Generate code with contextual information
  • Macro expansion: Expand macros with scope awareness
  • AST construction: Build new AST nodes with proper context

The traverse system enables sophisticated transformations that would be difficult or impossible with traditional visitor patterns, while maintaining Rust's safety guarantees.