Struct ConcreteStack 

pub struct ConcreteStack<T: EvmWord> { /* private fields */ }

An implementation of EvmStack which gives a concrete view of the stack. In other words, it represents the stack exactly.

Implementations

impl<T: EvmWord> ConcreteStack<T>

pub fn new() -> Self

Trait Implementations

impl<T: Clone + EvmWord> Clone for ConcreteStack<T>

fn clone(&self) -> ConcreteStack<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for ConcreteStack<T>

where T: EvmWord + Debug,

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

Formats the value using the given formatter.

impl<T: EvmWord> Default for ConcreteStack<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T> Display for ConcreteStack<T>

where T: EvmWord + Display,

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

Formats the value using the given formatter.

impl<T: EvmWord> EvmStack for ConcreteStack<T>

fn goto(&mut self, _pc: usize)

Update internal position within code.

type Word = T

Defines what constitutes a word in this EVM. For example, a concrete evm will use a w256 here whilst an abstract evm will use something that can, for example, describe unknown values.

fn size(&self) -> usize

Get the size of the stack.

fn peek(&self, n: usize) -> &Self::Word

Peek nth item from stack (where n==0 is top element).

fn push(&mut self, item: Self::Word)

Push an item onto the stack.

fn pop(&mut self) -> Self::Word

Pop an item from the stack.

fn set(&mut self, n: usize, item: Self::Word) -> Self::Word

Set nth item from stack (where n==0 is top element), whilst returning the item previously at that position.

fn has_capacity(&self, n: usize) -> bool

Check capacity for n additional items on the stack.

fn has_operands(&self, n: usize) -> bool

Check at least n operands on the stack.

fn swap(&mut self, n: usize)

Swap top item on stack with nth item on stack (where n>0, and n==0 would be the top element).

fn dup(&mut self, n: usize)

Duplicate nth item on stack (where n==0 is the top element).

impl<T: Ord + EvmWord> Ord for ConcreteStack<T>

fn cmp(&self, other: &ConcreteStack<T>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<T: PartialEq + EvmWord> PartialEq for ConcreteStack<T>

fn eq(&self, other: &ConcreteStack<T>) -> 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.

impl<T: PartialOrd + EvmWord> PartialOrd for ConcreteStack<T>

fn partial_cmp(&self, other: &ConcreteStack<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T: Eq + EvmWord> Eq for ConcreteStack<T>

impl<T: EvmWord> StructuralPartialEq for ConcreteStack<T>