Skip to main content

fallow_core/duplicates/
mod.rs

1//! Code duplication / clone detection module.
2//!
3//! This module implements suffix array + LCP based clone detection
4//! for TypeScript/JavaScript source files. It supports multiple detection
5//! modes from strict (exact matches only) to semantic (structure-aware
6//! matching that ignores identifier names and literal values).
7
8pub mod detect;
9pub mod families;
10pub mod normalize;
11pub mod token_types;
12mod token_visitor;
13pub mod tokenize;
14pub(crate) mod types;
15
16use rustc_hash::FxHashMap;
17use std::path::{Path, PathBuf};
18
19use globset::{Glob, GlobSet, GlobSetBuilder};
20use rayon::prelude::*;
21
22use detect::CloneDetector;
23use normalize::normalize_and_hash_resolved;
24use tokenize::{tokenize_file, tokenize_file_cross_language};
25pub use types::{
26    CloneFamily, CloneGroup, CloneInstance, DetectionMode, DuplicatesConfig, DuplicationReport,
27    DuplicationStats, RefactoringKind, RefactoringSuggestion,
28};
29
30use crate::discover::{self, DiscoveredFile};
31use crate::suppress::{self, IssueKind, Suppression};
32
33/// Run duplication detection on the given files.
34///
35/// This is the main entry point for the duplication analysis. It:
36/// 1. Reads and tokenizes all source files in parallel
37/// 2. Normalizes tokens according to the detection mode
38/// 3. Runs suffix array + LCP clone detection
39/// 4. Groups clone instances into families with refactoring suggestions
40/// 5. Applies inline suppression filters
41pub fn find_duplicates(
42    root: &Path,
43    files: &[DiscoveredFile],
44    config: &DuplicatesConfig,
45) -> DuplicationReport {
46    let _span = tracing::info_span!("find_duplicates").entered();
47
48    // Build extra ignore patterns for duplication analysis
49    let extra_ignores = build_ignore_set(&config.ignore);
50
51    // Resolve normalization: mode defaults + user overrides
52    let normalization =
53        fallow_config::ResolvedNormalization::resolve(config.mode, &config.normalization);
54
55    let strip_types = config.cross_language;
56
57    // Step 1 & 2: Tokenize and normalize all files in parallel, also parse suppressions
58    let file_data: Vec<(
59        PathBuf,
60        Vec<normalize::HashedToken>,
61        tokenize::FileTokens,
62        Vec<Suppression>,
63    )> = files
64        .par_iter()
65        .filter_map(|file| {
66            // Apply extra ignore patterns
67            let relative = file.path.strip_prefix(root).unwrap_or(&file.path);
68            if let Some(ref ignores) = extra_ignores
69                && ignores.is_match(relative)
70            {
71                return None;
72            }
73
74            // Read the file
75            let source = std::fs::read_to_string(&file.path).ok()?;
76
77            // Parse inline suppression comments
78            let suppressions = suppress::parse_suppressions_from_source(&source);
79
80            // Check for file-wide code-duplication suppression
81            if suppress::is_file_suppressed(&suppressions, IssueKind::CodeDuplication) {
82                return None;
83            }
84
85            // Tokenize (with optional type stripping for cross-language detection)
86            let file_tokens = if strip_types {
87                tokenize_file_cross_language(&file.path, &source, true)
88            } else {
89                tokenize_file(&file.path, &source)
90            };
91            if file_tokens.tokens.is_empty() {
92                return None;
93            }
94
95            // Normalize and hash using resolved normalization flags
96            let hashed = normalize_and_hash_resolved(&file_tokens.tokens, normalization);
97            if hashed.len() < config.min_tokens {
98                return None;
99            }
100
101            Some((file.path.clone(), hashed, file_tokens, suppressions))
102        })
103        .collect();
104
105    tracing::info!(
106        files = file_data.len(),
107        "tokenized files for duplication analysis"
108    );
109
110    // Collect per-file suppressions for line-level filtering
111    let suppressions_by_file: FxHashMap<PathBuf, Vec<Suppression>> = file_data
112        .iter()
113        .filter(|(_, _, _, supps)| !supps.is_empty())
114        .map(|(path, _, _, supps)| (path.clone(), supps.clone()))
115        .collect();
116
117    // Strip suppressions from the data passed to the detector
118    let detector_data: Vec<(PathBuf, Vec<normalize::HashedToken>, tokenize::FileTokens)> =
119        file_data
120            .into_iter()
121            .map(|(path, hashed, tokens, _)| (path, hashed, tokens))
122            .collect();
123
124    // Step 3 & 4: Detect clones
125    let detector = CloneDetector::new(config.min_tokens, config.min_lines, config.skip_local);
126    let mut report = detector.detect(detector_data);
127
128    // Step 5: Apply line-level suppressions
129    if !suppressions_by_file.is_empty() {
130        apply_line_suppressions(&mut report, &suppressions_by_file);
131    }
132
133    // Step 6: Group into families with refactoring suggestions
134    report.clone_families = families::group_into_families(&report.clone_groups);
135
136    report
137}
138
139/// Filter out clone instances that are suppressed by line-level comments.
140fn apply_line_suppressions(
141    report: &mut DuplicationReport,
142    suppressions_by_file: &FxHashMap<PathBuf, Vec<Suppression>>,
143) {
144    report.clone_groups.retain_mut(|group| {
145        group.instances.retain(|instance| {
146            if let Some(supps) = suppressions_by_file.get(&instance.file) {
147                // Check if any line in the instance range is suppressed
148                for line in instance.start_line..=instance.end_line {
149                    if suppress::is_suppressed(supps, line as u32, IssueKind::CodeDuplication) {
150                        return false;
151                    }
152                }
153            }
154            true
155        });
156        // Keep group only if it still has 2+ instances
157        group.instances.len() >= 2
158    });
159}
160
161/// Run duplication detection on a project directory using auto-discovered files.
162///
163/// This is a convenience function that handles file discovery internally.
164pub fn find_duplicates_in_project(root: &Path, config: &DuplicatesConfig) -> DuplicationReport {
165    let resolved = crate::default_config(root);
166    let files = discover::discover_files(&resolved);
167    find_duplicates(root, &files, config)
168}
169
170/// Build a `GlobSet` from ignore patterns.
171fn build_ignore_set(patterns: &[String]) -> Option<GlobSet> {
172    if patterns.is_empty() {
173        return None;
174    }
175
176    let mut builder = GlobSetBuilder::new();
177    for pattern in patterns {
178        match Glob::new(pattern) {
179            Ok(glob) => {
180                builder.add(glob);
181            }
182            Err(e) => {
183                tracing::warn!("Invalid duplication ignore pattern '{pattern}': {e}");
184            }
185        }
186    }
187
188    builder.build().ok()
189}
190
191#[cfg(test)]
192mod tests {
193    use super::*;
194    use crate::discover::FileId;
195
196    #[test]
197    fn find_duplicates_empty_files() {
198        let config = DuplicatesConfig::default();
199        let report = find_duplicates(Path::new("/tmp"), &[], &config);
200        assert!(report.clone_groups.is_empty());
201        assert!(report.clone_families.is_empty());
202        assert_eq!(report.stats.total_files, 0);
203    }
204
205    #[test]
206    fn build_ignore_set_empty() {
207        assert!(build_ignore_set(&[]).is_none());
208    }
209
210    #[test]
211    fn build_ignore_set_valid_patterns() {
212        let set = build_ignore_set(&["**/*.test.ts".to_string(), "**/*.spec.ts".to_string()]);
213        assert!(set.is_some());
214        let set = set.unwrap();
215        assert!(set.is_match("src/foo.test.ts"));
216        assert!(set.is_match("src/bar.spec.ts"));
217        assert!(!set.is_match("src/baz.ts"));
218    }
219
220    #[test]
221    fn find_duplicates_with_real_files() {
222        // Create a temp directory with duplicate files
223        let dir = tempfile::tempdir().expect("create temp dir");
224        let src_dir = dir.path().join("src");
225        std::fs::create_dir_all(&src_dir).expect("create src dir");
226
227        let code = r#"
228export function processData(input: string): string {
229    const trimmed = input.trim();
230    if (trimmed.length === 0) {
231        return "";
232    }
233    const parts = trimmed.split(",");
234    const filtered = parts.filter(p => p.length > 0);
235    const mapped = filtered.map(p => p.toUpperCase());
236    return mapped.join(", ");
237}
238
239export function validateInput(data: string): boolean {
240    if (data === null || data === undefined) {
241        return false;
242    }
243    const cleaned = data.trim();
244    if (cleaned.length < 3) {
245        return false;
246    }
247    return true;
248}
249"#;
250
251        std::fs::write(src_dir.join("original.ts"), code).expect("write original");
252        std::fs::write(src_dir.join("copy.ts"), code).expect("write copy");
253        std::fs::write(dir.path().join("package.json"), r#"{"name": "test"}"#)
254            .expect("write package.json");
255
256        let files = vec![
257            DiscoveredFile {
258                id: FileId(0),
259                path: src_dir.join("original.ts"),
260                size_bytes: code.len() as u64,
261            },
262            DiscoveredFile {
263                id: FileId(1),
264                path: src_dir.join("copy.ts"),
265                size_bytes: code.len() as u64,
266            },
267        ];
268
269        let config = DuplicatesConfig {
270            min_tokens: 10,
271            min_lines: 2,
272            ..DuplicatesConfig::default()
273        };
274
275        let report = find_duplicates(dir.path(), &files, &config);
276        assert!(
277            !report.clone_groups.is_empty(),
278            "Should detect clones in identical files"
279        );
280        assert!(report.stats.files_with_clones >= 2);
281
282        // Should also have clone families
283        assert!(
284            !report.clone_families.is_empty(),
285            "Should group clones into families"
286        );
287    }
288
289    #[test]
290    fn file_wide_suppression_excludes_file() {
291        let dir = tempfile::tempdir().expect("create temp dir");
292        let src_dir = dir.path().join("src");
293        std::fs::create_dir_all(&src_dir).expect("create src dir");
294
295        let code = r#"
296export function processData(input: string): string {
297    const trimmed = input.trim();
298    if (trimmed.length === 0) {
299        return "";
300    }
301    const parts = trimmed.split(",");
302    const filtered = parts.filter(p => p.length > 0);
303    const mapped = filtered.map(p => p.toUpperCase());
304    return mapped.join(", ");
305}
306"#;
307        let suppressed_code = format!("// fallow-ignore-file code-duplication\n{code}");
308
309        std::fs::write(src_dir.join("original.ts"), code).expect("write original");
310        std::fs::write(src_dir.join("suppressed.ts"), &suppressed_code).expect("write suppressed");
311        std::fs::write(dir.path().join("package.json"), r#"{"name": "test"}"#)
312            .expect("write package.json");
313
314        let files = vec![
315            DiscoveredFile {
316                id: FileId(0),
317                path: src_dir.join("original.ts"),
318                size_bytes: code.len() as u64,
319            },
320            DiscoveredFile {
321                id: FileId(1),
322                path: src_dir.join("suppressed.ts"),
323                size_bytes: suppressed_code.len() as u64,
324            },
325        ];
326
327        let config = DuplicatesConfig {
328            min_tokens: 10,
329            min_lines: 2,
330            ..DuplicatesConfig::default()
331        };
332
333        let report = find_duplicates(dir.path(), &files, &config);
334        // With only 2 files and one suppressed, there should be no clones
335        assert!(
336            report.clone_groups.is_empty(),
337            "File-wide suppression should exclude file from duplication analysis"
338        );
339    }
340}