Struct FinalizeTypes

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

Implementations

impl<N: Network> FinalizeTypes<N>

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

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

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

impl<N: Network> FinalizeTypes<N>

pub fn from_finalize( stack: &(impl StackMatches<N> + StackProgram<N>), finalize: &Finalize<N>, ) -> Result<Self>

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

Returns the type of the given operand.

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

Returns the type of the given register.

Trait Implementations

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

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 + Network> Default for FinalizeTypes<N>

fn default() -> FinalizeTypes<N>

Returns the “default value” for a type.

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

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

Tests for self and other values to be equal, and is used by ==.

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

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

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

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