Trait JournalTr

pub trait JournalTr {
    type Database: Database;
    type FinalOutput;

    // Required methods
    fn new(database: Self::Database) -> Self;
    fn db_ref(&self) -> &Self::Database;
    fn db(&mut self) -> &mut Self::Database;
    fn sload(
        &mut self,
        address: Address,
        key: Uint<256, 4>,
    ) -> Result<StateLoad<Uint<256, 4>>, <Self::Database as Database>::Error>;
    fn sstore(
        &mut self,
        address: Address,
        key: Uint<256, 4>,
        value: Uint<256, 4>,
    ) -> Result<StateLoad<SStoreResult>, <Self::Database as Database>::Error>;
    fn tload(&mut self, address: Address, key: Uint<256, 4>) -> Uint<256, 4>;
    fn tstore(
        &mut self,
        address: Address,
        key: Uint<256, 4>,
        value: Uint<256, 4>,
    );
    fn log(&mut self, log: Log);
    fn selfdestruct(
        &mut self,
        address: Address,
        target: Address,
    ) -> Result<StateLoad<SelfDestructResult>, <Self::Database as Database>::Error>;
    fn warm_account_and_storage(
        &mut self,
        address: Address,
        storage_keys: impl IntoIterator<Item = Uint<256, 4>>,
    ) -> Result<(), <Self::Database as Database>::Error>;
    fn warm_account(&mut self, address: Address);
    fn warm_precompiles(&mut self, addresses: HashSet<Address>);
    fn precompile_addresses(&self) -> &HashSet<Address>;
    fn set_spec_id(&mut self, spec_id: SpecId);
    fn touch_account(&mut self, address: Address);
    fn transfer(
        &mut self,
        from: Address,
        to: Address,
        balance: Uint<256, 4>,
    ) -> Result<Option<TransferError>, <Self::Database as Database>::Error>;
    fn inc_account_nonce(
        &mut self,
        address: Address,
    ) -> Result<Option<u64>, <Self::Database as Database>::Error>;
    fn load_account(
        &mut self,
        address: Address,
    ) -> Result<StateLoad<&mut Account>, <Self::Database as Database>::Error>;
    fn load_account_code(
        &mut self,
        address: Address,
    ) -> Result<StateLoad<&mut Account>, <Self::Database as Database>::Error>;
    fn load_account_delegated(
        &mut self,
        address: Address,
    ) -> Result<StateLoad<AccountLoad>, <Self::Database as Database>::Error>;
    fn set_code_with_hash(
        &mut self,
        address: Address,
        code: Bytecode,
        hash: FixedBytes<32>,
    );
    fn clear(&mut self);
    fn checkpoint(&mut self) -> JournalCheckpoint;
    fn checkpoint_commit(&mut self);
    fn checkpoint_revert(&mut self, checkpoint: JournalCheckpoint);
    fn create_account_checkpoint(
        &mut self,
        caller: Address,
        address: Address,
        balance: Uint<256, 4>,
        spec_id: SpecId,
    ) -> Result<JournalCheckpoint, TransferError>;
    fn depth(&self) -> usize;
    fn finalize(&mut self) -> Self::FinalOutput;

    // Provided methods
    fn set_code(&mut self, address: Address, code: Bytecode) { ... }
    fn code(
        &mut self,
        address: Address,
    ) -> Result<StateLoad<Bytes>, <Self::Database as Database>::Error> { ... }
    fn code_hash(
        &mut self,
        address: Address,
    ) -> Result<StateLoad<FixedBytes<32>>, <Self::Database as Database>::Error> { ... }
}

Trait that contains database and journal of all changes that were made to the state.

Required Associated Types

type Database: Database

type FinalOutput

Required Methods

fn new(database: Self::Database) -> Self

Creates new Journaled state.

Dont forget to set spec_id.

fn db_ref(&self) -> &Self::Database

Returns the database.

fn db(&mut self) -> &mut Self::Database

Returns the mutable database.

fn sload( &mut self, address: Address, key: Uint<256, 4>, ) -> Result<StateLoad<Uint<256, 4>>, <Self::Database as Database>::Error>

Returns the storage value from Journal state.

Loads the storage from database if not found in Journal state.

fn sstore( &mut self, address: Address, key: Uint<256, 4>, value: Uint<256, 4>, ) -> Result<StateLoad<SStoreResult>, <Self::Database as Database>::Error>

Stores the storage value in Journal state.

fn tload(&mut self, address: Address, key: Uint<256, 4>) -> Uint<256, 4>

Loads transient storage value.

fn tstore(&mut self, address: Address, key: Uint<256, 4>, value: Uint<256, 4>)

Stores transient storage value.

fn log(&mut self, log: Log)

Logs the log in Journal state.

fn selfdestruct( &mut self, address: Address, target: Address, ) -> Result<StateLoad<SelfDestructResult>, <Self::Database as Database>::Error>

Marks the account for selfdestruction and transfers all the balance to the target.

fn warm_account_and_storage( &mut self, address: Address, storage_keys: impl IntoIterator<Item = Uint<256, 4>>, ) -> Result<(), <Self::Database as Database>::Error>

Warms the account and storage.

fn warm_account(&mut self, address: Address)

Warms the account.

fn warm_precompiles(&mut self, addresses: HashSet<Address>)

Warms the precompiles.

fn precompile_addresses(&self) -> &HashSet<Address>

Returns the addresses of the precompiles.

fn set_spec_id(&mut self, spec_id: SpecId)

Sets the spec id.

fn touch_account(&mut self, address: Address)

Touches the account.

fn transfer( &mut self, from: Address, to: Address, balance: Uint<256, 4>, ) -> Result<Option<TransferError>, <Self::Database as Database>::Error>

Transfers the balance from one account to another.

fn inc_account_nonce( &mut self, address: Address, ) -> Result<Option<u64>, <Self::Database as Database>::Error>

Increments the nonce of the account.

fn load_account( &mut self, address: Address, ) -> Result<StateLoad<&mut Account>, <Self::Database as Database>::Error>

Loads the account.

fn load_account_code( &mut self, address: Address, ) -> Result<StateLoad<&mut Account>, <Self::Database as Database>::Error>

Loads the account code.

fn load_account_delegated( &mut self, address: Address, ) -> Result<StateLoad<AccountLoad>, <Self::Database as Database>::Error>

Loads the account delegated.

fn set_code_with_hash( &mut self, address: Address, code: Bytecode, hash: FixedBytes<32>, )

Sets bytecode with hash. Assume that account is warm.

fn clear(&mut self)

Called at the end of the transaction to clean all residue data from journal.

fn checkpoint(&mut self) -> JournalCheckpoint

Creates a checkpoint of the current state. State can be revert to this point if needed.

fn checkpoint_commit(&mut self)

Commits the changes made since the last checkpoint.

fn checkpoint_revert(&mut self, checkpoint: JournalCheckpoint)

Reverts the changes made since the last checkpoint.

fn create_account_checkpoint( &mut self, caller: Address, address: Address, balance: Uint<256, 4>, spec_id: SpecId, ) -> Result<JournalCheckpoint, TransferError>

Creates a checkpoint of the account creation.

fn depth(&self) -> usize

Returns the depth of the journal.

fn finalize(&mut self) -> Self::FinalOutput

Does cleanup and returns modified state.

This resets the JournalTr to its initial state.

Provided Methods

fn set_code(&mut self, address: Address, code: Bytecode)

Sets bytecode and calculates hash.

Assume account is warm.

fn code( &mut self, address: Address, ) -> Result<StateLoad<Bytes>, <Self::Database as Database>::Error>

Returns account code bytes and if address is cold loaded.

In case of EOF account it will return EOF_MAGIC (0xEF00) as code.

fn code_hash( &mut self, address: Address, ) -> Result<StateLoad<FixedBytes<32>>, <Self::Database as Database>::Error>

Gets code hash of account.

In case of EOF account it will return EOF_MAGIC_HASH (the hash of 0xEF00).

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<DB: Database, ENTRY: JournalEntryTr> JournalTr for Journal<DB, ENTRY>

type Database = DB

type FinalOutput = JournalOutput