pub struct SemanticAnalyzer<'a> { /* private fields */ }Expand description
Walks the AST to validate variable scoping and resolve names via a LabelRegistry.
Implementations§
Source§impl<'a> SemanticAnalyzer<'a>
impl<'a> SemanticAnalyzer<'a>
Sourcepub fn new(registry: &'a mut dyn LabelRegistry) -> Self
pub fn new(registry: &'a mut dyn LabelRegistry) -> Self
Create a new analyzer backed by the given registry.
Sourcepub fn analyze(&mut self, query: &Query) -> Result<SymbolTable, SemanticError>
pub fn analyze(&mut self, query: &Query) -> Result<SymbolTable, SemanticError>
Analyze a query, resolving names and checking variable scoping. Returns the symbol table on success.
Auto Trait Implementations§
impl<'a> Freeze for SemanticAnalyzer<'a>
impl<'a> !RefUnwindSafe for SemanticAnalyzer<'a>
impl<'a> !Send for SemanticAnalyzer<'a>
impl<'a> !Sync for SemanticAnalyzer<'a>
impl<'a> Unpin for SemanticAnalyzer<'a>
impl<'a> UnsafeUnpin for SemanticAnalyzer<'a>
impl<'a> !UnwindSafe for SemanticAnalyzer<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more