Struct ethereumvm::AccountState

pub struct AccountState<'a, A: AccountPatch> { /* fields omitted */ }

A struct that manages the current account state for one EVM.

Methods

impl<'a, A: AccountPatch> AccountState<'a, A>

pub fn new(account_patch: &'a A) -> Self

Create new AccountState configured with AccountPatch

pub fn derive_from<'b>(account_patch: &'a A, prev: &AccountState<'b, A>) -> Self

Clone with new AccountPatch

impl<'a, A: AccountPatch> AccountState<'a, A>

pub fn used_addresses(&self) -> Set<Address>

Returns all fetched or modified addresses.

pub fn accounts(&self) -> Values<Address, AccountChange>

Returns all accounts right now in this account state.

pub fn require(&self, address: Address) -> Result<(), RequireError>

Returns Ok(()) if a full account is in this account state. Otherwise raise a RequireError.

pub fn require_code(&self, address: Address) -> Result<(), RequireError>

Returns Ok(()) if either a full account or a partial code account is in this account state. Otherwise raise a RequireError.

pub fn require_storage(
    &self,
    address: Address,
    index: U256
) -> Result<(), RequireError>

Returns Ok(()) if the storage exists in the VM. Otherwise raise a RequireError.

pub fn commit(
    &mut self,
    commitment: AccountCommitment
) -> Result<(), CommitError>

Commit an account commitment into this account state.

pub fn exists(&self, address: Address) -> Result<bool, RequireError>

Test whether an account at given address is considered existing.

pub fn code(&self, address: Address) -> Result<Rc<Vec<u8>>, RequireError>

Find code by its address in this account state. If the search failed, returns a RequireError.

pub fn code_opt_nonexist(
    &self,
    address: Address
) -> Result<Option<Rc<Vec<u8>>>, RequireError>

Find code of account that may not exist. If search failed, returns a RequireError

pub fn nonce(&self, address: Address) -> Result<U256, RequireError>

Find nonce by its address in this account state. If the search failed, returns a RequireError.

pub fn balance(&self, address: Address) -> Result<U256, RequireError>

Find balance by its address in this account state. If the search failed, returns a RequireError.

pub fn storage_read(
    &self,
    address: Address,
    index: U256
) -> Result<M256, RequireError>

Read a value from an account storage.

pub fn storage_read_orig(
    &self,
    address: Address,
    index: U256
) -> Result<M256, RequireError>

Read an original (pre-execution) value from an account storage

pub fn storage_write(
    &mut self,
    address: Address,
    index: U256,
    value: M256
) -> Result<(), RequireError>

Write a value from an account storage. The account will be created if it is nonexist.

pub fn create(
    &mut self,
    address: Address,
    topup: U256
) -> Result<(), RequireError>

Create a new account (that should not yet have existed before).

pub fn code_deposit(&mut self, address: Address, new_code: Rc<Vec<u8>>)

Deposit code in to a created account. Only usable in a newly created account.

pub fn increase_balance(&mut self, address: Address, topup: U256)

Increase the balance of an account. The account will be created if it is nonexist in the beginning.

pub fn decrease_balance(&mut self, address: Address, withdraw: U256)

Decrease the balance of an account. The account will be created if it is nonexist in the beginning.

pub fn set_nonce(
    &mut self,
    address: Address,
    new_nonce: U256
) -> Result<(), RequireError>

Set nonce of an account. If the account is not already commited, returns a RequireError. The account will be created if it is nonexist in the beginning.

pub fn remove(&mut self, address: Address) -> Result<(), RequireError>

Delete an account from this account state. The account is set to null.

Trait Implementations

impl<'a, A: AccountPatch> Clone for AccountState<'a, A>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, A: Debug + AccountPatch> Debug for AccountState<'a, A>

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

Formats the value using the given formatter.