Expand description
§Depyler Analysis - Type Inference, Optimization, and Analysis Passes
All analysis, type inference, borrowing analysis, and optimization passes for the Depyler Python-to-Rust transpiler.
Modules§
- annotation_
aware_ type_ mapper - borrowing
- borrowing_
context - Enhanced borrowing context for proper ownership pattern inference
- borrowing_
shim - Borrowing Shim - pure logic separated from I/O
- const_
generic_ inference - container_
element_ inference - Container element type inference from usage patterns
- depylint
- DEPYLER-0951: Depylint - Proactive detection of unsupported Python features
- error_
reporting - Enhanced error reporting with source location tracking and helpful suggestions
- escape_
analysis - Escape Analysis for Ownership Inference
- generator_
state - Generator State Analysis
- generator_
yield_ analysis - Generator Yield Point Analysis
- generic_
inference - inlining
- lifetime_
analysis - Lifetime analysis and inference for safe Rust code generation
- migration_
suggestions - optimization
- optimizer
- Optimization passes for generated Rust code
- param_
type_ inference - Parameter type inference from usage patterns in function body
- performance_
warnings - profiling
- Profiling integration for performance analysis of transpiled code
- scoring
- DEPYLER-SCORE-001: 100-Point Single-Shot Compile Score
- string_
optimization - type_
hints - type_
inference_ telemetry - DEPYLER-0970: Type Inference Telemetry for Oracle Training
- type_
mapper - type_
propagation - Cross-function type propagation for HIR
- type_
system - Type System - Constraint-based type inference with subtyping support
Macros§
- record_
unknown_ type - Helper macro to record unknown type with minimal boilerplate