macroonz-harness 0.2.0

Safe-Rust property, fuzz, fault, schedule, mutation, network, and benchmark testing with typed evidence, reduction, and replay.
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

//! The private stamp for change readings that retain one before-and-after pair.

macro_rules! declare_change_pair {
    (
        $(#[$meta:meta])*
        $visibility:vis struct $name:ident {
            context { $( $context:ident: $context_type:ty, )* }
            value: $value:ty,
        }
    ) => {
        $(#[$meta])*
        $visibility struct $name {
            $( $context: $context_type, )*
            before: $value,
            after: $value,
        }
    };
}

macro_rules! implement_copy_change_pair {
    (
        $name:ident {
            context { $( $context:ident: $context_type:ty => $context_doc:literal, )* }
            value: $value:ty,
            construction: $construction_doc:literal,
            before: $before_doc:literal,
            after: $after_doc:literal,
        }
    ) => {
        impl $name {
            #[doc = $construction_doc]
            #[must_use]
            pub(in crate::report) const fn between(
                $( $context: $context_type, )*
                before: $value,
                after: $value,
            ) -> Self {
                Self {
                    $( $context, )*
                    before,
                    after,
                }
            }

            $(
                #[doc = $context_doc]
                #[must_use]
                pub const fn $context(self) -> $context_type {
                    self.$context
                }
            )*

            #[doc = $before_doc]
            #[must_use]
            pub const fn before(self) -> $value {
                self.before
            }

            #[doc = $after_doc]
            #[must_use]
            pub const fn after(self) -> $value {
                self.after
            }
        }
    };
}

macro_rules! implement_borrowed_change_pair {
    (
        $name:ident {
            context { $( $context:ident: $context_type:ty => $context_doc:literal, )* }
            value: $value:ty,
            construction: $construction_doc:literal,
            before: $before_doc:literal,
            after: $after_doc:literal,
        }
    ) => {
        impl $name {
            #[doc = $construction_doc]
            #[must_use]
            pub(in crate::report) const fn between(
                $( $context: $context_type, )*
                before: $value,
                after: $value,
            ) -> Self {
                Self {
                    $( $context, )*
                    before,
                    after,
                }
            }

            $(
                #[doc = $context_doc]
                #[must_use]
                pub const fn $context(&self) -> &$context_type {
                    &self.$context
                }
            )*

            #[doc = $before_doc]
            #[must_use]
            pub const fn before(&self) -> &$value {
                &self.before
            }

            #[doc = $after_doc]
            #[must_use]
            pub const fn after(&self) -> &$value {
                &self.after
            }
        }
    };
}

pub(crate) use {declare_change_pair, implement_borrowed_change_pair, implement_copy_change_pair};