Struct StackModel 

pub struct StackModel { /* private fields */ }

Represents the current state of the EVM stack.

Stack positions are 0-indexed from the top:

• Position 0 = top of stack
• Position 1 = second from top
• etc.

Implementations

impl StackModel

pub fn new() -> StackModel

Creates a new empty stack model.

pub fn depth(&self) -> usize

Returns the current stack depth.

pub fn is_empty(&self) -> bool

Returns true if the stack is empty.

pub fn push(&mut self, value: ValueId)

Pushes a value onto the stack.

pub fn push_unknown(&mut self)

Pushes an unknown/anonymous value onto the stack.

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

Pops the top value from the stack. Returns the value that was at the top, if known.

pub fn peek(&self, depth: usize) -> Option<ValueId>

Returns the value at the given stack depth (0 = top).

pub fn top(&self) -> Option<ValueId>

Returns the value at the top of the stack.

pub fn find(&self, value: ValueId) -> Option<usize>

Finds the depth of a value on the stack. Returns None if the value is not on the stack.

pub fn contains(&self, value: ValueId) -> bool

Returns true if the value is on the stack.

pub fn count(&self, value: ValueId) -> usize

Counts how many times a value appears on the stack.

pub fn is_on_top(&self, value: ValueId) -> bool

Returns true if the value is at the top of the stack.

pub fn is_accessible(&self, value: ValueId) -> bool

Returns true if the value is accessible via DUP (depth < 16).

pub fn dup(&mut self, n: u8)

Simulates a DUP operation. n is 1-indexed (DUP1 = duplicate top, DUP2 = duplicate second from top).

pub fn swap(&mut self, n: u8)

Simulates a SWAP operation. n is 1-indexed (SWAP1 = swap top with second, SWAP2 = swap top with third).

pub fn remove(&mut self, value: ValueId) -> bool

Removes a value from the stack at any position. Used when we know a value is dead and we want to track its removal.

pub fn clear(&mut self)

Clears the stack.

pub fn iter(&self) -> impl Iterator<Item = Option<ValueId>>

Returns an iterator over all values on the stack (top to bottom).

pub fn as_slice(&self) -> &[Option<ValueId>]

Returns the stack contents as a slice (top to bottom).

Trait Implementations

impl Clone for StackModel

fn clone(&self) -> StackModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StackModel

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

Formats the value using the given formatter.

impl Default for StackModel

fn default() -> StackModel

Returns the “default value” for a type.