devela_macros 0.27.0

procedural macros for devela
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

// devela_macros::bodies::tests

use super::shared::compile_eval;

#[test]
fn test_compile_eval() {
    /* unary */

    // bare
    assert_eq!(compile_eval("true".into()), true);
    assert_eq!(compile_eval("false".into()), false);
    // assert_eq!(compile_eval("UNRECOGNIZED".into()), false); // panics
    assert_eq!(compile_eval("".into()), false);

    // not()
    assert_eq!(compile_eval("not(true)".into()), false);
    // assert_eq!(compile_eval("not(UNRECOGNIZED)".into()), true); // panics
    assert_eq!(compile_eval("not()".into()), true);

    /* binary */

    // equal()
    assert_eq!(compile_eval("equal(true, true)".into()), true);
    assert_eq!(compile_eval("equal(false, false)".into()), true);
    assert_eq!(compile_eval("equal(true, false)".into()), false);

    // not(equal())
    assert_eq!(compile_eval("not(equal(true, true))".into()), false);
    assert_eq!(compile_eval("not(equal(false, false))".into()), false);
    assert_eq!(compile_eval("not(equal(true, false))".into()), true);

    // xor()
    assert_eq!(compile_eval("xor(true, false)".into()), true);
    assert_eq!(compile_eval("xor(false, true)".into()), true);
    assert_eq!(compile_eval("xor(true, true)".into()), false);

    /* numeric */

    // eq()
    assert_eq!(compile_eval("eq(2, 2)".into()), true);
    assert_eq!(compile_eval("all(eq(2, 1), eq(1, 2))".into()), false);

    // ne()
    assert_eq!(compile_eval("all(ne(2, 1), ne(1, 2))".into()), true);
    assert_eq!(compile_eval("ne(2, 2)".into()), false);

    // ge()
    assert_eq!(compile_eval("all(ge(2, 1), ge(2, 2))".into()), true);
    assert_eq!(compile_eval("ge(1, 2)".into()), false);

    // gt()
    assert_eq!(compile_eval("gt(2, 1)".into()), true);
    assert_eq!(compile_eval("any(gt(1, 2), gt(2, 2))".into()), false);

    // le()
    assert_eq!(compile_eval("all(le(1, 2), le(2, 2))".into()), true);
    assert_eq!(compile_eval("le(2, 1)".into()), false);

    // lt()
    assert_eq!(compile_eval("lt(1, 2)".into()), true);
    assert_eq!(compile_eval("any(lt(2, 1), lt(2, 2))".into()), false);

    /* non-binary */

    // any()
    assert_eq!(compile_eval("any(true, true, true)".to_string()), true);
    assert_eq!(compile_eval("any(false, true, true)".to_string()), true);
    assert_eq!(compile_eval("any(false, false, false)".to_string()), false);

    // all()
    assert_eq!(compile_eval("all(true, true, true, true)".to_string()), true);
    assert_eq!(compile_eval("all(true, true, true, false)".to_string()), false);

    // none()
    assert_eq!(compile_eval("none()".to_string()), true);
    assert_eq!(compile_eval("none(true)".to_string()), false);
    assert_eq!(compile_eval("none(false)".to_string()), false);
    assert_eq!(compile_eval("none(something)".to_string()), false);

    // some()
    assert_eq!(compile_eval("some(true)".to_string()), true);
    assert_eq!(compile_eval("some(false)".to_string()), true);
    assert_eq!(compile_eval("some(something)".to_string()), true);
    assert_eq!(compile_eval("some()".to_string()), false);

    // same()
    assert_eq!(compile_eval("same(ABC, ABC, ABC)".to_string()), true);
    assert_eq!(compile_eval("same(ABC, DEF, ABC)".to_string()), false);

    // diff()
    assert_eq!(compile_eval("diff(ABC, DEF, ABC)".to_string()), true);
    assert_eq!(compile_eval("diff(ABC, ABC, ABC)".to_string()), false);

    // nota()
    assert_eq!(compile_eval("nota(ABC, DEF, GHI)".to_string()), true);
    assert_eq!(compile_eval("nota(ABC, DEF, ABC)".to_string()), false);

    // xany()
    assert_eq!(compile_eval("xany(true, true, false)".into()), true);
    assert_eq!(compile_eval("xany(true, true, true)".into()), false);

    // xodd()
    assert_eq!(compile_eval("xodd(true)".into()), true);
    assert_eq!(compile_eval("xodd(true, false, false)".into()), true);
    assert_eq!(compile_eval("xodd(true, true, false)".into()), false);
    assert_eq!(compile_eval("xodd(true, true, true)".into()), true);
    assert_eq!(compile_eval("xodd(true, true, true, true)".into()), false);

    // xodd()
    assert_eq!(compile_eval("xone(true, false, false, false)".into()), true);
    assert_eq!(compile_eval("xone(true, true, false, false)".into()), false);
    assert_eq!(compile_eval("xone(true, true, true, false)".into()), false);
    assert_eq!(compile_eval("xone(true, true, true, true)".into()), false);

    // env()
    assert_eq!(compile_eval("env(CARGO_PKG_NAME)".into()), true);
    assert_eq!(compile_eval("env_eq(CARGO_PKG_NAME, devela_macros)".into()), true);
    assert_eq!(compile_eval("env_ne(CARGO_PKG_NAME, other_crate_name)".into()), true);
    assert_eq!(compile_eval("env_nonempty(CARGO_PKG_NAME)".into()), true);
    // assert_eq!(compile_eval("env_empty(TODO)".into()), true); //
}