Struct LockTrackerV2 

pub struct LockTrackerV2 { /* private fields */ }

Tracks lock acquisitions and critical sections (V2 - uses VarId).

Implementations

impl LockTrackerV2

pub fn new() -> Self

Create a new lock tracker.

pub fn acquire(&mut self, acquisition: LockAcquisitionV2)

Record a lock acquisition.

pub fn record_field_access( &mut self, guard_var: VarId, field_name: &str, access_kind: AccessKind, line: u32, )

Record a field access within a critical section.

pub fn mark_expensive(&mut self, guard_var: VarId)

Mark a critical section as containing expensive operations.

pub fn mark_await(&mut self, guard_var: VarId, _await_line: u32)

Mark a critical section as containing await point.

pub fn release(&mut self, guard_var: VarId, line: u32)

End a critical section (guard dropped).

pub fn critical_sections(&self) -> &[CriticalSectionV2]

Get all completed critical sections.

pub fn acquisitions(&self) -> &[LockAcquisitionV2]

Get all lock acquisitions.

pub fn acquisitions_by_owner(&self, owner: SymbolId) -> Vec<&LockAcquisitionV2>

Get lock acquisitions owned by a specific function.

pub fn active_sections(&self) -> impl Iterator<Item = &CriticalSectionV2>

Get active critical sections.

pub fn is_active(&self, guard_var: VarId) -> bool

Check if a guard is currently active.

pub fn clear(&mut self)

Clear all tracking state.

pub fn completed_count(&self) -> usize

Get the number of completed critical sections.

pub fn active_count(&self) -> usize

Get the number of active critical sections.

pub fn flush_active_sections(&mut self)

Flush all active sections to completed sections.

Called at function/scope boundaries where guards are implicitly dropped. Since PureAST has no span info, end_line is left as None.

Trait Implementations

impl Clone for LockTrackerV2

fn clone(&self) -> LockTrackerV2

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LockTrackerV2

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for LockTrackerV2

fn default() -> LockTrackerV2

Returns the “default value” for a type.