Struct ScopedLifetimeTracker 

pub struct ScopedLifetimeTracker { /* private fields */ }

Tracks lifetimes with respect to program scopes

Implementations

impl ScopedLifetimeTracker

pub fn new() -> Self

pub fn push_scope(&mut self, kind: ScopeKind, parent: Option<usize>) -> usize

Create a new scope

pub fn declare_variable(&mut self, var: String, scope_id: usize)

Add a variable to the current scope

pub fn declare_reference(&mut self, ref_name: String, scope_id: usize)

Add a reference to the current scope

pub fn check_outlives(&self, longer: &str, shorter: &str) -> bool

Check if a lifetime outlives another considering scopes

pub fn is_alive_in_scope(&self, var: &str, scope_id: usize) -> bool

Check if a variable is still alive in a given scope

pub fn add_constraint(&mut self, constraint: LifetimeConstraint)

Add a lifetime constraint

pub fn validate_constraints(&self) -> Vec<String>

Validate all lifetime constraints

Trait Implementations

impl Debug for ScopedLifetimeTracker

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

Formats the value using the given formatter.