Expand description
Semantic analyzer and State related functions
§Semantic analyzer
Semantic analyzer provides algorithms to analyze AST for different
rules and generate Semantic State stack
stack results. AST represent tree
nodes of language constructions and fully cover all flow of the program
represented through AST. And it’s Turing-complete.
§Semantic State
Semantic State contains basic entities:
Global State
- global state of semantic analyzer results.Context
- stack forBlock state
of each functions body state.Errors
- semantic analyzes errors.z
Structs§
- Global
State - Global State
- State
- State