Struct snarkvm_ledger_store::FinalizeStore
source · pub struct FinalizeStore<N: Network, P: FinalizeStorage<N>> { /* private fields */ }
Expand description
The finalize store.
Implementations§
source§impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
sourcepub fn start_atomic(&self)
pub fn start_atomic(&self)
Starts an atomic batch write operation.
sourcepub fn is_atomic_in_progress(&self) -> bool
pub fn is_atomic_in_progress(&self) -> bool
Checks if an atomic batch is in progress.
sourcepub fn atomic_checkpoint(&self)
pub fn atomic_checkpoint(&self)
Checkpoints the atomic batch.
sourcepub fn clear_latest_checkpoint(&self)
pub fn clear_latest_checkpoint(&self)
Clears the latest atomic batch checkpoint.
sourcepub fn atomic_rewind(&self)
pub fn atomic_rewind(&self)
Rewinds the atomic batch to the previous checkpoint.
sourcepub fn abort_atomic(&self)
pub fn abort_atomic(&self)
Aborts an atomic batch write operation.
sourcepub fn finish_atomic(&self) -> Result<()>
pub fn finish_atomic(&self) -> Result<()>
Finishes an atomic batch write operation.
source§impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
sourcepub fn committee_store(&self) -> &CommitteeStore<N, P::CommitteeStorage>
pub fn committee_store(&self) -> &CommitteeStore<N, P::CommitteeStorage>
Returns the committee store.
source§impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
sourcepub fn initialize_mapping(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>
) -> Result<FinalizeOperation<N>>
pub fn initialize_mapping( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<FinalizeOperation<N>>
Initializes the given program ID
and mapping name
in storage.
If the mapping name
is already initialized, an error is returned.
sourcepub fn replace_mapping(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>,
entries: Vec<(Plaintext<N>, Value<N>)>
) -> Result<FinalizeOperation<N>>
pub fn replace_mapping( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, entries: Vec<(Plaintext<N>, Value<N>)> ) -> Result<FinalizeOperation<N>>
Replaces the mapping for the given program ID
and mapping name
from storage,
with the given key-value
pairs.
sourcepub fn remove_mapping(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>
) -> Result<FinalizeOperation<N>>
pub fn remove_mapping( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<FinalizeOperation<N>>
Removes the mapping for the given program ID
and mapping name
from storage,
along with all associated key-value pairs in storage.
sourcepub fn remove_program(&self, program_id: &ProgramID<N>) -> Result<()>
pub fn remove_program(&self, program_id: &ProgramID<N>) -> Result<()>
Removes the program for the given program ID
from storage,
along with all associated mappings and key-value pairs in storage.
source§impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
sourcepub fn contains_program_confirmed(
&self,
program_id: &ProgramID<N>
) -> Result<bool>
pub fn contains_program_confirmed( &self, program_id: &ProgramID<N> ) -> Result<bool>
Returns true
if the given program ID
exist.
sourcepub fn contains_key_confirmed(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>,
key: &Plaintext<N>
) -> Result<bool>
pub fn contains_key_confirmed( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<bool>
Returns true
if the given program ID
, mapping name
, and key
exist.
source§impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
impl<N: Network, P: FinalizeStorage<N>> FinalizeStore<N, P>
sourcepub fn get_mapping_names_confirmed(
&self,
program_id: &ProgramID<N>
) -> Result<Option<IndexSet<Identifier<N>>>>
pub fn get_mapping_names_confirmed( &self, program_id: &ProgramID<N> ) -> Result<Option<IndexSet<Identifier<N>>>>
Returns the confirmed mapping names for the given program ID
.
sourcepub fn get_mapping_confirmed(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>
) -> Result<Vec<(Plaintext<N>, Value<N>)>>
pub fn get_mapping_confirmed( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<Vec<(Plaintext<N>, Value<N>)>>
Returns the confirmed mapping entries for the given program ID
and mapping name
.
sourcepub fn get_mapping_speculative(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>
) -> Result<Vec<(Plaintext<N>, Value<N>)>>
pub fn get_mapping_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<Vec<(Plaintext<N>, Value<N>)>>
Returns the speculative mapping entries for the given program ID
and mapping name
.
sourcepub fn get_value_confirmed(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>,
key: &Plaintext<N>
) -> Result<Option<Value<N>>>
pub fn get_value_confirmed( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<Value<N>>>
Returns the confirmed value for the given program ID
, mapping name
, and key
.
sourcepub fn get_value_speculative(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>,
key: &Plaintext<N>
) -> Result<Option<Value<N>>>
pub fn get_value_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<Value<N>>>
Returns the speculative value for the given program ID
, mapping name
, and key
.
sourcepub fn get_checksum_confirmed(&self) -> Result<Field<N>>
pub fn get_checksum_confirmed(&self) -> Result<Field<N>>
Returns the confirmed checksum of the finalize store.
Trait Implementations§
source§impl<N: Clone + Network, P: Clone + FinalizeStorage<N>> Clone for FinalizeStore<N, P>
impl<N: Clone + Network, P: Clone + FinalizeStorage<N>> Clone for FinalizeStore<N, P>
source§fn clone(&self) -> FinalizeStore<N, P>
fn clone(&self) -> FinalizeStore<N, P>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<N: Network, P: FinalizeStorage<N>> FinalizeStoreTrait<N> for FinalizeStore<N, P>
impl<N: Network, P: FinalizeStorage<N>> FinalizeStoreTrait<N> for FinalizeStore<N, P>
source§fn contains_mapping_confirmed(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>
) -> Result<bool>
fn contains_mapping_confirmed( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N> ) -> Result<bool>
Returns true
if the given program ID
and mapping name
exist.
source§fn contains_key_speculative(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>,
key: &Plaintext<N>
) -> Result<bool>
fn contains_key_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<bool>
Returns true
if the given program ID
, mapping name
, and key
exist.
source§fn get_value_speculative(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>,
key: &Plaintext<N>
) -> Result<Option<Value<N>>>
fn get_value_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<Value<N>>>
Returns the speculative value for the given program ID
, mapping name
, and key
.
source§fn insert_key_value(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>,
key: Plaintext<N>,
value: Value<N>
) -> Result<FinalizeOperation<N>>
fn insert_key_value( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: Plaintext<N>, value: Value<N> ) -> Result<FinalizeOperation<N>>
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.
source§fn update_key_value(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>,
key: Plaintext<N>,
value: Value<N>
) -> Result<FinalizeOperation<N>>
fn update_key_value( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: Plaintext<N>, value: Value<N> ) -> Result<FinalizeOperation<N>>
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.
source§fn remove_key_value(
&self,
program_id: ProgramID<N>,
mapping_name: Identifier<N>,
key: &Plaintext<N>
) -> Result<Option<FinalizeOperation<N>>>
fn remove_key_value( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<FinalizeOperation<N>>>
Removes the key-value pair for the given program ID
, mapping name
, and key
from storage.