Struct leo_ast::input::program_state::public_state::state::State

pub struct State { /* fields omitted */ }

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

Implementations

impl State

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 State

pub fn clone(&self) -> State

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for State

pub fn default() -> State

Returns the "default value" for a type.

impl Eq for State

impl PartialEq<State> for State

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

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

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

This method tests for !=.

impl StructuralEq for State

impl StructuralPartialEq for State