lambdust 0.1.1

A Scheme dialect with gradual typing and effect systems
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

//! Program analysis tools for static analysis and optimization.
//!
//! This module provides comprehensive program analysis capabilities including
//! static analysis, dependency analysis, profiling, and code quality metrics.
//!
//! Most structures have been moved to specialized modules for better organization:
//! - Core analysis framework: `analysis_framework.rs`
//! - Type analysis: `type_analysis.rs`
//! - Dependency analysis: `dependency_analysis.rs`
//! - Variable and scope analysis: `variable_scope_analysis.rs`
//! - Control flow analysis: `control_flow_analysis.rs`
//! - Quality metrics: `quality_metrics.rs`
//! - Warning system: `warning_system.rs`
//! - Profiling analysis: `profiling_analysis.rs`
//! - Common types and enums: `analysis_types.rs`
//!
//! This module now serves as a coordination point and maintains compatibility.

// Re-export all analysis components for backward compatibility
pub use super::analysis_framework::{StaticAnalyzer, CodeAnalyzer, AnalysisResult, AnalysisConfig};
pub use super::analysis_types::*;
pub use super::dependency_analysis::{DependencyGraph, DependencyNode, DependencyEdge, DependencyAnalyzer};
pub use super::variable_scope_analysis::{VariableUsage, VariableInfo, ScopeInfo};
pub use super::control_flow_analysis::{ControlFlowGraph, BasicBlock};
pub use super::type_analysis::{TypeInformation, FunctionSignature, TypeConstraint, TypeError};
pub use super::quality_metrics::{QualityMetrics, DuplicationInfo, OptimizationOpportunity};
pub use super::warning_system::AnalysisWarning;
pub use super::profiling_analysis::{ProfilingInfo, AllocationInfo, HotSpot, Profiler};