mirror of
https://github.com/oxc-project/oxc.git
synced 2026-09-14 19:36:11 +08:00
894c8f9cd8
### 💥 BREAKING CHANGES -a31567aallocator: [**BREAKING**] Make `Allocator::cursor_ptr` and `data_end_ptr` private (#26081) (overlookmotel) ### 🚀 Features -784e9faminifier: Invert `!0` and `!1` in place for boolean context to `1` and `0` (#26050) (Armano) -1e902ccminifier: Expand fold leading assignments into the var decl (#26142) (Armano) -3ed4f6aminifier: Expand de morgan's optimization to allow move of `!` (#25930) (Armano) -5672585parser: Attach all comments to nodes (#25944) (camc314) ### 🐛 Bug Fixes -4adfb4csemantic: Validate chained continue labels (#26157) (camc314) -b874f48ecmascript: `Math.round` only exact half ties (#26150) (camc314) -a625378minifier: Coerce omitted `indexOf` search argument (#26149) (camc314) -dc7398becmascript: Trim trailing whitespace in string to number (#26148) (camc314) -243b685transformer/object-rest: Lower multiple declarators correctly (#26147) (camc314) -dc09a3aparser: Avoid panic on escaped string export names (#26146) (camc314) -e412cf2linter: Clamp invalid JS plugin locations (#26144) (camc314) -c3dedc9semantic: Skip function body bindings in parameters (#26099) (Dunqing) -e74de61transform-react: Match Babel diagnostic reporting (#26128) (Boshen) -d5163d0parser: Correctly classify unapplied pure annotations (#26084) (camc314) -8531b9blinter/plugins: Alter method for obtaining mutable `Program` when sending AST to JS plugins (#26077) (overlookmotel) -9b51658regular_expression: Allow oversized decimal escape for Annex B (#26070) (leaysgur) -c8de4dfregular_expression: Reject oversized backreferences (#26055) (camc314) ### ⚡ Performance -ac4785adiagnostics: Use fixed ANSI styles (#26130) (Boshen) -07a0793packages/codegen: Flatten output in chunks (#26109) (overlookmotel) -487427apackages/codegen: Faster string flattening (#26108) (overlookmotel) -7785583packages/codegen: Ensure indent strings are flattened (#26107) (overlookmotel) -0dd4db3packages/codegen: Store mapping positions in an `Int32Array` (#26085) (overlookmotel)
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.