narrative-macros 0.1.0

Procedural macros for the narrative crate
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
130
131

// The generated trait is used as a super trait of the story trait, and provides `Self::*` items
// for coupled data types.
// Sealing the trait is not necessary because we have blanket impls of this for all types.

use proc_macro2::TokenStream;
use quote::quote;

use crate::item_story::{ItemStory, StoryItem};

pub fn generate(input: &ItemStory) -> TokenStream {
    let types = input.items.iter().filter_map(|item| {
        let (ident, generics) = match item {
            StoryItem::Struct(item) => (&item.ident, &item.generics),
            StoryItem::Enum(item) => (&item.ident, &item.generics),
            _ => return None,
        };
        Some(quote! {
            type #ident #generics;
        })
    });
    let types_assigns = input.items.iter().filter_map(|item| {
        let (ident, generics) = match item {
            StoryItem::Struct(item) => (&item.ident, &item.generics),
            StoryItem::Enum(item) => (&item.ident, &item.generics),
            _ => return None,
        };
        let mut no_bound = generics.clone();
        no_bound.type_params_mut().for_each(|param| {
            param.bounds.clear();
        });
        Some(quote! {
            type #ident #generics = #ident #no_bound;
        })
    });
    quote! {
        pub trait BaseTrait {
            #(#types)*
            type Context: narrative::story::StoryContext;
        }
        impl<T> BaseTrait for T {
            #(#types_assigns)*
            type Context = StoryContext;
        }
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use pretty_assertions::assert_eq;

    #[test]
    fn test_empty() {
        let story_syntax = syn::parse_quote! {
            trait User {
                #[step("Step 1")]
                fn step1();
                #[step("Step 2")]
                fn step2();
            }
        };
        let actual = generate(&story_syntax);
        let expected = quote! {
            pub trait BaseTrait {
                type Context: narrative::story::StoryContext;
            }
            impl<T> BaseTrait for T {
                type Context = StoryContext;
            }
        };
        assert_eq!(actual.to_string(), expected.to_string());
    }

    #[test]
    fn test_with_data_types() {
        let story_syntax = syn::parse_quote! {
            trait User {
                struct UserId;
                enum UserKind {}
                trait UserTrait {}
                #[step("Step 1")]
                fn step1();
                #[step("Step 2")]
                fn step2();
            }
        };
        let actual = generate(&story_syntax);
        let expected = quote! {
            pub trait BaseTrait {
                type UserId;
                type UserKind;
                type Context: narrative::story::StoryContext;
            }
            impl<T> BaseTrait for T {
                type UserId = UserId;
                type UserKind = UserKind;
                type Context = StoryContext;
            }
        };
        assert_eq!(actual.to_string(), expected.to_string());
    }

    #[test]
    fn test_with_generics() {
        let story_syntax = syn::parse_quote! {
            trait User {
                struct UserId<T>(T);
                enum UserKind<T: Clone> {}
                trait UserTrait<T> {}
                #[step("Step 1")]
                fn step1();
                #[step("Step 2")]
                fn step2();
            }
        };
        let actual = generate(&story_syntax);
        let expected = quote! {
            pub trait BaseTrait {
                type UserId<T>;
                type UserKind<T: Clone>;
                type Context: narrative::story::StoryContext;
            }
            impl<T> BaseTrait for T {
                type UserId<T> = UserId<T>;
                type UserKind<T: Clone> = UserKind<T>;
                type Context = StoryContext;
            }
        };
        assert_eq!(actual.to_string(), expected.to_string());
    }
}