Struct RegisterTypes 

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

Implementations

impl<N> RegisterTypes<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.

pub fn matches_record( &self, stack: &(impl StackMatches<N> + StackProgram<N>), operands: &[Operand<N>], record_type: &RecordType<N>, ) -> Result<(), Error>

Checks that the given record matches the layout of the record type.

impl<N> RegisterTypes<N>

where N: Network,

pub fn from_closure( stack: &(impl StackMatches<N> + StackProgram<N>), closure: &ClosureCore<N, Instruction<N>>, ) -> Result<RegisterTypes<N>, Error>

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

pub fn from_function( stack: &(impl StackMatches<N> + StackProgram<N>), function: &FunctionCore<N, Instruction<N>, Command<N>>, ) -> Result<RegisterTypes<N>, Error>

Initializes a new instance of RegisterTypes for the given function. Checks that the given function 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<RegisterType<N>, Error>

Returns the register type of the given operand.

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

Returns the register type of the given register.

Trait Implementations

impl<N> Clone for RegisterTypes<N>

where N: Clone + Network,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<N> Default for RegisterTypes<N>

where N: Default + Network,

fn default() -> RegisterTypes<N>

Returns the “default value” for a type.

impl<N> PartialEq for RegisterTypes<N>

where N: PartialEq + Network,

fn eq(&self, other: &RegisterTypes<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 for RegisterTypes<N>

where N: Eq + Network,

impl<N> StructuralPartialEq for RegisterTypes<N>

where N: Network,