Struct HashSlotAccess 

pub struct HashSlotAccess {
    pub slot: B256,
    pub value: U256,
    pub keys: Vec<B256>,
    pub base_slot: U256,
    pub layout: SlotLayout,
    pub depth: usize,
    pub confidence: Confidence,
}

One hash-derived SLOAD observed during a simulation, factored into its mapping structure.

Fields

slot: B256

The exact storage slot that was read — the direct override/track target.

value: U256

The value the SLOAD returned.

keys: Vec<B256>

Mapping keys, outer → inner. For m[a][b] this is [b, a]; empty for a plain array/base pointer.

base_slot: U256

The inferred declared base slot (or packed seed) of the outer mapping.

layout: SlotLayout

The detected storage layout.

depth: usize

Nesting depth (number of hashes in the derivation chain).

confidence: Confidence

Confidence in the factoring.

Implementations

impl HashSlotAccess

pub fn keyed_by(&self, k: B256) -> bool

True if any key in the chain equals k (matched as a full 32-byte word or as an address in the word’s low 20 bytes).

pub fn as_tracked(&self, contract: Address) -> Option<TrackedMapping>

Capture a single-level mapping access as a reusable TrackedMapping on contract. Returns None for nested, array, or opaque layouts (their slot cannot be recomputed from a base slot and one key alone).

Trait Implementations

impl Clone for HashSlotAccess

fn clone(&self) -> HashSlotAccess

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HashSlotAccess

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

Formats the value using the given formatter.

impl Eq for HashSlotAccess

impl PartialEq for HashSlotAccess

fn eq(&self, other: &HashSlotAccess) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for HashSlotAccess