Module semantic

Source
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 for Block state of each functions body state.
  • Errors - semantic analyzes errors.z

Structs§

GlobalState
Global State
State
State