Struct ProgramInput

pub struct ProgramInput {
    pub main: MainInput,
    /* private fields */
}

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 PartialEq for ProgramInput

fn eq(&self, other: &ProgramInput) -> 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 Eq for ProgramInput

impl StructuralPartialEq for ProgramInput