Struct snarkvm_debug::prelude::store::FinalizeStore

pub struct FinalizeStore<N, P>
where
    N: Network,
    P: FinalizeStorage<N>,
{ /* private fields */ }

The finalize store.

Implementations

impl<N, P> FinalizeStore<N, P>

where N: Network, P: FinalizeStorage<N>,

pub fn open(dev: Option<u16>) -> Result<FinalizeStore<N, P>, Error>

Initializes the finalize store.

pub fn from(storage: P) -> Result<FinalizeStore<N, P>, Error>

Initializes a finalize store from storage.

pub fn start_atomic(&self)

Starts an atomic batch write operation.

pub fn is_atomic_in_progress(&self) -> bool

Checks if an atomic batch is in progress.

pub fn atomic_checkpoint(&self)

Checkpoints the atomic batch.

pub fn clear_latest_checkpoint(&self)

Clears the latest atomic batch checkpoint.

pub fn atomic_rewind(&self)

Rewinds the atomic batch to the previous checkpoint.

pub fn abort_atomic(&self)

Aborts an atomic batch write operation.

pub fn finish_atomic(&self) -> Result<(), Error>

Finishes an atomic batch write operation.

pub fn dev(&self) -> Option<u16>

Returns the optional development ID.

impl<N, P> FinalizeStore<N, P>

where N: Network, P: FinalizeStorage<N>,

pub fn committee_store( &self ) -> &CommitteeStore<N, <P as FinalizeStorage<N>>::CommitteeStorage>

Returns the committee store.

impl<N, P> FinalizeStore<N, P>

where N: Network, P: FinalizeStorage<N>,

pub fn initialize_mapping( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<FinalizeOperation<N>, Error>

Initializes the given program ID and mapping name in storage. If the mapping name is already initialized, an error is returned.

pub fn replace_mapping( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, entries: Vec<(Plaintext<N>, Value<N>)> ) -> Result<FinalizeOperation<N>, Error>

Replaces the mapping for the given program ID and mapping name from storage, with the given key-value pairs.

pub fn remove_mapping( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<FinalizeOperation<N>, Error>

Removes the mapping for the given program ID and mapping name from storage, along with all associated key-value pairs in storage.

pub fn remove_program(&self, program_id: &ProgramID<N>) -> Result<(), Error>

Removes the program for the given program ID from storage, along with all associated mappings and key-value pairs in storage.

impl<N, P> FinalizeStore<N, P>

where N: Network, P: FinalizeStorage<N>,

pub fn contains_program_confirmed( &self, program_id: &ProgramID<N> ) -> Result<bool, Error>

Returns true if the given program ID exist.

pub fn contains_key_confirmed( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<bool, Error>

Returns true if the given program ID, mapping name, and key exist.

impl<N, P> FinalizeStore<N, P>

where N: Network, P: FinalizeStorage<N>,

pub fn get_mapping_names_confirmed( &self, program_id: &ProgramID<N> ) -> Result<Option<IndexSet<Identifier<N>>>, Error>

Returns the confirmed mapping names for the given program ID.

pub fn get_mapping_confirmed( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<Vec<(Plaintext<N>, Value<N>)>, Error>

Returns the confirmed mapping entries for the given program ID and mapping name.

pub fn get_mapping_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<Vec<(Plaintext<N>, Value<N>)>, Error>

Returns the speculative mapping entries for the given program ID and mapping name.

pub fn get_value_confirmed( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<Value<N>>, Error>

Returns the confirmed value for the given program ID, mapping name, and key.

pub fn get_value_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<Value<N>>, Error>

Returns the speculative value for the given program ID, mapping name, and key.

pub fn get_checksum_confirmed(&self) -> Result<Field<N>, Error>

Returns the confirmed checksum of the finalize store.

Trait Implementations

impl<N, P> Clone for FinalizeStore<N, P>

where N: Clone + Network, P: Clone + FinalizeStorage<N>,

fn clone(&self) -> FinalizeStore<N, P>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N, P> FinalizeStoreTrait<N> for FinalizeStore<N, P>

where N: Network, P: FinalizeStorage<N>,

fn contains_mapping_confirmed( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N> ) -> Result<bool, Error>

Returns true if the given program ID and mapping name exist.

fn contains_key_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<bool, Error>

Returns true if the given program ID, mapping name, and key exist.

fn get_value_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<Value<N>>, Error>

Returns the speculative value for the given program ID, mapping name, and key.

fn insert_key_value( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: Plaintext<N>, value: Value<N> ) -> Result<FinalizeOperation<N>, Error>

Stores the given (key, value) pair at the given program ID and mapping name in storage. If the mapping name is not initialized, an error is returned. If the key already exists, the method returns an error.

fn update_key_value( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: Plaintext<N>, value: Value<N> ) -> Result<FinalizeOperation<N>, Error>

Stores the given (key, value) pair at the given program ID and mapping name in storage. If the mapping name is not initialized, an error is returned. If the key does not exist, the (key, value) pair is initialized. If the key already exists, the value is overwritten.

fn remove_key_value( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<FinalizeOperation<N>>, Error>

Removes the key-value pair for the given program ID, mapping name, and key from storage.