Struct EvalContext 

pub struct EvalContext {
    pub diag: DiagHandler,
    /* private fields */
}

Context for evaluation of a resolved µcad file.

The context is used to store the current state of the evaluation.

Fields

diag: DiagHandler

Diagnostics handler.

Implementations

impl EvalContext

pub fn new( resolve_context: ResolveContext, output: Box<dyn Output>, exporters: ExporterRegistry, importers: ImporterRegistry, ) -> Self

Create a new context from a resolved symbol table.

pub fn from_source( root: Rc<SourceFile>, builtin: Option<Symbol>, search_paths: &[impl AsRef<Path>], output: Box<dyn Output>, exporters: ExporterRegistry, importers: ImporterRegistry, line_offset: usize, ) -> EvalResult<Self>

Create a new context from a source file.

pub fn output(&self) -> Option<String>

Access captured output.

pub fn print(&mut self, what: String)

Print for __builtin::print.

pub fn eval(&mut self) -> EvalResult<Option<Model>>

Evaluate context into a value.

pub fn exporters(&self) -> &ExporterRegistry

All registered exporters.

pub fn search_paths(&self) -> &Vec<PathBuf>

Return search paths of this context.

pub fn root(&self) -> &Symbol

Symbol table accessor.

Trait Implementations

impl Debug for EvalContext

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

Formats the value using the given formatter.

impl Default for EvalContext

fn default() -> Self

Returns the “default value” for a type.

impl Diag for EvalContext

fn fmt_diagnosis(&self, f: &mut dyn Write) -> Result

Pretty print all errors.

fn warning_count(&self) -> u32

Return number of occurred warnings.

fn error_count(&self) -> u32

Return number of occurred errors.

fn error_lines(&self) -> HashSet<usize>

Return all lines with errors

fn warning_lines(&self) -> HashSet<usize>

Return all lines with warnings

fn write_diagnosis(&self, w: &mut dyn Write) -> Result<()>

Pretty write all errors into a file.

fn diagnosis(&self) -> String

Get pretty printed errors as string.

fn has_warnings(&self) -> bool

Returns true if there are warnings.

fn has_errors(&self) -> bool

Returns true if there are errors.

impl ExporterAccess for EvalContext

fn exporter_by_id(&self, id: &Id) -> Result<Rc<dyn Exporter>, ExportError>

Get exporter by id.

fn exporter_by_filename( &self, filename: &Path, ) -> Result<Rc<dyn Exporter>, ExportError>

Get exporter by filename.

fn find_exporter( &self, filename: &Path, id: &Option<Id>, ) -> Result<Rc<dyn Exporter>, ExportError>

Find an exporter by filename, or by id.

impl GetSourceByHash for EvalContext

fn get_by_hash(&self, hash: u64) -> ResolveResult<Rc<SourceFile>>

Find a project file by it’s hash value.

impl ImporterRegistryAccess for EvalContext

type Error = EvalError

Error type.

fn import( &mut self, arg_map: &Tuple, search_paths: &[PathBuf], ) -> Result<Value, Self::Error>

Import a value from an argument map

impl Lookup<EvalError> for EvalContext

fn lookup( &self, name: &QualifiedName, target: LookupTarget, ) -> EvalResult<Symbol>

Search a symbol by it’s qualified name.

fn ambiguity_error( ambiguous: QualifiedName, others: QualifiedNames, ) -> EvalError

Return an ambiguity error.

fn lookup_within( &self, name: &QualifiedName, within: &Symbol, target: LookupTarget, ) -> Result<Symbol, E>

Search a symbol by it’s qualified name and within the given symbol.

fn lookup_within_opt( &self, name: &QualifiedName, within: &Option<Symbol>, target: LookupTarget, ) -> Result<Symbol, E>

Search a symbol by it’s qualified name and within a given symbol

fn deny_super(&self, name: &QualifiedName) -> ResolveResult<()>

Returns an error if name starts with super::.

impl PushDiag for EvalContext

fn push_diag(&mut self, diag: Diagnostic) -> DiagResult<()>

Push a diagnostic message (must be implemented).

fn trace(&mut self, src: &impl SrcReferrer, message: String)

Push new trace message.

fn info(&mut self, src: &impl SrcReferrer, message: String)

Push new informative message.

fn warning( &mut self, src: &impl SrcReferrer, err: impl Into<Report>, ) -> DiagResult<()>

Push new warning.

fn error( &mut self, src: &impl SrcReferrer, err: impl Into<Report>, ) -> DiagResult<()>

Push new error.