Struct massa_execution_exports::types::ExecutionStackElement

pub struct ExecutionStackElement {
    pub address: Address,
    pub coins: Amount,
    pub owned_addresses: Vec<Address>,
    pub operation_datastore: Option<Datastore>,
}

Structure describing an element of the execution stack. Every time a function is called from bytecode, a new ExecutionStackElement is pushed at the top of the execution stack to represent the local execution context of the called function, instead of the caller’s which should lie just below in the stack.

Fields

address: Address

Called address

coins: Amount

Coins transferred to the target address during the call

owned_addresses: Vec<Address>

List of addresses owned by the current call, and on which the current call has write access. This list should contain ExecutionStackElement::address in the sense that an address should have write access to itself. This list should also contain all addresses created previously during the call to allow write access on newly created addresses in order to set them up, but only within the scope of the current stack element. That way, only the current scope and neither its caller not the functions it calls gain this write access, which is important for security. Note that we use a vector instead of a pre-hashed set to ensure order determinism, the performance hit of linear search remains minimal because owned_addresses will always contain very few elements.

operation_datastore: Option<Datastore>

Datastore (key value store) for ExecuteSC Operation

Trait Implementations

impl Clone for ExecutionStackElement

fn clone(&self) -> ExecutionStackElement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionStackElement

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

Formats the value using the given formatter.