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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
//! SplitRS library - Public API for integration tests and external usage
//!
//! This library exposes the core analyzers and utilities used by SplitRS
//! for splitting large Rust files into maintainable modules.
// Array-literal splitting (single oversized data-table static/const)
pub mod array_splitter;
// Re-export v0.2.4 new analyzers
pub mod glob_import_analyzer;
pub mod helper_dependency_tracker;
pub mod trait_bound_analyzer;
// Re-export core analyzers
pub mod dependency_analyzer;
pub mod domain_router;
pub mod field_access_tracker;
pub mod file_analyzer;
pub mod import_analyzer;
pub mod macro_analyzer;
pub mod method_analyzer;
pub mod module_generator;
pub mod nested_mod_splitter;
pub mod scope_analyzer;
pub mod source_map;
pub mod trait_method_tracker;
// Re-export configuration and utility modules
pub mod config;
pub mod error_recovery;
pub mod incremental;
pub mod metrics_dashboard;
pub mod naming_strategy;
pub mod test_generator;
pub mod workspace;
#[cfg(feature = "lsp")]
pub mod lsp;
#[cfg(feature = "smt")]
pub mod smt;
#[cfg(feature = "smt")]
pub mod smt_cli;
// SMT-verified function-extraction transform (Phase 4). Library API + tests
// only; no CLI flag or pipeline wiring (that is Phase 5).
#[cfg(feature = "smt")]
pub mod extraction;