Struct DeclarationChecker 

pub struct DeclarationChecker<'a, 'ctx> {
    pub ctx: &'a mut CheckerContext<'ctx>,
}

Declaration type checker that operates on the shared context.

This is a stateless checker that borrows the context mutably. All declaration type checking goes through this checker.

Fields

ctx: &'a mut CheckerContext<'ctx>

Implementations

impl<'a, 'ctx> DeclarationChecker<'a, 'ctx>

pub const fn new(ctx: &'a mut CheckerContext<'ctx>) -> Self

Create a new declaration checker with a mutable context reference.

pub fn check(&mut self, decl_idx: NodeIndex)

Check a declaration node.

This dispatches to specialized handlers based on declaration kind. Currently a skeleton - logic will be migrated incrementally from CheckerState.

pub fn check_variable_statement(&mut self, stmt_idx: NodeIndex)

Check a variable statement.

pub fn check_variable_declaration_list(&mut self, list_idx: NodeIndex)

Check a variable declaration list.

pub fn check_variable_declaration(&mut self, decl_idx: NodeIndex)

Check a variable declaration.

pub fn check_function_declaration(&mut self, func_idx: NodeIndex)

Check a function declaration.

pub fn check_class_declaration(&mut self, class_idx: NodeIndex)

Check a class declaration.

Handles declaration-specific class checks including TS2564 (strict property initialization).

pub const fn check_interface_declaration(&mut self, _iface_idx: NodeIndex)

Check an interface declaration.

pub const fn check_type_alias_declaration(&mut self, _alias_idx: NodeIndex)

Check a type alias declaration.

pub fn check_enum_declaration(&mut self, enum_idx: NodeIndex)

Check an enum declaration.

pub fn check_parameter_properties(&mut self, parameters: &[NodeIndex])

Check parameter properties (only valid in constructors).

pub const fn check_function_implementations(&mut self, _nodes: &[NodeIndex])

Check function implementations for overload sequences.

impl<'a, 'ctx> DeclarationChecker<'a, 'ctx>

pub fn check_module_declaration(&mut self, module_idx: NodeIndex)

Check a module/namespace declaration.