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 register_constant(&mut self, constant: Constant)

Register a constant for semantic analysis without defining it in the module.

This is used for enum variants so we can fold discriminants without attempting to define the same constant twice.

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( &mut self, name: &Ident, ) -> Result<Option<CachedConstantValue<'_>>, Self::Error>

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

fn get_by_path( &mut 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(&mut 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( &mut 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.