Struct leo_ast::input::program_input::main_input::MainInput

pub struct MainInput { /* fields omitted */ }

Implementations

impl MainInput

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 len(&self) -> usize

pub fn insert(&mut self, key: String, value: Option<InputValue>)

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

Parses main input definitions and stores them in self.

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

Returns an Option of the main function input at name

Trait Implementations

impl Clone for MainInput

pub fn clone(&self) -> MainInput

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for MainInput

pub fn default() -> MainInput

Returns the "default value" for a type.

impl Eq for MainInput

impl PartialEq<MainInput> for MainInput

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

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

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

This method tests for !=.

impl StructuralEq for MainInput

impl StructuralPartialEq for MainInput