Struct evmil::dfa::AbstractStack

pub struct AbstractStack { /* private fields */ }

Implementations

impl AbstractStack

pub fn new<T: Into<Interval>>(lower: T, upper: Vec<AbstractValue>) -> Self

pub fn is_bottom(&self) -> bool

pub fn len(&self) -> Interval

Determine possible lengths of the stack as an interval

pub fn min_len(&self) -> usize

Determine the minimum length of any stack represented by this abstract stack.

pub fn max_len(&self) -> usize

Determine the maximum length of any stack represented by this abstract stack.

pub fn push(self, val: AbstractValue) -> Self

Push an iterm onto this stack.

pub fn pop(self) -> Self

Pop an item of this stack, producing an updated state.

pub fn peek(&self, n: usize) -> AbstractValue

Perk nth item on the stack (where 0 is top).

pub fn set(self, n: usize, val: AbstractValue) -> Self

Set ith item from the top on this stack. Thus, 0 is the top of the stack, etc.

pub fn merge(self, other: &AbstractStack) -> Self

Merge two abstract stacks together.

pub fn merge_into(&mut self, other: &AbstractStack) -> bool

Merge an abstract stack into this stack, whilst reporting whether this stack changed or not.

Trait Implementations

impl Clone for AbstractStack

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AbstractStack

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

Formats the value using the given formatter.

impl Display for AbstractStack

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

Formats the value using the given formatter.

impl PartialEq<AbstractStack> for AbstractStack

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for AbstractStack