Enum snarkvm_synthesizer_program::logic::command::Command

pub enum Command<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(BranchEq<N>),
    BranchNeq(BranchNeq<N>),
    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(BranchEq<N>)

Jumps to the position, if first equals second.

BranchNeq(BranchNeq<N>)

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: Network> Command<N>

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>>>

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> CommandTrait<N> for Command<N>

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: 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 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>, 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>