anodized-core 0.5.1

Core interoperability for the Anodized specification system
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

use crate::{DataSpec, instrument::Config, test_util::assert_tokens_eq};

use proc_macro2::TokenStream;
use syn::{ItemEnum, ItemStruct, parse_quote};

#[test]
fn embed_spec_item_struct() {
    let struct_spec: DataSpec = parse_quote! {
        maintains: [
            COND_1,
            COND_2,
        ],
    };
    let item_struct: ItemStruct = parse_quote! {
        struct STRUCT<'LT_1, TYPE_1: BOUND_1 = DEFAULT_1, const CONST_1: TYPE_2 = DEFAULT_2>
        where
            'LT_1: 'LT_2,
        {
            FIELD_1: &'LT_1 TYPE_3,
            FIELD_2: TYPE_1,
            FIELD_3: [TYPE_4; CONST_1],
        }
    };

    let expected: TokenStream = parse_quote! {
        struct STRUCT<'LT_1, TYPE_1: BOUND_1 = DEFAULT_1, const CONST_1: TYPE_2 = DEFAULT_2>
        where
            'LT_1: 'LT_2,
        {
            FIELD_1: &'LT_1 TYPE_3,
            FIELD_2: TYPE_1,
            FIELD_3: [TYPE_4; CONST_1],
        }

        #[doc(hidden)]
        #[allow(warnings)]
        impl<'LT_1, TYPE_1: BOUND_1, const CONST_1: TYPE_2> STRUCT<'LT_1, TYPE_1, CONST_1>
        where
            'LT_1: 'LT_2,
        {
            fn __anodized_data_maintains(&self) {
                let _ = | | COND_1;
                let _ = | | COND_2;
            }
        }
    };

    let observed = Config::DEFAULT
        .instrument_item_struct(struct_spec, item_struct)
        .unwrap();
    assert_tokens_eq(&observed, &expected);
}

#[test]
fn embed_spec_item_enum() {
    let struct_spec: DataSpec = parse_quote! {
        maintains: [
            COND_1,
            COND_2,
        ],
    };
    let item_enum: ItemEnum = parse_quote! {
        enum ENUM<'LT_1, TYPE_1: BOUND_1 = DEFAULT_1, const CONST_1: TYPE_2 = DEFAULT_2>
        where
            'LT_1: 'LT_2,
        {
            VARIANT_1(&'LT_1 TYPE_2),
            VARIANT_2 { FIELD_2: TYPE_1 },
            VARIANT_3,
            VARIANT_4([TYPE_4; CONST_1]),
        }
    };

    let expected: TokenStream = parse_quote! {
        enum ENUM<'LT_1, TYPE_1: BOUND_1 = DEFAULT_1, const CONST_1: TYPE_2 = DEFAULT_2>
        where
            'LT_1: 'LT_2,
        {
            VARIANT_1(&'LT_1 TYPE_2),
            VARIANT_2 { FIELD_2: TYPE_1 },
            VARIANT_3,
            VARIANT_4([TYPE_4; CONST_1]),
        }

        #[doc(hidden)]
        #[allow(warnings)]
        impl<'LT_1, TYPE_1: BOUND_1, const CONST_1: TYPE_2> ENUM<'LT_1, TYPE_1, CONST_1>
        where
            'LT_1: 'LT_2,
        {
            fn __anodized_data_maintains(&self) {
                use ENUM::*;
                let _ = | | COND_1;
                let _ = | | COND_2;
            }
        }
    };

    let observed = Config::DEFAULT
        .instrument_item_enum(struct_spec, item_enum)
        .unwrap();
    assert_tokens_eq(&observed, &expected);
}