Struct snarkvm_compiler::ProgramMemory

source · [−]

pub struct ProgramMemory<N: Network> { /* private fields */ }

Expand description

An in-memory program state storage.

Trait Implementations

source

impl<N: Clone + Network> Clone for ProgramMemory<N>

source

fn clone(&self) -> ProgramMemory<N>

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

impl<N: Network> ProgramStorage<N> for ProgramMemory<N>

source

fn open() -> Result<Self>

Initializes the program state storage.

source

fn program_id_map(&self) -> &Self::ProgramIDMap

Returns the program ID map.

source

fn mapping_id_map(&self) -> &Self::MappingIDMap

Returns the mapping ID map.

source

fn key_value_id_map(&self) -> &Self::KeyValueIDMap

Returns the key-value ID map.

source

fn key_map(&self) -> &Self::KeyMap

Returns the key map.

source

fn value_map(&self) -> &Self::ValueMap

Returns the value map.

type ProgramIDMap = MemoryMap<ProgramID<N>, IndexSet<Identifier<N>, RandomState>>

The mapping of program ID to [mapping name].

type MappingIDMap = MemoryMap<(ProgramID<N>, Identifier<N>), Field<N>>

The mapping of (program ID, mapping name) to mapping ID.

type KeyValueIDMap = MemoryMap<Field<N>, IndexMap<Field<N>, Field<N>, RandomState>>

The mapping of mapping ID to [(key ID, value ID)].

type KeyMap = MemoryMap<Field<N>, Plaintext<N>>

The mapping of key ID to key.

type ValueMap = MemoryMap<Field<N>, Value<N>>

The mapping of key ID to value.

source

fn start_atomic(&self)

Starts an atomic batch write operation.

source

fn is_atomic_in_progress(&self) -> bool

Checks if an atomic batch is in progress.

source

fn abort_atomic(&self)

Aborts an atomic batch write operation.

source

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

Finishes an atomic batch write operation.

source

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

Initializes the given program ID and mapping name in storage.

source

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

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

source

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

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

source

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

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

source

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

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

source

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. Read more

source

fn contains_program(&self, program_id: &ProgramID<N>) -> Result<bool>

Returns true if the given program ID exist.

source

fn contains_mapping(
 &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(
 &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_mapping_names(
&self,
program_id: &ProgramID<N>
) -> Result<Option<IndexSet<Identifier<N>>>>

Returns the mapping names for the given program ID.

source

fn get_mapping_id(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>
) -> Result<Option<Field<N>>>

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

source

fn get_key_id(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>,
 key: &Plaintext<N>
) -> Result<Option<Field<N>>>

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

source

fn get_key(&self, key_id: &Field<N>) -> Result<Option<Plaintext<N>>>

Returns the key for the given key ID.

source

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

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

source

fn get_value_from_key_id(&self, key_id: &Field<N>) -> Result<Option<Value<N>>>

Returns the value for the given key ID.

source

fn get_checksum(&self) -> Result<Field<N>>

Returns the checksum.

Auto Trait Implementations

impl<N> !RefUnwindSafe for ProgramMemory<N>

impl<N> Send for ProgramMemory<N>

impl<N> Sync for ProgramMemory<N>

impl<N> Unpin for ProgramMemory<N>

impl<N> !UnwindSafe for ProgramMemory<N>

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T> Instrument for T

source

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

source

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

impl<V, T> VZip<V> for T where
V: MultiLane<T>,

fn vzip(self) -> V

source

impl<T> WithSubscriber for T

source

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

source

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

Struct snarkvm_compiler::ProgramMemory

Trait Implementations

impl<N: Clone + Network> Clone for ProgramMemory<N>

fn clone(&self) -> ProgramMemory<N>

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

impl<N: Network> ProgramStorage<N> for ProgramMemory<N>

fn open() -> Result<Self>

fn program_id_map(&self) -> &Self::ProgramIDMap

fn mapping_id_map(&self) -> &Self::MappingIDMap

fn key_value_id_map(&self) -> &Self::KeyValueIDMap

fn key_map(&self) -> &Self::KeyMap

fn value_map(&self) -> &Self::ValueMap

type ProgramIDMap = MemoryMap<ProgramID<N>, IndexSet<Identifier<N>, RandomState>>

type MappingIDMap = MemoryMap<(ProgramID<N>, Identifier<N>), Field<N>>

type KeyValueIDMap = MemoryMap<Field<N>, IndexMap<Field<N>, Field<N>, RandomState>>

type KeyMap = MemoryMap<Field<N>, Plaintext<N>>

type ValueMap = MemoryMap<Field<N>, Value<N>>

fn start_atomic(&self)

fn is_atomic_in_progress(&self) -> bool

fn abort_atomic(&self)

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

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

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

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

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

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

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

fn contains_program(&self, program_id: &ProgramID<N>) -> Result<bool>

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

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

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

fn get_mapping_id( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>) -> Result<Option<Field<N>>>

fn get_key_id( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>, key: &Plaintext<N>) -> Result<Option<Field<N>>>

fn get_key(&self, key_id: &Field<N>) -> Result<Option<Plaintext<N>>>

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

fn get_value_from_key_id(&self, key_id: &Field<N>) -> Result<Option<Value<N>>>

fn get_checksum(&self) -> Result<Field<N>>

Auto Trait Implementations

impl<N> !RefUnwindSafe for ProgramMemory<N>

impl<N> Send for ProgramMemory<N>

impl<N> Sync for ProgramMemory<N>

impl<N> Unpin for ProgramMemory<N>

impl<N> !UnwindSafe for ProgramMemory<N>

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same<T> for T

type Output = T

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for T where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where S: Into<Dispatch>,

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

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

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

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

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

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

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

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

fn get_mapping_id(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>
) -> Result<Option<Field<N>>>

fn get_key_id(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>,
key: &Plaintext<N>
) -> Result<Option<Field<N>>>

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

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

impl<V, T> VZip<V> for T where
V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,