Module lifecycle_analysis

Module lifecycle_analysis 

Source
Expand description

Advanced lifecycle analysis for Rust types

This module implements the features outlined in ComplexTypeForRust.md:

  1. Drop trait tracking - Record custom destructor execution
  2. RAII pattern detection - Identify resource acquisition patterns
  3. Borrow checker integration - Track borrow and mutable borrow lifetimes
  4. Closure capture analysis - Track closure captured variable lifetimes

Structs§

BorrowAnalysis
Borrow analysis results
BorrowConflict
Borrow conflict information
BorrowEvent
Borrow event
BorrowInfo
Borrow information
BorrowPattern
Borrow pattern analysis
BorrowTracker
Borrow tracking system
CapturedVariable
Information about a captured variable
ClosureCapture
Closure capture analysis
DropEvent
Drop trait execution event
LifecycleAnalysisReport
Comprehensive lifecycle analysis report
LifecycleAnalyzer
Advanced lifecycle analysis for Rust types
LongLivedBorrow
Long-lived borrow information
RAIIPattern
RAII pattern instance
ScopeInfo
Scope information for RAII patterns

Enums§

AcquisitionMethod
Methods of resource acquisition
BorrowEventType
Types of borrow events
BorrowPatternType
Types of borrow patterns
BorrowType
Types of borrows
CaptureMode
Modes of variable capture in closures
ConflictType
Types of borrow conflicts
PatternImpact
Impact level of patterns
ReleaseMethod
Methods of resource release
ResourceType
Types of resources managed by RAII
ScopeType
Types of scopes

Functions§

get_global_lifecycle_analyzer
Get the global lifecycle analyzer instance