abcop 0.16.2

Must-have ABC complexity gate for AI development. Ruby, Rust, Python, Go, JS/TS, C/C++, PHP, Java, C#, Swift, Zig, Dart, Solidity, ObjC
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

//! Scan-scope resolution contracts: which changeset each mode selects,
//! driven against real throwaway repositories. Resolution is cwd-based,
//! so every chdir assertion takes the shared working-directory lock.

use std::path::Path;

use crate::git_changes::Changeset;
use crate::scan_scope::resolve;
use crate::test_repo;

/// `--uncommitted` selects working-tree work only: unstaged edits, staged
/// files and untracked files are in; the branch's committed work is out.
#[test]
fn uncommitted_scope_excludes_committed_branch_work() {
    let dir = test_repo::temp_dir("abcop_uncommitted");
    let _guard = test_repo::cwd_lock();
    seed_branch_and_uncommitted_work(&dir);

    let cs = resolve_in_dir(&dir, false, true)
        .expect("scope resolves")
        .expect("changeset present");
    let seen = format!("{:?}", cs.files);
    assert!(
        cs.files.contains_key("a.rb"),
        "unstaged edit selected; saw {seen}"
    );
    assert!(
        cs.files.contains_key("b.rb"),
        "staged new file selected; saw {seen}"
    );
    assert!(
        cs.files.contains_key("c.rb"),
        "untracked file selected; saw {seen}"
    );
    assert!(
        !cs.files.contains_key("d.rb"),
        "committed branch work excluded; saw {seen}"
    );
    let _ = std::fs::remove_dir_all(&dir);
}

/// Base commit, one committed branch file, and the three uncommitted
/// states seeded on top.
fn seed_branch_and_uncommitted_work(dir: &Path) {
    test_repo::seed_repo_with_base_commit(dir);
    std::fs::write(dir.join("d.rb"), "def committed\nend\n").unwrap();
    test_repo::commit_all(dir, "branch work");
    test_repo::stage_three_kinds_of_uncommitted_work(dir);
}

/// An explicitly requested scope must not silently widen: outside a
/// repository `--uncommitted` fails loudly instead of full-tree scanning.
#[test]
fn uncommitted_scope_fails_outside_a_repository() {
    let dir = test_repo::temp_dir("abcop_uncommitted_norepo");
    let _guard = test_repo::cwd_lock();
    let err = resolve_in_dir(&dir, false, true).expect_err("non-repository must fail");
    assert!(
        err.contains("no usable git repository"),
        "expected repository error; saw: {err}"
    );
    let _ = std::fs::remove_dir_all(&dir);
}

/// A dirty tree steers the bare default to uncommitted work only: the
/// three uncommitted states are in, committed branch work is out.
#[test]
fn default_prefers_uncommitted_work_when_the_tree_is_dirty() {
    let dir = test_repo::temp_dir("abcop_default_dirty");
    let _guard = test_repo::cwd_lock();
    seed_branch_and_uncommitted_work(&dir);

    let cs = resolve_in_dir(&dir, false, false)
        .expect("scope resolves")
        .expect("changeset present");
    let seen = format!("{:?}", cs.files);
    assert!(
        cs.files.contains_key("a.rb")
            && cs.files.contains_key("b.rb")
            && cs.files.contains_key("c.rb"),
        "uncommitted work selected; saw {seen}"
    );
    assert!(
        !cs.files.contains_key("d.rb"),
        "committed branch work excluded; saw {seen}"
    );
    let _ = std::fs::remove_dir_all(&dir);
}

/// A clean tree falls through to the branch's MR scope: committed work
/// stays reviewed when nothing is uncommitted. Branch work is an
/// explicit topic branch off main, so the assertion is date-free.
#[test]
fn default_covers_branch_work_when_the_tree_is_clean() {
    let dir = test_repo::temp_dir("abcop_default_clean");
    let _guard = test_repo::cwd_lock();
    test_repo::seed_repo_with_base_commit(&dir);
    test_repo::checkout_new_branch(&dir, "feature/work");
    std::fs::write(dir.join("d.rb"), "def committed\nend\n").unwrap();
    test_repo::commit_all(&dir, "branch work");

    let cs = resolve_in_dir(&dir, false, false)
        .expect("scope resolves")
        .expect("changeset present");
    let seen = format!("{:?}", cs.files);
    assert!(
        cs.files.contains_key("d.rb"),
        "clean tree scans the branch scope; saw {seen}"
    );
    assert!(
        !cs.files.contains_key("a.rb"),
        "branch scope diffs the merge base, not the full tree; saw {seen}"
    );
    let _ = std::fs::remove_dir_all(&dir);
}

/// Outside a repository the bare default still widens to the full tree
/// (only explicit narrow modes fail instead).
#[test]
fn default_falls_back_to_full_tree_outside_a_repository() {
    let dir = test_repo::temp_dir("abcop_default_norepo");
    let _guard = test_repo::cwd_lock();
    let cs = resolve_in_dir(&dir, false, false).expect("full-tree fallback is not an error");
    assert!(cs.is_none(), "no repository means no changeset; saw {cs:?}");
    let _ = std::fs::remove_dir_all(&dir);
}

fn resolve_in_dir(dir: &Path, mr: bool, uncommitted: bool) -> Result<Option<Changeset>, String> {
    let old = std::env::current_dir().unwrap();
    std::env::set_current_dir(dir).unwrap();
    let result = std::panic::catch_unwind(|| resolve(mr, uncommitted, false, false, false));
    std::env::set_current_dir(old).unwrap();
    result.unwrap()
}