Files
oxc-guard 894c8f9cd8 release(crates): oxc v0.148.0 (#26198)
### 💥 BREAKING CHANGES

- a31567a allocator: [**BREAKING**] Make `Allocator::cursor_ptr` and `data_end_ptr` private (#26081) (overlookmotel)

### 🚀 Features

- 784e9fa minifier: Invert `!0` and `!1` in place for boolean context to `1` and `0` (#26050) (Armano)
- 1e902cc minifier: Expand fold leading assignments into the var decl (#26142) (Armano)
- 3ed4f6a minifier: Expand de morgan's optimization to allow move of `!` (#25930) (Armano)
- 5672585 parser: Attach all comments to nodes (#25944) (camc314)

### 🐛 Bug Fixes

- 4adfb4c semantic: Validate chained continue labels (#26157) (camc314)
- b874f48 ecmascript: `Math.round` only exact half ties (#26150) (camc314)
- a625378 minifier: Coerce omitted `indexOf` search argument (#26149) (camc314)
- dc7398b ecmascript: Trim trailing whitespace in string to number (#26148) (camc314)
- 243b685 transformer/object-rest: Lower multiple declarators correctly (#26147) (camc314)
- dc09a3a parser: Avoid panic on escaped string export names (#26146) (camc314)
- e412cf2 linter: Clamp invalid JS plugin locations (#26144) (camc314)
- c3dedc9 semantic: Skip function body bindings in parameters (#26099) (Dunqing)
- e74de61 transform-react: Match Babel diagnostic reporting (#26128) (Boshen)
- d5163d0 parser: Correctly classify unapplied pure annotations (#26084) (camc314)
- 8531b9b linter/plugins: Alter method for obtaining mutable `Program` when sending AST to JS plugins (#26077) (overlookmotel)
- 9b51658 regular_expression: Allow oversized decimal escape for Annex B (#26070) (leaysgur)
- c8de4df regular_expression: Reject oversized backreferences (#26055) (camc314)

### ⚡ Performance

- ac4785a diagnostics: Use fixed ANSI styles (#26130) (Boshen)
- 07a0793 packages/codegen: Flatten output in chunks (#26109) (overlookmotel)
- 487427a packages/codegen: Faster string flattening (#26108) (overlookmotel)
- 7785583 packages/codegen: Ensure indent strings are flattened (#26107) (overlookmotel)
- 0dd4db3 packages/codegen: Store mapping positions in an `Int32Array` (#26085) (overlookmotel)
2026-09-01 08:15:07 +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.