Struct BorrowTrackerV2 

pub struct BorrowTrackerV2 { /* private fields */ }

Tracks active borrows for a set of variables (V2 - uses VarId).

Integrates with DataFlowGraphV2 for borrow conflict detection.

Implementations

impl BorrowTrackerV2

pub fn new() -> Self

Create a new empty tracker.

pub fn with_capacity(capacity: usize) -> Self

Create with pre-allocated capacity.

pub fn add_borrow( &mut self, source: VarId, borrower: VarId, kind: BorrowKind, line: u32, ) -> Vec<BorrowConflict>

Add a borrow.

Returns any conflicts with existing borrows.

pub fn end_borrow(&mut self, borrower: VarId, line: u32)

End a borrow.

pub fn conflicts( &self, source: VarId, kind: BorrowKind, at_line: u32, ) -> Vec<BorrowConflict>

Query conflicts with a potential new borrow.

pub fn active_borrows_at( &self, source: VarId, line: u32, ) -> Vec<&ActiveBorrowV2>

Get all active borrows of a variable at a given line.

pub fn active_borrows(&self, source: VarId) -> &[ActiveBorrowV2]

Get all active borrows of a variable (regardless of line).

pub fn clear(&mut self)

Clear all borrows.

pub fn has_active_borrows(&self, source: VarId, at_line: u32) -> bool

Check if any borrows are currently active for a variable.

pub fn has_active_mut_borrow(&self, source: VarId, at_line: u32) -> bool

Check if a mutable borrow is active for a variable.

pub fn tracked_var_count(&self) -> usize

Get the number of tracked variables.

pub fn total_borrow_count(&self) -> usize

Get the total number of borrows (active and ended).

Trait Implementations

impl Clone for BorrowTrackerV2

fn clone(&self) -> BorrowTrackerV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BorrowTrackerV2

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

Formats the value using the given formatter.

impl Default for BorrowTrackerV2

fn default() -> BorrowTrackerV2

Returns the “default value” for a type.