Struct miden_objects::accounts::delta::StorageMapDelta

pub struct StorageMapDelta {
    pub cleared_leaves: Vec<Word>,
    pub updated_leaves: Vec<(Word, Word)>,
}

StorageMapDelta stores the differences between two states of account storage maps.

The differences are represented as follows:

• leave updates: represented by cleared_leaves and updated_leaves field.

Fields

cleared_leaves: Vec<Word>

updated_leaves: Vec<(Word, Word)>

Implementations

impl StorageMapDelta

pub fn from( cleared_leaves: Vec<Word>, updated_leaves: Vec<(Word, Word)>, ) -> Self

Creates a new storage map delta from the provided cleared and updated leaves.

pub fn validate(&self) -> Result<(), AccountDeltaError>

Checks whether this storage map delta is valid.

Errors

Returns an error if:

• Any of the cleared or updated leaves is referenced more than once (e.g., updated twice).

pub fn is_empty(&self) -> bool

Returns true if storage map delta contains no updates.

Trait Implementations

impl Clone for StorageMapDelta

fn clone(&self) -> StorageMapDelta

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StorageMapDelta

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

Formats the value using the given formatter.

impl Default for StorageMapDelta

fn default() -> StorageMapDelta

Returns the “default value” for a type.

impl Deserializable for StorageMapDelta

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl PartialEq for StorageMapDelta

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

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Eq for StorageMapDelta

impl StructuralPartialEq for StorageMapDelta