morq 0.3.0

TDD/BDD assertion interface
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
128
129

#[macro_export]
macro_rules! morq {
    (expect( $VALUE:expr ) . $($rest:tt)*) => {
        // here we are passing the value to be used
        // in other target rules
        //
        // Format is:
        //
        //  $ACTIVATOR, $NOT, $VALUE, $($rest)*
        //
        // where $ACTIVATOR is the activation assert
        //       $NOT shows if the chain is a negative sentence
        //       $value indicates the expected value
        //       $rest is a tt
        //
        morq!(Unknown, false, $VALUE, $($rest)*);
    };

    // be - neutral rule
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, be . $($rest:tt)*) => {
        morq!($ACTIVATOR, $NOT, $VALUE, $($rest)*);
    };

    // to - neutral rule
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, to . $($rest:tt)*) => {
        morq!($ACTIVATOR, $NOT, $VALUE, $($rest)*);
    };

    // have - neutral rule
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, have . $($rest:tt)*) => {
        morq!($ACTIVATOR, $NOT, $VALUE, $($rest)*);
    };

    // not - negate rule
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, not . $($rest:tt)*) => {
        morq!($ACTIVATOR, !$NOT, $VALUE, $($rest)*);
    };

    // terminal rule
    // true
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, true ( ) $($rest:tt)*) => {
        morq!(Equal, $NOT, $VALUE, true, $($rest)*);
    };

    // terminal rule
    // false
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, false ( ) $($rest:tt)*) => {
        morq!(Equal, $NOT, $VALUE, false, $($rest)*);
    };

    // terminal rule
    // ok
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, ok ( ) $($rest:tt)*) => {
        // TODO: ugh. this is not a good way to test Result
        // Can we make it better?
        morq!(ResultCheck, $NOT, $VALUE.into_iter(), 0, $($rest)*);
    };

    // terminal rule
    // err
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, err ( ) $($rest:tt)*) => {
        morq!(ResultCheck, !$NOT, $VALUE.into_iter(), 0, $($rest)*);
    };

    // terminal rule
    // equal
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, equal ( $TARGET:expr ) $($rest:tt)*) => {
        morq!(Equal, $NOT, $VALUE, $TARGET, $($rest)*);
    };

    // terminal rule
    // close
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, close ( $TARGET:expr ) $($rest:tt)*) => {
        morq!(Close, $NOT, $VALUE, $TARGET, $($rest)*);
    };

    // terminal rule
    // close_to
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, close_to ( $TARGET:expr ) $($rest:tt)*) => {
        morq!(Close, $NOT, $VALUE, $TARGET, $($rest)*);
    };

    // terminal rule
    // empty
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, empty ( ) $($rest:tt)*) => {
        morq!(Empty, $NOT, $VALUE, 0, $($rest)*);
    };

    // terminal rule
    // empty
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, length_of ( $TARGET:expr ) $($rest:tt)*) => {
        morq!(LengthOf, $NOT, $VALUE, $TARGET, $($rest)*);
    };

    // terminal rule
    // empty
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, contain ( $TARGET:expr ) $($rest:tt)*) => {
        morq!(Contain, $NOT, $VALUE, $TARGET, $($rest)*);
    };

    // terminal rule
    // a (to match data type)
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, a ( $TARGET:ty ) $($rest:tt)*) => {
        morq!(TypeMatch, $NOT, $VALUE, $TARGET, $($rest)*);
    };

    // terminal rule
    // an (to match data type)
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, an ( $TARGET:ty ) $($rest:tt)*) => {
        morq!(TypeMatch, $NOT, $VALUE, $TARGET, $($rest)*);
    };

    // end of a rule
    // used for type check only
    // TODO: can we merge this one with the $TARGET:expr target?
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, $TARGET:ty, ; $($rest:tt)*) => {
        evaluate(&$ACTIVATOR::new(), $VALUE, ::std::any::TypeId::of::<$TARGET>(), $NOT);

        morq!($($rest)*);
    };

    // end of a rule
    ($ACTIVATOR:ident, $NOT:expr, $VALUE:expr, $TARGET:expr, ; $($rest:tt)*) => {
        evaluate(&$ACTIVATOR::new(), $VALUE, $TARGET, $NOT);

        morq!($($rest)*);
    };
    () => ();
}