mago-codex 1.47.4

PHP type system representation, comparison logic, and codebase metadata for static analysis.
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

mod combiner_common;

use combiner_common::*;

use std::collections::BTreeMap;

use mago_codex::ttype::atomic::TAtomic;

#[test]
fn at_default_int_threshold_keeps_literals() {
    let n = 128usize;
    let inputs: Vec<TAtomic> = (0..n).map(|i| t_lit_int(i as i64)).collect();
    let result = combine_default(inputs);
    assert_eq!(result.len(), n);
}

#[test]
fn just_over_default_int_threshold_generalises() {
    let n = 129usize;
    let inputs: Vec<TAtomic> = (0..n).map(|i| t_lit_int(i as i64)).collect();
    let result = combine_default(inputs);
    assert_eq!(result.len(), 1);
    assert_eq!(atomic_id_string(&result[0]), "int");
}

#[test]
fn many_int_thresholds_walk() {
    for threshold in [1u16, 2, 5, 10, 32, 64, 100, 128] {
        let inputs: Vec<TAtomic> = (0..200i64).map(t_lit_int).collect();
        let result = combine_with_int_threshold(inputs, threshold);
        assert_eq!(result.len(), 1);
        assert_eq!(atomic_id_string(&result[0]), "int");
    }
}

#[test]
fn int_threshold_above_input_count_keeps_literals() {
    let inputs: Vec<TAtomic> = (0..50i64).map(t_lit_int).collect();
    let result = combine_with_int_threshold(inputs, 100);
    assert_eq!(result.len(), 50);
}

#[test]
fn at_default_string_threshold_keeps_literals() {
    let n = 128usize;
    let inputs: Vec<TAtomic> = (0..n).map(|i| t_lit_string(&format!("s{i}"))).collect();
    let result = combine_default(inputs);
    assert_eq!(result.len(), n);
}

#[test]
fn just_over_default_string_threshold_generalises() {
    let n = 129usize;
    let inputs: Vec<TAtomic> = (0..n).map(|i| t_lit_string(&format!("s{i}"))).collect();
    let result = combine_default(inputs);
    assert_eq!(result.len(), 1);
    assert_eq!(atomic_id_string(&result[0]), "string");
}

#[test]
fn many_string_thresholds_walk() {
    for threshold in [1u16, 2, 5, 10, 32, 64, 100, 128] {
        let inputs: Vec<TAtomic> = (0..200usize).map(|i| t_lit_string(&format!("s{i}"))).collect();
        let result = combine_with_string_threshold(inputs, threshold);
        assert_eq!(result.len(), 1);
        assert_eq!(atomic_id_string(&result[0]), "string");
    }
}

#[test]
fn just_over_default_float_threshold_generalises() {
    let n = 129usize;
    let inputs: Vec<TAtomic> = (0..n).map(|i| t_lit_float(i as f64)).collect();
    let result = combine_default(inputs);
    assert_eq!(result.len(), 1);
    assert_eq!(atomic_id_string(&result[0]), "float");
}

#[test]
fn many_distinct_sealed_lists_above_threshold_collapse() {
    let n = 50usize;
    let inputs: Vec<TAtomic> =
        (0..n_i64(n)).map(|i| t_sealed_list(BTreeMap::from([(0usize, (false, ui(i)))]))).collect();
    let result = combine_default(inputs);
    assert!(result.len() <= n);
}

#[test]
fn integer_threshold_zero_with_two_inputs_generalises() {
    let inputs = vec![t_lit_int(1), t_lit_int(2)];
    let result = combine_with_int_threshold(inputs, 0);
    assert_eq!(result.len(), 1);
    assert_eq!(atomic_id_string(&result[0]), "int");
}

#[test]
fn string_threshold_zero_with_two_inputs_generalises() {
    let inputs = vec![t_lit_string("a"), t_lit_string("b")];
    let result = combine_with_string_threshold(inputs, 0);
    assert_eq!(result.len(), 1);
    assert_eq!(atomic_id_string(&result[0]), "string");
}

#[test]
fn array_threshold_zero_with_two_inputs_generalises() {
    let inputs = vec![
        t_sealed_list(BTreeMap::from([(0usize, (false, ui(1)))])),
        t_sealed_list(BTreeMap::from([(0usize, (false, ui(2)))])),
    ];
    let result = combine_with_array_threshold(inputs, 0);
    assert!(!result.is_empty());
}

fn n_i64(n: usize) -> i64 {
    n as i64
}