Struct StackState 

pub struct StackState { /* private fields */ }

State of the abstract stack during analysis

Implementations

impl StackState

pub fn new() -> Self

pub fn push_unknown(&mut self)

Push an unknown value onto the stack

pub fn push_resource( &mut self, kind: ResourceKind, line: usize, column: usize, word: &str, )

Push a new tracked resource onto the stack

pub fn pop(&mut self) -> Option<StackValue>

Pop a value from the stack

pub fn peek(&self) -> Option<&StackValue>

Peek at the top value without removing it

pub fn depth(&self) -> usize

Get stack depth

pub fn consume_resource(&mut self, resource: TrackedResource)

Mark a resource as consumed (properly cleaned up)

pub fn remaining_resources(&self) -> Vec<&TrackedResource>

Get all resources still on the stack (potential leaks)

pub fn merge(&self, other: &StackState) -> BranchMergeResult

Merge two stack states (for branch unification) Returns resources that are leaked in one branch but not the other

pub fn join(&self, other: &StackState) -> StackState

Compute a lattice join of two stack states for continuation after branches.

The join is conservative:

• Resources present in EITHER branch are tracked (we don’t know which path was taken)
• Resources are only marked consumed if consumed in BOTH branches
• The next_id is taken from the max of both states

This ensures we don’t miss potential leaks from either branch.

Trait Implementations

impl Clone for StackState

fn clone(&self) -> StackState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StackState

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

Formats the value using the given formatter.

impl Default for StackState

fn default() -> Self

Returns the “default value” for a type.