Struct leo_asg::program::InternalProgram

pub struct InternalProgram {
    pub id: Uuid,
    pub name: String,
    pub imported_modules: IndexMap<String, Program>,
    pub test_functions: IndexMap<String, (Arc<FunctionBody>, Option<Identifier>)>,
    pub functions: IndexMap<String, Arc<FunctionBody>>,
    pub circuits: IndexMap<String, Arc<CircuitBody>>,
    pub scope: Scope,
}

Stores the Leo program abstract semantic graph (ASG).

Fields

id: Uuid

The unique id of the program.

name: String

The program file name.

imported_modules: IndexMap<String, Program>

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

test_functions: IndexMap<String, (Arc<FunctionBody>, Option<Identifier>)>

Maps test name => test code block.

functions: IndexMap<String, Arc<FunctionBody>>

Maps function name => function code block.

circuits: IndexMap<String, Arc<CircuitBody>>

Maps circuit name => circuit code block.

scope: Scope

Bindings for names and additional program context.

Implementations

impl InternalProgram

pub fn new<T: ImportResolver + 'static>(
    program: &Program,
    import_resolver: &mut T
) -> Result<Program, 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 Clone for InternalProgram

fn clone(&self) -> InternalProgram

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InternalProgram

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Into<Program> for &InternalProgram

fn into(self) -> Program

Performs the conversion.