Zen-C-Docs/typecheck_8h_source.html

#ifndef TYPECHECK_H

#define TYPECHECK_H


#include "ast.h"

#include "parser.h"


// Type Checker Context

// Holds the state during the semantic analysis pass.

// Unlike the parser, this focuses on semantic validity (types, definitions).


typedef struct TypeChecker

{

    ParserContext *pctx;

    Scope *current_scope;

    ASTNode *current_func;

    int error_count;

    int warning_count;     // Number of recommendations/warnings.

} TypeChecker;


int check_program(ParserContext *ctx, ASTNode *root);


#endif // TYPECHECK_H

ast.h

parser.h

ASTNode
Definition ast.h:187

ParserContext
Global compilation state and symbol table.
Definition parser.h:275

Scope
Represents a lexical scope (block).
Definition parser.h:68

TypeChecker
Type Checker Context.
Definition typecheck.h:17

TypeChecker::pctx
ParserContext * pctx
Reference to global parser context (for lookups).
Definition typecheck.h:18

TypeChecker::current_func
ASTNode * current_func
Current function being checked (for return type checks).
Definition typecheck.h:20

TypeChecker::warning_count
int warning_count
Definition typecheck.h:22

TypeChecker::error_count
int error_count
Number of type errors found.
Definition typecheck.h:21

TypeChecker::current_scope
Scope * current_scope
Current lexical scope during traversal.
Definition typecheck.h:19

check_program
int check_program(ParserContext *ctx, ASTNode *root)
Main Type Checking Entry Point.
Definition typecheck.c:400