Trait evmil::evm::Stack

pub trait Stack: Default + PartialEq {
    type Word: Word;

    fn peek(&self, n: usize) -> Self::Word;
    fn len(&self) -> Self::Word;
    fn push(&mut self, item: Self::Word);
    fn pop(&mut self, n: usize);
    fn set(&mut self, n: usize, item: Self::Word);
}

Represents an EVM stack of some form. This could a concrete stack (i.e. useful for execution) or an abstract stack (i.e. useful for analysis).

Required Associated Types

type Word: Word

Underlying machine word this stack operates on. In a concrete EVM, this would be w256 or some other concrete implementation.

Required Methods

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

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

fn len(&self) -> Self::Word

Determine number of items on stack.

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

Push an item onto the stack.

fn pop(&mut self, n: usize)

Pop an item from the stack.

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

Set ith item on stack (where n==0 is top element)

Implementors

impl<T> Stack for AbstractStack<T>where
    T: PartialEq + JoinLattice + Word,

type Word = T

impl<T: Word> Stack for ConcreteStack<T>

type Word = T