Struct leo_asg::Asg

pub struct Asg<'a> { /* fields omitted */ }

The abstract semantic graph (ASG) for a Leo program.

The Asg type represents a Leo program as a series of recursive data types. These data types form a graph that begins from a Program type node.

A new Asg can be created from an Ast generated in the ast module.

Implementations

impl<'a> Asg<'a>

pub fn new<T: ImportResolver<'a>, Y: AsRef<Program>>(
    context: AsgContext<'a>,
    ast: Y,
    resolver: &mut T
) -> Result<Self, AsgConvertError>

Creates a new ASG from a given AST and import resolver.

pub fn as_repr(&self) -> &Program<'a>

Returns the internal program ASG representation.

pub fn into_repr(self) -> Program<'a>

Trait Implementations

impl<'a> Clone for Asg<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.