MappingArrayHandler

edb_engine::eval::handlers

Trait MappingArrayHandler 

Source 
pub trait MappingArrayHandler {
    // Required method
    fn get_mapping_or_array_value(
        &self,
        root: DynSolValue,
        indices: Vec<DynSolValue>,
        snapshot_id: usize,
    ) -> Result<DynSolValue>;
}
Expand description

Handler trait for mapping and array access operations.

Handles indexing operations like mapping[key], array[index], and nested access like mapping[key1][key2]. Supports both storage-based mappings and in-memory arrays.

Required Methods§

Source

fn get_mapping_or_array_value( &self, root: DynSolValue, indices: Vec<DynSolValue>, snapshot_id: usize, ) -> Result<DynSolValue>

Access a mapping or array with the given indices.

§Arguments
  • root - The base value being indexed (mapping, array, or ABI info)
  • indices - Vector of index values for nested access
  • snapshot_id - The execution context identifier
§Returns

The value at the specified indices, or an error if access fails

Implementations on Foreign Types§

Source§

impl MappingArrayHandler for Arc<SimulationDebugHandler>

Source§

fn get_mapping_or_array_value( &self, root: DynSolValue, indices: Vec<DynSolValue>, snapshot_id: usize, ) -> Result<DynSolValue>

Implementors§