Struct leo_ast::input::program_input::registers::Registers

pub struct Registers { /* fields omitted */ }

An input section declared in an input file with [$name].

Implementations

impl Registers

pub fn new() -> Self

pub fn empty(&self) -> Self

Returns an empty version of this struct with None values. Called during constraint synthesis to provide private input variables.

pub fn is_present(&self) -> bool

Returns true if the main function contains the $name variable.

pub fn parse(
    &mut self,
    definitions: Vec<Definition<'_>>
) -> Result<(), InputParserError>

Parses register input definitions and stores them in self. This function is called if the main function input contains the $name variable.

pub fn values(&self) -> IndexMap<Parameter, Option<InputValue>>

Returns this section’s IndexMap of values.

Trait Implementations

impl Clone for Registers

fn clone(&self) -> Registers

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for Registers

fn default() -> Registers

Returns the “default value” for a type.

impl PartialEq<Registers> for Registers

fn eq(&self, other: &Registers) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for Registers

impl StructuralEq for Registers

impl StructuralPartialEq for Registers