Struct leo_asg::program::Program

pub struct Program<'a> {
    pub context: AsgContext<'a>,
    pub id: u32,
    pub name: String,
    pub imported_modules: IndexMap<String, Program<'a>>,
    pub functions: IndexMap<String, &'a Function<'a>>,
    pub global_consts: IndexMap<String, &'a DefinitionStatement<'a>>,
    pub circuits: IndexMap<String, &'a Circuit<'a>>,
    pub scope: &'a Scope<'a>,
}

Stores the Leo program abstract semantic graph (ASG).

Fields

context: AsgContext<'a>

id: u32

The unique id of the program.

name: String

The program file name.

imported_modules: IndexMap<String, Program<'a>>

The packages imported by this program. these should generally not be accessed directly, but through scoped imports

functions: IndexMap<String, &'a Function<'a>>

Maps function name => function code block.

global_consts: IndexMap<String, &'a DefinitionStatement<'a>>

Maps global constant name => global const code block.

circuits: IndexMap<String, &'a Circuit<'a>>

Maps circuit name => circuit code block.

scope: &'a Scope<'a>

Implementations

impl<'a> Program<'a>

pub fn new<T: ImportResolver<'a>>(
    context: AsgContext<'a>,
    program: &Program,
    import_resolver: &mut T
) -> Result<Program<'a>, AsgConvertError>

Returns a new Leo program ASG from the given Leo program AST and its imports.

Stages:

1. resolve imports into super scope
2. finalize declared types
3. finalize declared functions
4. resolve all asg nodes

Trait Implementations

impl<'a> Clone for Program<'a>

fn clone(&self) -> Program<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Into<Program> for &Program<'a>

fn into(self) -> Program

Performs the conversion.