Struct Compiler

pub struct Compiler<'a, N: Network> {
    pub program_name: String,
    pub ast: Ast,
    pub statements_before_dce: u32,
    pub statements_after_dce: u32,
    /* private fields */
}

The primary entry point of the Leo compiler.

Fields

program_name: String

The program name,

ast: Ast

The AST for the program.

statements_before_dce: u32

How many statements were in the AST before DCE?

statements_after_dce: u32

How many statements were in the AST after DCE?

Implementations

impl<'a, N: Network> Compiler<'a, N>

pub fn parse(&mut self, source: &str, filename: FileName) -> Result<()>

pub fn parse_from_file( &mut self, source_file_path: impl AsRef<Path>, ) -> Result<()>

pub fn new( handler: &'a Handler, output_directory: PathBuf, compiler_options: Option<CompilerOptions>, import_stubs: IndexMap<Symbol, Stub>, ) -> Self

Returns a new Leo compiler.

pub fn symbol_table_pass(&self) -> Result<SymbolTable>

Runs the symbol table pass.

pub fn type_checker_pass( &'a self, symbol_table: &mut SymbolTable, ) -> Result<(StructGraph, CallGraph)>

Runs the type checker pass.

pub fn static_analysis_pass(&mut self, symbol_table: &SymbolTable) -> Result<()>

Runs the static analysis pass.

pub fn const_propagation_and_unroll_loop( &mut self, symbol_table: &mut SymbolTable, ) -> Result<()>

Run const propagation and loop unrolling until we hit a fixed point or find an error.

pub fn const_propagation_pass( &mut self, symbol_table: &mut SymbolTable, ) -> Result<ConstPropagatorOutput>

Runs the const propagation pass.

pub fn loop_unrolling_pass( &mut self, symbol_table: &mut SymbolTable, ) -> Result<UnrollerOutput>

Runs the loop unrolling pass.

pub fn static_single_assignment_pass( &mut self, symbol_table: &SymbolTable, ) -> Result<()>

Runs the static single assignment pass.

pub fn flattening_pass(&mut self, symbol_table: &SymbolTable) -> Result<()>

Runs the flattening pass.

pub fn destructuring_pass(&mut self) -> Result<()>

Runs the destructuring pass.

pub fn function_inlining_pass(&mut self, call_graph: &CallGraph) -> Result<()>

Runs the function inlining pass.

pub fn dead_code_elimination_pass(&mut self) -> Result<()>

Runs the dead code elimination pass.

pub fn code_generation_pass( &mut self, symbol_table: &SymbolTable, struct_graph: &StructGraph, call_graph: &CallGraph, ) -> Result<String>

Runs the code generation pass.

pub fn intermediate_passes( &mut self, ) -> Result<(SymbolTable, StructGraph, CallGraph)>

Runs the compiler stages.

pub fn compile(&mut self, source: &str, filename: FileName) -> Result<String>

Returns a compiled Leo program.

pub fn compile_from_file( &mut self, source_file_path: impl AsRef<Path>, ) -> Result<String>

pub fn add_import_stubs(&mut self) -> Result<()>

Merges the dependencies defined in program.json with the dependencies imported in .leo file

Trait Implementations

impl<'a, N: Clone + Network> Clone for Compiler<'a, N>

fn clone(&self) -> Compiler<'a, N>

Returns a copy of the value.

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

Performs copy-assignment from source.