Struct bus_mapping::operation::OperationContainer

pub struct OperationContainer {

    pub memory: Vec<Operation<MemoryOp>>,
    pub stack: Vec<Operation<StackOp>>,
    pub storage: Vec<Operation<StorageOp>>,
    pub transient_storage: Vec<Operation<TransientStorageOp>>,
    pub tx_access_list_account: Vec<Operation<TxAccessListAccountOp>>,
    pub tx_access_list_account_storage: Vec<Operation<TxAccessListAccountStorageOp>>,
    pub tx_refund: Vec<Operation<TxRefundOp>>,
    pub account: Vec<Operation<AccountOp>>,
    pub call_context: Vec<Operation<CallContextOp>>,
    pub tx_receipt: Vec<Operation<TxReceiptOp>>,
    pub tx_log: Vec<Operation<TxLogOp>>,
    pub start: Vec<Operation<StartOp>>,
    pub padding: Vec<Operation<PaddingOp>>,
    pub step_state: Vec<Operation<StepStateOp>>,
}

The OperationContainer is meant to store all of the Operations that an ExecStep performs during its execution.

Once an operation is inserted into the container, it returns an OperationRef which holds an index to the operation just inserted. These references are stored inside of the bus-mapping instances of each ExecStep.

Finally, the container also provides the capability of retrieving all of the Stack, Memory or Storage operations ordered according to the criteria they have specified. That serves as a way to get an input with which is easy to work with in order to construct the State proof.

Fields

memory: Vec<Operation<MemoryOp>>

Operations of MemoryOp

stack: Vec<Operation<StackOp>>

Operations of StackOp

storage: Vec<Operation<StorageOp>>

Operations of StorageOp

transient_storage: Vec<Operation<TransientStorageOp>>

Operations of TransientStorageOp

tx_access_list_account: Vec<Operation<TxAccessListAccountOp>>

Operations of TxAccessListAccountOp

tx_access_list_account_storage: Vec<Operation<TxAccessListAccountStorageOp>>

Operations of TxAccessListAccountStorageOp

tx_refund: Vec<Operation<TxRefundOp>>

Operations of TxRefundOp

account: Vec<Operation<AccountOp>>

Operations of AccountOp

call_context: Vec<Operation<CallContextOp>>

Operations of CallContextOp

tx_receipt: Vec<Operation<TxReceiptOp>>

Operations of TxReceiptOp

tx_log: Vec<Operation<TxLogOp>>

Operations of TxLogOp

start: Vec<Operation<StartOp>>

Operations of Start

padding: Vec<Operation<PaddingOp>>

Operations of Padding

step_state: Vec<Operation<StepStateOp>>

Operations of StepState

Implementations

impl OperationContainer

pub fn new() -> Self

Generates a new instance of an OperationContainer.

pub fn insert<T: Op>(&mut self, op: Operation<T>) -> OperationRef

Inserts an Operation into the container returning a lightweight reference to it in the form of an OperationRef which points to the location of the inserted operation inside the corresponding container vector.

pub fn insert_op_enum( &mut self, rwc: RWCounter, rwc_inner_chunk: RWCounter, rw: RW, reversible: bool, op_enum: OpEnum ) -> OperationRef

Inserts an OpEnum into the container returning a lightweight reference to it in the form of an OperationRef which points to the location of the inserted operation inside the corresponding container vector.

pub fn sorted_memory(&self) -> Vec<Operation<MemoryOp>>

Returns a sorted vector of all of the MemoryOps contained inside of the container.

pub fn sorted_stack(&self) -> Vec<Operation<StackOp>>

Returns a sorted vector of all of the StackOps contained inside of the container.

pub fn sorted_storage(&self) -> Vec<Operation<StorageOp>>

Returns a sorted vector of all of the StorageOps contained inside of the container.

Trait Implementations

impl Clone for OperationContainer

fn clone(&self) -> OperationContainer

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for OperationContainer

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

Formats the value using the given formatter.

impl Default for OperationContainer

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for OperationContainer

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

impl StructuralPartialEq for OperationContainer