Struct bytecode_interpreter::concrete::value::EvalState

pub struct EvalState { /* private fields */ }

Implementations

impl EvalState

pub fn save_memory( &mut self, label: MemoryLabel, partial_inst: PartialStructInstantiation, global_state: &GlobalState )

Collect resources of the (partial) instantiation type from the global state and save them under the given memory label

pub fn load_memory( &self, label: &MemoryLabel, inst: &StructInstantiation, addr: &AccountAddress ) -> Option<BaseValue>

Load a resource with given instantiation type from the specified address, saved by the given memory label.

pub fn register_memory(&self, label: &MemoryLabel, global_state: &mut GlobalState)

Populate a global state with the resources saved by the given memmory label

pub fn all_addresses(&self) -> BTreeSet<AccountAddress>

Return all addresses in the state

pub fn all_resources_by_inst(&self, inst: &StructInstantiation) -> Vec<BaseValue>

Return all resources with instantiation matching

pub fn all_resources_by_ident(&self, ident: &StructIdent) -> Vec<BaseValue>

Return all resources with identity matching

Trait Implementations

impl Clone for EvalState

fn clone(&self) -> EvalState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EvalState

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

Formats the value using the given formatter.

impl Default for EvalState

fn default() -> EvalState

Returns the “default value” for a type.

impl PartialEq<EvalState> for EvalState

fn eq(&self, other: &EvalState) -> 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 Eq for EvalState

impl StructuralEq for EvalState

impl StructuralPartialEq for EvalState