Struct RegisterTypes 

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

Implementations

impl<N: Network> RegisterTypes<N>

pub fn matches_struct( &self, stack: &Stack<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: &Stack<N>, operands: &[Operand<N>], array_type: &ArrayType<N>, ) -> Result<()>

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

pub fn matches_record( &self, stack: &Stack<N>, operands: &[Operand<N>], record_type: &RecordType<N>, ) -> Result<()>

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

impl<N: Network> RegisterTypes<N>

pub fn from_closure(stack: &Stack<N>, closure: &Closure<N>) -> Result<Self>

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: &Stack<N>, function: &Function<N>) -> Result<Self>

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 StackTrait<N>, operand: &Operand<N>, ) -> Result<RegisterType<N>>

Returns the register type of the given operand.

pub fn get_type( &self, stack: &impl StackTrait<N>, register: &Register<N>, ) -> Result<RegisterType<N>>

Returns the register type of the given register.

Trait Implementations

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

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

fn default() -> RegisterTypes<N>

Returns the “default value” for a type.

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

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 + Network> Eq for RegisterTypes<N>

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