weavatrix-edit 0.1.6

Deterministic, Unicode-safe edit-plan validation and application for source refactoring
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

use weavatrix_edit::{
    ApplyLimits, ByteEdit, ErrorCode, Provenance, prepare_byte_edits,
    prepare_byte_edits_with_limits,
};

const PROVEN: &str = Provenance::EXACT_LSP;

#[test]
fn union_preserves_insert_multiplicity_and_the_edit_ceiling() {
    let source = "xy";
    let duplicate_inserts = prepare_byte_edits(
        source,
        &[
            ByteEdit::insert(1, "A", PROVEN),
            ByteEdit::insert(1, "A", PROVEN),
        ],
    )
    .unwrap();
    let empty = prepare_byte_edits(source, &[]).unwrap();
    let retained = duplicate_inserts.union(empty).unwrap();
    assert_eq!(retained.len(), 2);
    assert_eq!(retained.apply().text, "xAAy");

    let left = prepare_byte_edits(source, &[ByteEdit::insert(1, "A", PROVEN)]).unwrap();
    let right = prepare_byte_edits(source, &[ByteEdit::insert(1, "A", PROVEN)]).unwrap();
    assert_eq!(left.union(right).unwrap().apply().text, "xAAy");

    let one_edit = ApplyLimits {
        max_source_bytes: 8,
        max_edits: 1,
        max_output_bytes: 8,
    };
    let left =
        prepare_byte_edits_with_limits(source, &[ByteEdit::insert(0, "L", PROVEN)], one_edit)
            .unwrap();
    let right =
        prepare_byte_edits_with_limits(source, &[ByteEdit::insert(2, "R", PROVEN)], one_edit)
            .unwrap();
    assert_eq!(
        left.union(right).unwrap_err().code(),
        ErrorCode::PlanTooLarge
    );
}