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

mod combiner_common;

use combiner_common::*;

#[test]
fn idempotent_general() {
    for n in 1..=10 {
        assert_self_idempotent(t_resource(), n);
    }
}

#[test]
fn idempotent_open() {
    for n in 1..=10 {
        assert_self_idempotent(t_open_resource(), n);
    }
}

#[test]
fn idempotent_closed() {
    for n in 1..=10 {
        assert_self_idempotent(t_closed_resource(), n);
    }
}

#[test]
fn open_or_closed_is_resource() {
    for inputs in [vec![t_open_resource(), t_closed_resource()], vec![t_closed_resource(), t_open_resource()]] {
        assert_combines_to(inputs, vec![t_resource()]);
    }
}

#[test]
fn open_or_closed_or_general_is_resource() {
    for inputs in [
        vec![t_open_resource(), t_closed_resource(), t_resource()],
        vec![t_resource(), t_open_resource(), t_closed_resource()],
        vec![t_resource(), t_closed_resource(), t_open_resource()],
    ] {
        assert_combines_to(inputs, vec![t_resource()]);
    }
}

#[test]
fn general_absorbs_open() {
    for inputs in [vec![t_resource(), t_open_resource()], vec![t_open_resource(), t_resource()]] {
        assert_combines_to(inputs, vec![t_resource()]);
    }
}

#[test]
fn general_absorbs_closed() {
    for inputs in [vec![t_resource(), t_closed_resource()], vec![t_closed_resource(), t_resource()]] {
        assert_combines_to(inputs, vec![t_resource()]);
    }
}

#[test]
fn open_or_int_kept_separate() {
    let result = combine_default(vec![t_open_resource(), t_int()]);
    let mut ids: Vec<String> = result.iter().map(atomic_id_string).collect();
    ids.sort();
    assert_eq!(ids, vec!["int", "open-resource"]);
}

#[test]
fn closed_or_string_kept_separate() {
    let result = combine_default(vec![t_closed_resource(), t_string()]);
    let mut ids: Vec<String> = result.iter().map(atomic_id_string).collect();
    ids.sort();
    assert_eq!(ids, vec!["closed-resource", "string"]);
}

#[test]
fn resource_or_null_kept_separate() {
    let result = combine_default(vec![t_resource(), null()]);
    let mut ids: Vec<String> = result.iter().map(atomic_id_string).collect();
    ids.sort();
    assert_eq!(ids, vec!["null", "resource"]);
}

#[test]
fn many_open_resources_collapse() {
    assert_combines_to(vec![t_open_resource(); 10], vec![t_open_resource()]);
}

#[test]
fn many_closed_resources_collapse() {
    assert_combines_to(vec![t_closed_resource(); 10], vec![t_closed_resource()]);
}

#[test]
fn alternating_open_closed_collapses_to_resource() {
    let inputs: Vec<_> = (0..10).map(|i| if i % 2 == 0 { t_open_resource() } else { t_closed_resource() }).collect();
    assert_combines_to(inputs, vec![t_resource()]);
}