Struct leo_typed::input::program_input::program_input::ProgramInput

pub struct ProgramInput {
    pub main: MainInput,
    // some fields omitted
}

Fields

main: MainInput

Implementations

impl ProgramInput

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

pub fn len(&self) -> usize

pub fn parse(&mut self, section: Section<'_>) -> Result<(), InputParserError>

Parse each input included in a file and store them in self.

pub fn get(&self, name: &String) -> Option<Option<InputValue>>

Returns the main function input value with the given name

pub fn get_registers(&self) -> &Registers

Returns the runtime register input values

Trait Implementations

impl Clone for ProgramInput

fn clone(&self) -> ProgramInput

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for ProgramInput

fn default() -> ProgramInput

Returns the "default value" for a type.

impl Eq for ProgramInput

impl PartialEq<ProgramInput> for ProgramInput

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

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

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

This method tests for !=.

impl StructuralEq for ProgramInput

impl StructuralPartialEq for ProgramInput