Struct snarkvm_synthesizer::prelude::FinalizeTypes

pub struct FinalizeTypes<N>where
    N: Network,{ /* private fields */ }

Implementations

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

pub fn matches_struct( &self, stack: &(impl StackMatches<N> + StackProgram<N>), operands: &[Operand<N>], struct_: &StructType<N> ) -> Result<(), Error>

Checks that the given operands matches the layout of the struct. The ordering of the operands matters.

pub fn matches_array( &self, stack: &(impl StackMatches<N> + StackProgram<N>), operands: &[Operand<N>], array_type: &ArrayType<N> ) -> Result<(), Error>

Checks that the given operands matches the layout of the array.

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

pub fn from_finalize( stack: &(impl StackMatches<N> + StackProgram<N>), finalize: &FinalizeCore<N, Command<N>> ) -> Result<FinalizeTypes<N>, Error>

Initializes a new instance of FinalizeTypes for the given finalize. Checks that the given finalize is well-formed for the given stack.

pub fn contains(&self, register: &Register<N>) -> bool

Returns true if the given register exists.

pub fn is_input(&self, register: &Register<N>) -> bool

Returns true if the given register corresponds to an input register.

pub fn get_type_from_operand( &self, stack: &(impl StackMatches<N> + StackProgram<N>), operand: &Operand<N> ) -> Result<FinalizeType<N>, Error>

Returns the type of the given operand.

pub fn get_type( &self, stack: &(impl StackMatches<N> + StackProgram<N>), register: &Register<N> ) -> Result<FinalizeType<N>, Error>

Returns the type of the given register.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N> Default for FinalizeTypes<N>where N: Default + Network,

fn default() -> FinalizeTypes<N>

Returns the “default value” for a type.

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

fn eq(&self, other: &FinalizeTypes<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> Eq for FinalizeTypes<N>where N: Eq + Network,

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

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