Module semantic_analyzer::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