splice 2.6.3

Span-safe refactoring kernel for 7 languages with Magellan code graph integration
Documentation 
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143

//! Splice: Span-safe refactoring kernel for Rust.
//!
//! This library provides byte-accurate, AST-validated refactoring operations
//! for Rust code using SQLiteGraph as the ground-truth code graph.

#![warn(missing_docs)]
// env_logger is used by src/main.rs (binary), not this library
#![expect(unused_crate_dependencies)]

pub mod action;
pub mod batch;
pub mod cfg_analysis;
pub mod checksum;
pub mod cli;
pub mod commands;
pub mod completion;
pub mod context;
pub mod create;
pub mod diff;
pub mod error;
pub mod error_codes;
pub mod execution;
pub mod expand;
pub mod format;
pub mod graph;
pub mod hints;
pub mod ingest;
pub mod output;
pub mod patch;
pub mod plan;
/// Platform detection and feature flags.
pub mod platform;
pub mod proof;
pub mod relationships;
pub mod resolve;
pub mod suggestions;
pub mod symbol;
pub mod symbol_id;
pub mod syntax_validator;
pub mod validate;
pub mod verify;
pub mod write;

/// Re-export common error types for convenience.
pub use error::{Result, SpliceError};

/// Re-export graph types for convenience.
pub use graph::CodeGraph;

/// Re-export migration types for convenience.
pub use graph::migrate::{check_schema_version, migrate_database, MigrationResult};

/// Re-export rename types for convenience.
pub use graph::rename::{
    apply_replacements_in_file, apply_with_rollback, create_rename_backup,
    generate_colored_preview, generate_preview_diff, group_references_by_file, replace_at_span,
    simulate_replacements, simulate_replacements_content, RenameBackupManifest, RenameTransaction,
};

/// Re-export context types for convenience.
pub use context::{
    extract_context, extract_context_asymmetric, extract_context_with_before_after,
    resolve_context_counts,
};
pub use output::SpanContext;

/// Re-export diff utilities for convenience.
pub use diff::{format_colored_diff, format_diff_summary, format_unified_diff, should_use_color};

/// Re-export error codes for convenience.
pub use error_codes::{get_error_explanation, ErrorCode, ErrorSeverity, SpliceErrorCode};

/// Re-export semantic kind detection for convenience.
pub use ingest::{detect_semantic_kind, SemanticKind};

/// Re-export tool hints for convenience.
pub use hints::{derive_tool_hints, ToolHintOperation, ToolHints};

/// Re-export action types for convenience.
pub use action::{suggest_action, ActionType, Confidence, SuggestedAction};

/// Re-export relationship types for convenience.
pub use relationships::{Relationship, RelationshipCache, Relationships};

/// Re-export expansion API for convenience.
pub use expand::{expand_symbol, expand_symbol_with_level, ExpansionLevel, SymbolExpander};

/// Re-export batch operations for convenience.
pub use batch::{
    BatchExecutor, BatchOperation, BatchResult, BatchSpec, BatchTransaction, ExecutionMode,
    RollbackMode, TransactionResult,
};

// ============================================================================
// Graph Algorithm Response Types (Phase 30)
// ============================================================================

/// Re-export graph algorithm response types for convenience.
pub use output::{
    AffectedFile,
    // Condensation graph types
    CondensationResult,
    CondensedScc,
    // Cycle detection types
    CycleDetectionResult,
    CycleInfo,
    DeadCodeByFile,
    // Dead code detection types
    DeadCodeResult,
    DeadSymbol,
    LevelInfo,
    // Reachability analysis types
    ReachabilityResult,
    ReachableSymbol,
    SccEdge,
    // Program slicing types
    SliceResult,
    SliceStats,
    SlicedSymbol,
    // Symbol info (shared across graph algorithms)
    SymbolInfo,
};

// ============================================================================
// CLI Enums (Phase 30)
// ============================================================================

/// Re-export CLI enums for programmatic use.
pub use cli::{ReachabilityDirection, SliceDirection};

// ============================================================================
// Proof-Based Refactoring Types (Phase 31)
// ============================================================================

/// Re-export proof types for convenience.
pub use proof::{
    GraphSnapshot, GraphStats, InvariantCheck, InvariantViolation, ProofChecksums, ProofMetadata,
    RefactoringProof, RestoreResult, SnapshotMetadata, SnapshotStorage,
    SymbolInfo as ProofSymbolInfo, ViolationSeverity,
};

/// Splice version.
pub const VERSION: &str = env!("CARGO_PKG_VERSION");