TypeChecker Struct Reference

Type Checker Context. More...

#include <typecheck.h>

Collaboration diagram for TypeChecker:

Data Fields
ParserContext *	pctx
	Reference to global parser context (for lookups).
Scope *	current_scope
	Current lexical scope during traversal.
ASTNode *	current_func
	Current function being checked (for return type checks).
int	error_count
	Number of type errors found.
int	warning_count

Detailed Description

Type Checker Context.

Holds the state during the semantic analysis pass. Unlike the parser, this focuses on semantic validity (types, definitions, correctness).

Field Documentation

current_func

ASTNode* TypeChecker::current_func

Current function being checked (for return type checks).

current_scope

Scope* TypeChecker::current_scope

Current lexical scope during traversal.

error_count

int TypeChecker::error_count

Number of type errors found.

pctx

ParserContext* TypeChecker::pctx

Reference to global parser context (for lookups).

warning_count

int TypeChecker::warning_count

---

The documentation for this struct was generated from the following file:

• src/analysis/typecheck.h