Compiler_Sema.H File Reference

Name-resolution and basic semantic checks for the compiler-support MVP. More...

#include <string>
#include <Compiler_AST.H>
#include <Compiler_Symbol_Bindings.H>
#include <ah-diagnostics.H>
#include <tpl_dynMapTree.H>

Include dependency graph for Compiler_Sema.H:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Aleph::Compiler_Name_Resolution
	Mapping from an identifier expression to its resolved symbol. More...
struct	Aleph::Compiler_Semantic_Options
	Options controlling semantic analyzer behavior. More...
class	Aleph::Compiler_Semantic_Analyzer
	Name-resolution and basic semantic checker for the MVP AST. More...

Namespaces
namespace	Aleph
	Main namespace for Aleph-w library functions.

Detailed Description

Name-resolution and basic semantic checks for the compiler-support MVP.

The semantic analyzer performs a deliberately small first pass over the AST:

• lexical scope management
• symbol declaration and duplicate detection
• top-level import/type declaration validation
• identifier resolution
• optional shadowing diagnostics
• return outside function checks
• break / continue outside loop checks

This is not a type checker. The goal is to provide a stable semantic layer immediately above parsing while future type and constraint systems remain separate components.

Definition in file Compiler_Sema.H.