Crate splitrs 

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.

Modules

array_splitter

Array-splitting mode for SplitRS.

config

Configuration file support for SplitRS

dependency_analyzer

Dependency analysis and circular dependency detection

domain_router

Domain-mapping support for Feature B (--target-modules).

error_recovery

Error recovery and resilient parsing

extraction

SMT-verified function-extraction transform.

field_access_tracker

Field access tracking for proper cross-module visibility

file_analyzer

File analysis module for SplitRS

glob_import_analyzer

Glob import analysis and resolution for smart import generation

helper_dependency_tracker

Helper function dependency tracking for proper module organization

import_analyzer

Import statement analysis and generation for refactored modules

incremental

Incremental refactoring support

lsp

macro_analyzer

Macro analysis module for SplitRS

method_analyzer

Method boundary detection and analysis for splitting large impl blocks

metrics_dashboard

Metrics dashboard for SplitRS — cyclomatic complexity analysis, HTML/JSON/text reporting.

module_generator

Module generation for SplitRS

naming_strategy

Custom naming strategies for module generation

nested_mod_splitter

Feature C — nested inline-mod descent (--split-nested-mods).

scope_analyzer

Module scope analysis for correct impl block placement

smt

SMT-backed semantic-equivalence oracle for verified refactoring.

smt_cli

CLI driver for the --verify-equiv mode.

source_map

Verbatim source slicing: map proc_macro2::Span (line/column) back to exact original source byte ranges so split items can be emitted byte-for-byte, preserving inline // comments and original formatting that prettyplease would otherwise strip or reflow.

test_generator

Integration test generation for verifying refactoring correctness

trait_bound_analyzer

Trait bound tracking and analysis for proper import generation

trait_method_tracker

Trait method tracking for proper trait imports

workspace

Workspace-level refactoring support