Struct Validator 

pub struct Validator<'a> {
    pub store: &'a ScopeStore,
    pub diagnostics: Vec<SemanticDiagnostic>,
    /* private fields */
}

Collects diagnostics and maintains scope stack (replaying scope structure from first pass). Uses the same scope ID sequence as ScopeBuilder so resolve() looks up the correct scope.

Fields

store: &'a ScopeStore

diagnostics: Vec<SemanticDiagnostic>

Implementations

impl<'a> Validator<'a>

pub fn new(store: &'a ScopeStore, scope_id_sequence: &'a [ScopeId]) -> Self

Trait Implementations

impl Visitor for Validator<'_>

fn enter_node(&mut self, node: &SyntaxNode) -> WalkResult

Called before visiting this node’s children (pre-order).

fn leave_node(&mut self, node: &SyntaxNode) -> WalkResult

Called after visiting this node’s children (post-order).

fn visit_token(&mut self, _token: &SyntaxToken) -> ControlFlow<()>

Called for each token when WalkOptions::visit_tokens is true. Trivia is included only when WalkOptions::visit_trivia is true.