Struct AnalysisContext 

pub struct AnalysisContext { /* private fields */ }

This maintains the state for semantic analysis of a single Module.

Implementations

impl AnalysisContext

pub fn new( source_file: Arc<SourceFile>, source_manager: Arc<dyn SourceManager>, ) -> Self

pub fn set_warnings_as_errors(&mut self, yes: bool)

pub fn warnings_as_errors(&self) -> bool

pub fn source_manager(&self) -> Arc<dyn SourceManager>

pub fn register_procedure_name(&mut self, name: ProcedureName)

pub fn register_imported_name(&mut self, name: Ident)

pub fn define_constant(&mut self, module: &mut Module, constant: Constant)

Define a new constant constant

Returns Err if a constant with the same name is already defined

pub fn simplify_constants(&mut self)

Rewrite all constant declarations by performing const evaluation of their expressions.

This also has the effect of validating that the constant expressions themselves are valid.

pub fn get_constant( &self, name: &Ident, ) -> Result<&ConstantExpr, SemanticAnalysisError>

Get the constant value bound to name

Returns Err if the symbol is undefined

pub fn error(&mut self, diagnostic: SemanticAnalysisError)

pub fn has_errors(&self) -> bool

pub fn has_failed(&mut self) -> Result<(), SyntaxError>

pub fn into_result(self) -> Result<(), SyntaxError>

Trait Implementations

impl ConstEnvironment for AnalysisContext

type Error = SemanticAnalysisError

The error type used in the current evaluation phase.

fn get_source_file_for(&self, span: SourceSpan) -> Option<Arc<SourceFile>>

Map a SourceSpan to the SourceFile to which it refers

fn get( &self, name: &Ident, ) -> Result<Option<CachedConstantValue<'_>>, Self::Error>

Get the constant expression/value bound to name in the current scope.

fn get_by_path( &self, path: Span<&Path>, ) -> Result<Option<CachedConstantValue<'_>>, Self::Error>

Get the constant expression/value defined at path, which is resolved using the imports and definitions in the current scope.

fn get_error(&self, name: &Ident) -> Result<Option<Arc<str>>, Self::Error>

A specialized form of ConstEnvironment::get, which validates that the constant expression returned by get evaluates to an error string, returning that string, or raising an error if invalid.

fn get_error_by_path( &self, path: Span<&Path>, ) -> Result<Option<Arc<str>>, Self::Error>

A specialized form of ConstEnvironment::get_by_path, which validates that the constant expression returned by get_by_path evaluates to an error string, returning that string, or raising an error if invalid.

fn on_eval_start(&mut self, path: Span<&Path>)

This method is called when the evaluator begins to evaluate the constant at path

fn on_eval_completed(&mut self, name: Span<&Path>, value: &ConstantExpr)

This method is called when the evaluator has finished evaluating the constant at path.