Struct SemanticAnalyzer 

pub struct SemanticAnalyzer { /* private fields */ }

The main semantic analyzer

Implementations

impl SemanticAnalyzer

Implementation of pattern analysis methods for SemanticAnalyzer

pub fn list_available_patterns(&self) -> Vec<String>

Get list of all available patterns (user-defined + built-in)

impl SemanticAnalyzer

pub fn new() -> Self

Create a new semantic analyzer

pub fn with_source(self, source: impl Into<String>) -> Self

Set the source code for better error location reporting (builder pattern)

pub fn set_source(&mut self, source: impl Into<String>)

Set the source code for error location reporting (mutable reference)

pub fn check_expr_type(&mut self, expr: &Expr) -> Result<Type>

Check the type of an expression using the inference engine

This is the main bridge method that replaces the legacy type checker. It infers the type and converts the result to the legacy Type enum.

pub fn register_extension_modules(&mut self, modules: &[ParsedModuleSchema])

Register extension module namespaces with their export type schemas. Each module becomes a Symbol::Module with a concrete Object type annotation. Must be called before analyze() so the type system recognizes modules.

pub fn error_at(&self, span: Span, message: impl Into<String>) -> ShapeError

Create a semantic error with location information from a span

pub fn error_at_with_hint( &self, span: Span, message: impl Into<String>, hint: impl Into<String>, ) -> ShapeError

Create a semantic error with location and a hint

pub fn add_warning(&mut self, span: Span, message: impl Into<String>)

Add a type warning (not an error, analysis continues)

pub fn snapshot(&self) -> SemanticSnapshot

Snapshot semantic analyzer state for resumability.

pub fn restore_from_snapshot(&mut self, snapshot: SemanticSnapshot)

Restore semantic analyzer state from a snapshot.

pub fn warnings(&self) -> &[TypeWarning]

Get all warnings generated during analysis

pub fn take_warnings(&mut self) -> Vec<TypeWarning>

Take ownership of warnings (clears the internal list)

pub fn analyze(&mut self, program: &Program) -> Result<()>

Analyze a complete program (script mode - isolated execution)

Creates a fresh scope for this program and pops it after analysis. Each call is isolated - no state persists between calls. Collects all semantic errors and reports them together.

pub fn analyze_incremental(&mut self, program: &Program) -> Result<()>

Analyze a program incrementally (REPL mode - persistent state)

Variables and functions defined in previous calls remain visible. Call init_repl_scope() once before the first analyze_incremental() call.

pub fn init_repl_scope(&mut self)

Initialize the REPL scope (call once before first analyze_incremental)

Pushes a user scope that will persist across all incremental analyses.

pub fn lookup_type_alias(&self, name: &str) -> Option<&TypeAliasEntry>

Look up a type alias (for runtime type resolution)

Trait Implementations

impl Default for SemanticAnalyzer

fn default() -> Self

Returns the “default value” for a type.