neo_solidity/semantic.rs
1//! Yul Semantic Analysis Module
2//!
3//! Performs semantic analysis on Yul AST, including type checking, scope
4//! validation, and code quality metrics.
5//!
6//! # Analysis Results
7//!
8//! - [`SemanticResult`] - Complete analysis output
9//! - [`ComplexityMetrics`] - Code complexity measurements
10//! - [`SecurityIssue`] - Potential security concerns
11//! - [`PerformanceMetrics`] - Gas and performance estimates
12//!
13//! # Checks Performed
14//!
15//! - Variable scope and shadowing detection
16//! - Function signature validation
17//! - Unreachable code detection
18//! - Security pattern analysis
19
20use crate::error::CompilerError;
21use crate::parser::{AstNode, AstNodeType};
22
23include!("semantic/types.rs");
24include!("semantic/analyzer.rs");
25include!("semantic/visitor.rs");
26include!("semantic/builtins.rs");