rustupolis 0.0.2

An implementation of the tuple space data structure in Rust.
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
117
118
119
120
121
122
123
124
125
126
127

use std::cmp::Ordering;
use std::collections::Bound;

#[macro_use]
extern crate rustupolis;
use rustupolis::tuple::E;

#[test]
fn test_emptiness() {
    // Some corner cases around empty tuples
    assert!(tuple![].is_empty());
    assert!(tuple![].is_defined());
    assert_eq!(tuple![], tuple![]);
    assert_eq!(tuple![E::T(tuple![])], tuple![E::T(tuple![])]);
    assert_ne!(tuple![E::T(tuple![])], tuple![]);
    assert!(tuple![].matches(&tuple![]));
    assert!(E::T(tuple![]).matches(&E::Any));
    assert!(E::Any.matches(&E::T(tuple![])));
    assert!(!E::T(tuple![]).matches(&E::T(tuple![E::I(42)])));
}

#[test]
fn test_defined() {
    assert!(!E::Any.is_defined());
    assert!(!E::None.is_defined());
    assert!(E::str("foo").is_defined());
    assert!(E::T(tuple![E::I(0)]).is_defined());
    assert!(!E::T(tuple![E::Any]).is_defined());
    assert!(!E::T(tuple![E::None]).is_defined());
}

#[test]
fn test_matching() {
    // E::Any matches actuals.
    for e in &[
        E::I(0),
        E::D(0.1),
        E::str("foo"),
        E::T(tuple![]),
        E::T(tuple![E::I(0)]),
    ] {
        assert!(E::Any.matches(e));
        assert!(e.matches(&E::Any));
    }
    // Formals do not match formals.
    assert!(!E::Any.matches(&E::Any));
    assert!(!E::None.matches(&E::None));
    assert!(!E::Any.matches(&E::None));
    assert!(!E::None.matches(&E::Any));
}

#[test]
fn test_cmp() {
    assert_eq!(tuple![].cmp(&tuple![E::I(0)]), Ordering::Less);
    assert_eq!(tuple![].cmp(&tuple![]), Ordering::Equal);
    assert_eq!(E::Any.cmp(&E::T(tuple![])), Ordering::Less);
    assert_eq!(E::None.cmp(&E::T(tuple![])), Ordering::Greater);
    assert_eq!(
        E::T(tuple![E::I(0), E::I(1)]).cmp(&E::T(tuple![E::I(0), E::I(2)])),
        Ordering::Less
    );
    assert_eq!(
        E::T(tuple![E::I(0), E::I(1), E::I(0)]).cmp(&E::T(tuple![E::I(0), E::I(1)])),
        Ordering::Greater
    );
}

#[test]
fn test_range() {
    assert_eq!(
        tuple![E::T(tuple![E::Any])].range(),
        (
            Bound::Excluded(tuple![E::T(tuple![E::Any])]),
            Bound::Excluded(tuple![E::T(tuple![E::None])])
        )
    );
    assert_eq!(
        tuple![E::str("foo")].range(),
        (
            Bound::Included(tuple![E::str("foo")]),
            Bound::Excluded(tuple![E::str("foo")]),
        )
    );
    assert_eq!(
        tuple![E::str("foo"), E::T(tuple![E::I(0), E::Any]), E::Any].range(),
        (
            Bound::Excluded(tuple![E::str("foo"), E::T(tuple![E::I(0), E::Any]), E::Any]),
            Bound::Excluded(tuple![
                E::str("foo"),
                E::T(tuple![E::I(0), E::None]),
                E::None
            ]),
        )
    );
}

#[test]
fn nested_compare_with_empty() {
    assert!(
        !tuple![E::T(tuple![E::str("command"), E::Any]), E::T(tuple![])].matches(&tuple![
            E::T(tuple![E::str("command"), E::str("wobble")]),
            E::T(tuple![E::I(10)]),
        ])
    );
    assert!(!tuple![
        E::T(tuple![E::str("command"), E::str("wobble")]),
        E::T(tuple![E::I(10)]),
    ]
    .matches(&tuple![
        E::T(tuple![E::str("command"), E::Any]),
        E::T(tuple![])
    ]));
    assert!(tuple![
        E::T(tuple![E::str("command"), E::str("wobble")]),
        E::T(tuple![]),
    ]
    .matches(&tuple![
        E::T(tuple![E::str("command"), E::Any]),
        E::T(tuple![])
    ]));
    assert!(
        tuple![E::T(tuple![E::str("command"), E::str("wobble")]), E::Any,].matches(&tuple![
            E::T(tuple![E::str("command"), E::Any]),
            E::T(tuple![])
        ])
    );
}