Struct move_lang::command_line::compiler::SteppedCompiler

pub struct SteppedCompiler<'a, const P: Pass> { /* private fields */ }

Implementations

impl<'a, const P: Pass> SteppedCompiler<'a, P>

pub fn compilation_env(&mut self) -> &mut CompilationEnv

impl<'a> SteppedCompiler<'a, EMPTY_COMPILER>

pub fn at_parser(self, ast: Program) -> SteppedCompiler<'a, { PASS_PARSER }>

pub fn at_expansion( self, ast: Program ) -> SteppedCompiler<'a, { PASS_EXPANSION }>

pub fn at_naming(self, ast: Program) -> SteppedCompiler<'a, { PASS_NAMING }>

pub fn at_typing(self, ast: Program) -> SteppedCompiler<'a, { PASS_TYPING }>

pub fn at_hlir(self, ast: Program) -> SteppedCompiler<'a, { PASS_HLIR }>

pub fn at_cfgir(self, ast: Program) -> SteppedCompiler<'a, { PASS_CFGIR }>

impl<'a> SteppedCompiler<'a, { PASS_PARSER }>

pub fn run<const TARGET: Pass>( self ) -> Result<SteppedCompiler<'a, TARGET>, Diagnostics>

pub fn into_ast(self) -> (SteppedCompiler<'a, EMPTY_COMPILER>, Program)

pub fn check(self) -> Result<(), Diagnostics>

pub fn build( self ) -> Result<(Vec<AnnotatedCompiledUnit>, Diagnostics), Diagnostics>

pub fn check_and_report(self, files: &FilesSourceText)

pub fn build_and_report( self, files: &FilesSourceText ) -> Vec<AnnotatedCompiledUnit>

impl<'a> SteppedCompiler<'a, { PASS_EXPANSION }>

pub fn run<const TARGET: Pass>( self ) -> Result<SteppedCompiler<'a, TARGET>, Diagnostics>

pub fn into_ast(self) -> (SteppedCompiler<'a, EMPTY_COMPILER>, Program)

pub fn check(self) -> Result<(), Diagnostics>

pub fn build( self ) -> Result<(Vec<AnnotatedCompiledUnit>, Diagnostics), Diagnostics>

pub fn check_and_report(self, files: &FilesSourceText)

pub fn build_and_report( self, files: &FilesSourceText ) -> Vec<AnnotatedCompiledUnit>

impl<'a> SteppedCompiler<'a, { PASS_NAMING }>

pub fn run<const TARGET: Pass>( self ) -> Result<SteppedCompiler<'a, TARGET>, Diagnostics>

pub fn into_ast(self) -> (SteppedCompiler<'a, EMPTY_COMPILER>, Program)

pub fn check(self) -> Result<(), Diagnostics>

pub fn build( self ) -> Result<(Vec<AnnotatedCompiledUnit>, Diagnostics), Diagnostics>

pub fn check_and_report(self, files: &FilesSourceText)

pub fn build_and_report( self, files: &FilesSourceText ) -> Vec<AnnotatedCompiledUnit>

impl<'a> SteppedCompiler<'a, { PASS_TYPING }>

pub fn run<const TARGET: Pass>( self ) -> Result<SteppedCompiler<'a, TARGET>, Diagnostics>

pub fn into_ast(self) -> (SteppedCompiler<'a, EMPTY_COMPILER>, Program)

pub fn check(self) -> Result<(), Diagnostics>

pub fn build( self ) -> Result<(Vec<AnnotatedCompiledUnit>, Diagnostics), Diagnostics>

pub fn check_and_report(self, files: &FilesSourceText)

pub fn build_and_report( self, files: &FilesSourceText ) -> Vec<AnnotatedCompiledUnit>

impl<'a> SteppedCompiler<'a, { PASS_HLIR }>

pub fn run<const TARGET: Pass>( self ) -> Result<SteppedCompiler<'a, TARGET>, Diagnostics>

pub fn into_ast(self) -> (SteppedCompiler<'a, EMPTY_COMPILER>, Program)

pub fn check(self) -> Result<(), Diagnostics>

pub fn build( self ) -> Result<(Vec<AnnotatedCompiledUnit>, Diagnostics), Diagnostics>

pub fn check_and_report(self, files: &FilesSourceText)

pub fn build_and_report( self, files: &FilesSourceText ) -> Vec<AnnotatedCompiledUnit>

impl<'a> SteppedCompiler<'a, { PASS_CFGIR }>

pub fn run<const TARGET: Pass>( self ) -> Result<SteppedCompiler<'a, TARGET>, Diagnostics>

pub fn into_ast(self) -> (SteppedCompiler<'a, EMPTY_COMPILER>, Program)

pub fn check(self) -> Result<(), Diagnostics>

pub fn build( self ) -> Result<(Vec<AnnotatedCompiledUnit>, Diagnostics), Diagnostics>

pub fn check_and_report(self, files: &FilesSourceText)

pub fn build_and_report( self, files: &FilesSourceText ) -> Vec<AnnotatedCompiledUnit>

impl<'a> SteppedCompiler<'a, PASS_COMPILATION>

pub fn into_compiled_units(self) -> (Vec<AnnotatedCompiledUnit>, Diagnostics)