Struct StackTracker 

pub struct StackTracker<'a> {
    pub parent: Option<Box<StackTracker<'a>>>,
    pub local_stack: Vec<VarAssignment>,
    /* private fields */
}

Tracks the stack of assignments.

Fields

parent: Option<Box<StackTracker<'a>>>

Stack from the parent.

local_stack: Vec<VarAssignment>

Variables assigned in the local space.

Implementations

impl<'a> StackTracker<'a>

pub fn new_root(assigner: &'a VarAssigner) -> Self

Create a new root StackTracker.

pub fn make_child(&self) -> Self

Create a stack tracker with a clone of this one as its parent.

pub fn root_with_stack( assigner: &'a VarAssigner, initial_stack: Vec<VarAssignment>, ) -> Self

Create a new root variable assigner with the specified initial stack.

pub fn pop(&mut self, val: ValType) -> (VarAssignment, Vec<Conversion>)

Remove a value of the specified type from this stack, returning both the variable assignment corresponding to the value as well as any conversions required to get the value, in the order they must be performed. Any excess bytes that had to be popped from the parent’s stack to get down to the correct type but aren’t used in this value are pushed to the local stack.

pub fn push(&mut self, val: ValType) -> VarAssignment

Push a value onto the local stack, returning the variable that it will be assigned to.

pub fn local_bytes(&self) -> usize

Get the number of bytes in the local portion of the stack.

pub fn total_bytes(&self) -> usize

Get the total number of bytes in the stack including the local stack and the parent’s stack.

pub fn snapshot(&self) -> Vec<VarAssignment>

Get a snapshot of the cumulative stack at this layer + all parents.

Trait Implementations

impl<'a> Clone for StackTracker<'a>

fn clone(&self) -> StackTracker<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> PartialEq for StackTracker<'a>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.