Struct Sema 

pub struct Sema<'sym> { /* private fields */ }

Semantic analyzer for type checking and symbol resolution.

Validates that identifiers reference valid symbols and that function calls have the correct number of arguments.

Implementations

impl<'src, 'sym> Sema<'sym>

pub fn new(table: &'sym SymTable) -> Self

Creates a new semantic analyzer with the given symbol table.

pub fn visit(&mut self, ast: &mut Expr<'src, 'sym>) -> Result<(), SemaError>

Analyzes an AST expression, resolving symbols and checking types.

Trait Implementations

impl<'sym> Debug for Sema<'sym>

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

Formats the value using the given formatter.