Struct SemanticAnalyzer 

pub struct SemanticAnalyzer;

Implementations

impl SemanticAnalyzer

pub fn new() -> Self

pub fn analyze( &mut self, ast: &AstNode, ) -> Result<SemanticResult, CompilerError>

fn analyze_complexity(&self, ast: &AstNode) -> ComplexityMetrics

fn estimate_gas_usage(&self, ast: &AstNode) -> u64

fn check_undefined_variables(&self, ast: &AstNode, errors: &mut Vec<String>)

fn check_function_signatures(&self, ast: &AstNode, warnings: &mut Vec<String>)

fn check_security_issues( &self, ast: &AstNode, security_issues: &mut Vec<SecurityIssue>, )

fn check_optimization_opportunities( &self, ast: &AstNode, opportunities: &mut Vec<String>, )

fn identify_hot_paths(&self, ast: &AstNode, hot_paths: &mut Vec<String>)

impl SemanticAnalyzer

fn visit_node<F>(&self, node: &AstNode, visitor: &mut F)

where F: FnMut(&AstNode, u32),

fn visit_node_recursive<F>(&self, node: &AstNode, visitor: &mut F, depth: u32)

where F: FnMut(&AstNode, u32),

impl SemanticAnalyzer

fn is_builtin(&self, name: &str) -> bool

Trait Implementations

impl Default for SemanticAnalyzer

fn default() -> SemanticAnalyzer

Returns the “default value” for a type.