Trait snarkvm_compiler::ExecutionStorage

pub trait ExecutionStorage<N: Network>: Clone + Sync {
    type IDMap: for<'a> Map<'a, N::TransactionID, (Vec<N::TransitionID>, Option<N::TransitionID>)>;
    type ReverseIDMap: for<'a> Map<'a, N::TransitionID, N::TransactionID>;
    type EditionMap: for<'a> Map<'a, N::TransactionID, u16>;
    type TransitionStorage: TransitionStorage<N>;

    fn open(
        transition_store: TransitionStore<N, Self::TransitionStorage>
    ) -> Result<Self>;
    fn id_map(&self) -> &Self::IDMap;
    fn reverse_id_map(&self) -> &Self::ReverseIDMap;
    fn edition_map(&self) -> &Self::EditionMap;
    fn transition_store(&self) -> &TransitionStore<N, Self::TransitionStorage>;

    fn start_atomic(&self) { ... }
    fn is_atomic_in_progress(&self) -> bool { ... }
    fn abort_atomic(&self) { ... }
    fn finish_atomic(&self) -> Result<()> { ... }
    fn insert(&self, transaction: &Transaction<N>) -> Result<()> { ... }
    fn remove(&self, transaction_id: &N::TransactionID) -> Result<()> { ... }
    fn find_transaction_id(
        &self,
        transition_id: &N::TransitionID
    ) -> Result<Option<N::TransactionID>> { ... }
    fn get_execution(
        &self,
        transaction_id: &N::TransactionID
    ) -> Result<Option<Execution<N>>> { ... }
    fn get_transaction(
        &self,
        transaction_id: &N::TransactionID
    ) -> Result<Option<Transaction<N>>> { ... }
}

A trait for execution storage.

Required Associated Types

type IDMap: for<'a> Map<'a, N::TransactionID, (Vec<N::TransitionID>, Option<N::TransitionID>)>

The mapping of transaction ID to ([transition ID], (optional) transition ID).

type ReverseIDMap: for<'a> Map<'a, N::TransitionID, N::TransactionID>

The mapping of transition ID to transaction ID.

type EditionMap: for<'a> Map<'a, N::TransactionID, u16>

The mapping of program ID to edition.

type TransitionStorage: TransitionStorage<N>

The transition storage.

Required Methods

fn open(
    transition_store: TransitionStore<N, Self::TransitionStorage>
) -> Result<Self>

Initializes the execution storage.

fn id_map(&self) -> &Self::IDMap

Returns the ID map.

fn reverse_id_map(&self) -> &Self::ReverseIDMap

Returns the reverse ID map.

fn edition_map(&self) -> &Self::EditionMap

Returns the edition map.

fn transition_store(&self) -> &TransitionStore<N, Self::TransitionStorage>

Returns the transition store.

Provided Methods

fn start_atomic(&self)

Starts an atomic batch write operation.

fn is_atomic_in_progress(&self) -> bool

Checks if an atomic batch is in progress.

fn abort_atomic(&self)

Aborts an atomic batch write operation.

fn finish_atomic(&self) -> Result<()>

Finishes an atomic batch write operation.

fn insert(&self, transaction: &Transaction<N>) -> Result<()>

Stores the given execution transaction pair into storage.

fn remove(&self, transaction_id: &N::TransactionID) -> Result<()>

Removes the execution transaction for the given transaction ID.

fn find_transaction_id(
    &self,
    transition_id: &N::TransitionID
) -> Result<Option<N::TransactionID>>

Returns the transaction ID that contains the given transition ID.

fn get_execution(
    &self,
    transaction_id: &N::TransactionID
) -> Result<Option<Execution<N>>>

Returns the execution for the given transaction ID.

fn get_transaction(
    &self,
    transaction_id: &N::TransactionID
) -> Result<Option<Transaction<N>>>

Returns the transaction for the given transaction ID.

Implementors

impl<N: Network> ExecutionStorage<N> for ExecutionMemory<N>

type IDMap = MemoryMap<<N as Network>::TransactionID, (Vec<<N as Network>::TransitionID, Global>, Option<<N as Network>::TransitionID>)>

type ReverseIDMap = MemoryMap<<N as Network>::TransitionID, <N as Network>::TransactionID>

type EditionMap = MemoryMap<<N as Network>::TransactionID, u16>

type TransitionStorage = TransitionMemory<N>