Enum snarkvm_synthesizer::program::finalize::Command

pub enum Command<N: Network> {
    Instruction(Instruction<N>),
    Contains(Contains<N>),
    Get(Get<N>),
    GetOrUse(GetOrUse<N>),
    RandChaCha(RandChaCha<N>),
    Remove(Remove<N>),
    Set(Set<N>),
}

Variants

Instruction(Instruction<N>)

Evaluates the instruction.

Contains(Contains<N>)

Returns true if the key operand is present in mapping, and stores the result into destination.

Get(Get<N>)

Gets the value stored at the key operand in mapping and stores the result into destination.

GetOrUse(GetOrUse<N>)

Gets the value stored at the key operand in mapping and stores the result into destination. If the key is not present, default is stored destination.

RandChaCha(RandChaCha<N>)

Generates a random value using the rand.chacha command and stores the result into destination.

Remove(Remove<N>)

Removes the (key, value) entry from the mapping.

Set(Set<N>)

Sets the value stored at the key operand in the mapping to value.

Implementations

impl<N: Network> Command<N>

pub fn finalize<P: FinalizeStorage<N>>( &self, stack: &Stack<N>, store: &FinalizeStore<N, P>, registers: &mut FinalizeRegisters<N> ) -> Result<Option<FinalizeOperation<N>>>

Finalizes the command.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Network> Debug for Command<N>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Prints the command as a string.

impl<N: Network> Display for Command<N>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Prints the command as a string.

impl<N: Network> FromBytes for Command<N>

fn read_le<R: Read>(reader: R) -> IoResult<Self>

Reads the command from a buffer.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>where Self: Sized,

Returns Self from a byte array in little-endian order.

impl<N: Network> FromStr for Command<N>

fn from_str(string: &str) -> Result<Self>

Parses the string into the command.

type Err = Error

The associated error which can be returned from parsing.

impl<N: Hash + Network> Hash for Command<N>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<N: Network> Parser for Command<N>

fn parse(string: &str) -> ParserResult<'_, Self>

Parses the string into the command.

impl<N: PartialEq + Network> PartialEq<Command<N>> for Command<N>

fn eq(&self, other: &Command<N>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<N: Network> ToBytes for Command<N>

fn write_le<W: Write>(&self, writer: W) -> IoResult<()>

Writes the command to a buffer.

fn to_bytes_le(&self) -> Result<Vec<u8, Global>, Error>where Self: Sized,

Returns self as a byte array in little-endian order.

impl<N: Eq + Network> Eq for Command<N>

impl<N: Network> StructuralEq for Command<N>

impl<N: Network> StructuralPartialEq for Command<N>