Struct erg_compiler::build_hir::GenericHIRBuilder

pub struct GenericHIRBuilder<ASTBuilder: ASTBuildable = ASTBuilder> { /* private fields */ }

Summarize lowering, side-effect checking, and ownership checking

NOTE: This does not perform dependency resolution, use PackageBuilder to build a package

Implementations

impl<ASTBuilder: ASTBuildable> GenericHIRBuilder<ASTBuilder>

pub fn new(cfg: ErgConfig) -> Self

pub fn new_with_cache<S: Into<Str>>( cfg: ErgConfig, mod_name: S, shared: SharedCompilerResource ) -> Self

pub fn new_with_ctx(mod_ctx: ModuleContext) -> Self

pub fn new_submodule(mod_ctx: ModuleContext, name: &str) -> Self

pub fn check( &mut self, ast: AST, mode: &str ) -> Result<CompleteArtifact, IncompleteArtifact>

pub fn build( &mut self, src: String, mode: &str ) -> Result<CompleteArtifact, IncompleteArtifact>

pub fn build_module(&mut self) -> Result<CompleteArtifact, IncompleteArtifact>

pub fn build_linked_module( &mut self ) -> Result<CompleteArtifact, IncompleteArtifact>

pub fn pop_mod_ctx(&mut self) -> Option<ModuleContext>

pub fn dir(&mut self) -> Dict<&VarName, &VarInfo>

pub fn get_receiver_ctx(&self, receiver_name: &str) -> Option<&Context>

pub fn get_var_info(&self, name: &str) -> Option<(&VarName, &VarInfo)>

pub fn current_ctx(&self) -> &Context

pub fn clear(&mut self)

Trait Implementations

impl<ASTBuilder: ASTBuildable + 'static> BuildRunnable for GenericHIRBuilder<ASTBuilder>

fn build_module(&mut self) -> Result<CompleteArtifact<T>, IncompleteArtifact<T>>

impl<ASTBuilder: ASTBuildable> Buildable for GenericHIRBuilder<ASTBuilder>

fn inherit(cfg: ErgConfig, shared: SharedCompilerResource) -> Self

fn inherit_with_name( cfg: ErgConfig, mod_name: Str, shared: SharedCompilerResource ) -> Self

fn build( &mut self, src: String, mode: &str ) -> Result<CompleteArtifact, IncompleteArtifact>

fn build_from_ast( &mut self, ast: AST, mode: &str ) -> Result<CompleteArtifact<HIR>, IncompleteArtifact<HIR>>

fn pop_context(&mut self) -> Option<ModuleContext>

fn get_context(&self) -> Option<&ModuleContext>

impl<ASTBuilder: ASTBuildable> ContextProvider for GenericHIRBuilder<ASTBuilder>

fn dir(&self) -> Dict<&VarName, &VarInfo>

fn get_receiver_ctx(&self, receiver_name: &str) -> Option<&Context>

fn get_var_info(&self, name: &str) -> Option<(&VarName, &VarInfo)>

fn has(&self, name: &str) -> bool

impl<ASTBuilder: Debug + ASTBuildable> Debug for GenericHIRBuilder<ASTBuilder>

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

Formats the value using the given formatter.

impl<ASTBuilder: ASTBuildable> Default for GenericHIRBuilder<ASTBuilder>

fn default() -> Self

Returns the “default value” for a type.

impl<A: ASTBuildable> New for GenericHIRBuilder<A>

fn new(cfg: ErgConfig) -> Self

impl<ASTBuilder: ASTBuildable> Runnable for GenericHIRBuilder<ASTBuilder>

type Err = CompileError

type Errs = CompileErrors

const NAME: &'static str = "Erg HIR builder"

fn cfg(&self) -> &ErgConfig

fn cfg_mut(&mut self) -> &mut ErgConfig

fn finish(&mut self)

fn initialize(&mut self)

Erase all but immutable information.

fn clear(&mut self)

Erase information that will no longer be meaningful in the next iteration

fn exec(&mut self) -> Result<ExitStatus, Self::Errs>

fn eval(&mut self, src: String) -> Result<String, Self::Errs>

fn expect_block(&self, src: &str) -> BlockKind

fn input(&self) -> &Input

fn set_input(&mut self, input: Input)

fn start_message(&self) -> String

fn ps1(&self) -> String

fn ps2(&self) -> String

fn quit(&mut self, code: i32) -> !

fn quit_successfully(&mut self, output: BufWriter<StdoutLock<'_>>) -> !

fn run(cfg: ErgConfig) -> ExitStatus