Enum revm::db::states::account_status::AccountStatus

pub enum AccountStatus {
    LoadedNotExisting,
    Loaded,
    LoadedEmptyEIP161,
    InMemoryChange,
    Changed,
    Destroyed,
    DestroyedChanged,
    DestroyedAgain,
}

After account get loaded from database it can be in a lot of different states while we execute multiple transaction and even blocks over account that is in memory. This structure models all possible states that account can be in.

Variants

LoadedNotExisting

Loaded

LoadedEmptyEIP161

InMemoryChange

Changed

Destroyed

DestroyedChanged

DestroyedAgain

Implementations

impl AccountStatus

pub fn is_not_modified(&self) -> bool

Account is not modified and just loaded from database.

pub fn was_destroyed(&self) -> bool

Account was destroyed by calling SELFDESTRUCT. This means that full account and storage are inside memory.

pub fn is_storage_known(&self) -> bool

This means storage is known, it can be newly created or storage got destroyed.

pub fn is_modified_and_not_destroyed(&self) -> bool

Account is modified but not destroyed. This means that some storage values can be found in both memory and database.

pub fn on_created(&self) -> AccountStatus

Returns the next account status on creation.

pub fn on_touched_empty_post_eip161(&self) -> AccountStatus

Returns the next account status on touched empty account post state clear EIP (EIP-161).

Panics

If current status is AccountStatus::Loaded or AccountStatus::Changed.

pub fn on_touched_created_pre_eip161( &self, had_no_info: bool ) -> Option<AccountStatus>

Returns the next account status on touched or created account pre state clear EIP (EIP-161). Returns None if the account status didn’t change.

Panics

If current status is AccountStatus::Loaded or AccountStatus::Changed.

pub fn on_changed(&self, had_no_nonce_and_code: bool) -> AccountStatus

Returns the next account status on change.

pub fn on_selfdestructed(&self) -> AccountStatus

Returns the next account status on selfdestruct.

pub fn transition(&mut self, other: Self)

Transition to other state while preserving invariance of this state.

It this account was Destroyed and other account is not: we should mark extended account as destroyed too. and as other account had some changes, extended account should be marked as DestroyedChanged.

If both account are not destroyed and if this account is in memory: this means that extended account is in memory too.

Otherwise, if both are destroyed or other is destroyed: set other status to extended account.

Trait Implementations

impl Clone for AccountStatus

fn clone(&self) -> AccountStatus

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AccountStatus

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

Formats the value using the given formatter.

impl Default for AccountStatus

fn default() -> AccountStatus

Returns the “default value” for a type.

impl Hash for AccountStatus

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for AccountStatus

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

impl Eq for AccountStatus

impl StructuralPartialEq for AccountStatus