Enum snarkvm_synthesizer::Command

pub enum Command<N>where
    N: Network,{
    Instruction(Instruction<N>),
    Await(Await<N>),
    Contains(Contains<N>),
    Get(Get<N>),
    GetOrUse(GetOrUse<N>),
    RandChaCha(RandChaCha<N>),
    Remove(Remove<N>),
    Set(Set<N>),
    BranchEq(Branch<N, snarkvm_synthesizer_program::::logic::command::branch::BranchEq::{constant#0}>),
    BranchNeq(Branch<N, snarkvm_synthesizer_program::::logic::command::branch::BranchNeq::{constant#0}>),
    Position(Position<N>),
}

Variants

Instruction(Instruction<N>)

Evaluates the instruction.

Await(Await<N>)

Awaits the result of a future.

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.

BranchEq(Branch<N, snarkvm_synthesizer_program::::logic::command::branch::BranchEq::{constant#0}>)

Jumps to the position, if first equals second.

BranchNeq(Branch<N, snarkvm_synthesizer_program::::logic::command::branch::BranchNeq::{constant#0}>)

Jumps to the position, if first does not equal second.

Position(Position<N>)

Indicates a position to which the program can branch to.

Implementations

impl<N> Command<N>where N: Network,

pub fn finalize( &self, stack: &(impl StackMatches<N> + StackProgram<N>), store: &impl FinalizeStoreTrait<N>, registers: &mut (impl RegistersLoad<N> + RegistersStore<N> + FinalizeRegistersState<N>) ) -> Result<Option<FinalizeOperation<N>>, Error>

Finalizes the command.

Trait Implementations

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

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> CommandTrait<N> for Command<N>where N: Network,

fn destinations(&self) -> Vec<Register<N>>

Returns the destination registers of the command.

fn branch_to(&self) -> Option<&Identifier<N>>

Returns the branch target, if the command is a branch command. Otherwise, returns None.

fn position(&self) -> Option<&Identifier<N>>

Returns the position name, if the command is a position command. Otherwise, returns None.

fn is_call(&self) -> bool

Returns true if the command is a call instruction.

fn is_cast_to_record(&self) -> bool

Returns true if the command is a cast to record instruction.

fn is_write(&self) -> bool

Returns true if the command is a write operation.

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

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

Prints the command as a string.

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

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

Prints the command as a string.

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

fn read_le<R>(reader: R) -> Result<Command<N>, Error>where R: Read,

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> FromStr for Command<N>where N: Network,

fn from_str(string: &str) -> Result<Command<N>, Error>

Parses the string into the command.

type Err = Error

The associated error which can be returned from parsing.

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

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

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> Parser for Command<N>where N: Network,

fn parse(string: &str) -> Result<(&str, Command<N>), Err<VerboseError<&str>>>

Parses the string into the command.

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

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> ToBytes for Command<N>where N: Network,

fn write_le<W>(&self, writer: W) -> Result<(), Error>where W: Write,

Writes the command to a buffer.

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

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

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

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

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