Struct erg_compiler::build_package::GenericPackageBuilder

pub struct GenericPackageBuilder<ASTBuilder: ASTBuildable = ASTBuilder, HIRBuilder: Buildable = GenericHIRBuilder> { /* private fields */ }

Resolve dependencies and build a package. This object should be a singleton.

Invariant condition: build_module must be idempotent. That is, the only thing that may differ as a result of analyzing the same package is the elapsed time.

Implementations

impl<ASTBuilder: ASTBuildable, HIRBuilder: Buildable> GenericPackageBuilder<ASTBuilder, HIRBuilder>

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

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

For batch compilation mode, mod_name of the entry point must be <module>.

For ELS mode, mod_name must be the file name of the entry point.

pub fn finalize(&mut self)

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

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

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

Trait Implementations

impl<ASTBuilder: ASTBuildable + 'static, HIRBuilder: BuildRunnable + 'static> BuildRunnable for GenericPackageBuilder<ASTBuilder, HIRBuilder>

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

impl<ASTBuilder: ASTBuildable, HIRBuilder: Buildable> Buildable for GenericPackageBuilder<ASTBuilder, HIRBuilder>

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, HIRBuilder: Buildable + ContextProvider> ContextProvider for GenericPackageBuilder<ASTBuilder, HIRBuilder>

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, HIRBuilder: Debug + Buildable> Debug for GenericPackageBuilder<ASTBuilder, HIRBuilder>

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

Formats the value using the given formatter.

impl<ASTBuilder: ASTBuildable, HIRBuilder: Buildable> Default for GenericPackageBuilder<ASTBuilder, HIRBuilder>

fn default() -> Self

Returns the “default value” for a type.

impl<A: ASTBuildable, H: BuildRunnable> New for GenericPackageBuilder<A, H>

fn new(cfg: ErgConfig) -> Self

impl<ASTBuilder: ASTBuildable, HIRBuilder: BuildRunnable> Runnable for GenericPackageBuilder<ASTBuilder, HIRBuilder>

type Err = CompileError

type Errs = CompileErrors

const NAME: &'static str = "Erg package 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 set_input(&mut self, input: Input)

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 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