semantic_analyzer/lib.rs
1//! # Semantic Analyzer
2//! The semantic analyzer consists of the following basic elements:
3//! - AST is an abstract syntax tree that implements a predefined set of
4//! representations in a programming language. This is the basis for
5//! semantic analysis.
6//! - Semantic analyzer - AST based semantic analyzes generates a
7//! Semantic State Stack and semantic representation context for
8//! logical semantic blocks. Contains all the necessary results of
9//! semantic analysis, including:
10//! - constants
11//! - types
12//! - functions
13//!
14//! For the body of functions, the analysis of the semantic logic of the
15//! function and the generation of Block State context trees are fully implemented.
16//!
17//! Based on this Semantic context data, additional analysis in the form of linters,
18//! optimizers, and code generation can be implemented.
19
20/// AST representation
21pub mod ast;
22/// Semantic analyzer and State related functions
23pub mod semantic;
24/// Semantic analyzer common types
25pub mod types;