Module async_analysis

Module async_analysis 

Source
Expand description

Async type tracking and analysis

This module implements async type analysis features from ComplexTypeForRust.md:

  • Future and Stream state machine analysis
  • Async task lifecycle tracking
  • Await point analysis

Structs§

AsyncAnalyzer
Async type analysis system
AsyncPattern
Detected async pattern
AsyncPatternAnalysis
Async pattern analysis
AsyncStatistics
Async statistics
AwaitPoint
Await point information
FutureInfo
Information about a tracked future
StateTransition
State transition information
TaskEvent
Task lifecycle events

Enums§

AsyncPatternSeverity
Pattern severity levels
AsyncPatternType
Types of async patterns
AwaitType
Types of await operations
FutureResult
Future completion results
FutureState
Future states
TaskEventType
Types of task events

Functions§

get_global_async_analyzer
Get the global async analyzer instance