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
132
133
134
135
136
137
138
139
140
141

#![warn(clippy::all)]
#![warn(clippy::cargo_common_metadata)]

mod attr;
mod replacement;

use self::attr::MetaforAttr;
use self::attr::TemplateValues;
use self::replacement::IdentReplacer;
use proc_macro::TokenStream;
use proc_macro2::TokenStream as TokenStream2;
use quote::ToTokens;
use std::collections::HashMap;
use syn::parse_macro_input;
use syn::visit_mut::VisitMut;
use syn::Ident;
use syn::Item;

#[proc_macro_attribute]
pub fn metafor(attr: TokenStream, input: TokenStream) -> TokenStream {
    let input = parse_macro_input!(input as Item);
    let attr = parse_macro_input!(attr as MetaforAttr);

    impl_metafor(input, attr)
        .into_iter()
        .map(|item| item.to_token_stream())
        .collect::<TokenStream2>()
        .into()
}

fn impl_metafor(input: Item, attr: MetaforAttr) -> Vec<Item> {
    generate_mappings(&attr)
        .map(|mapping| {
            let mut dup_input = input.clone();

            let mut ident_replacer = IdentReplacer::new(mapping);
            ident_replacer.visit_item_mut(&mut dup_input);

            dup_input
        })
        .collect()
}

fn generate_mappings<'a>(attr: &'a MetaforAttr) -> impl Iterator<Item = HashMap<Ident, &'a Ident>> {
    let replacements = &attr.replacements;

    // Creates a counter for each template identifier.
    let mut counters = HashMap::new();
    for (template_ident, _) in replacements.iter() {
        counters.insert(template_ident, 0usize);
    }

    let mut has_next_combo = true;
    core::iter::from_fn(move || {
        if !has_next_combo {
            return None;
        }

        let mut mapping = HashMap::new();

        // Populate the map to return
        for (temp_ident, counter) in counters.iter() {
            match &replacements[*temp_ident] {
                TemplateValues::Idents(idents) => {
                    // Get the identifier that will replace the template parameter
                    let replacement_ident = &idents[*counter];

                    // Create the new identifier to replace
                    let string = format!("__{}__", temp_ident);
                    let temp_ident = Ident::new(&string, temp_ident.span());

                    // Record the mapping
                    mapping.insert(temp_ident, replacement_ident);
                }
                TemplateValues::Tuples(tuples) => {
                    let temp_tuple = &tuples[*counter];

                    for (i, temp_tuple_value) in temp_tuple.values().enumerate() {
                        let string = format!("__{}__{}__", temp_ident, i);
                        let temp_ident = Ident::new(&string, temp_ident.span());

                        mapping.insert(temp_ident, temp_tuple_value);
                    }
                }
                TemplateValues::Structs(structs) => {
                    let temp_struct = &structs[*counter];

                    for (struct_field, temp_struct_value) in temp_struct.fields() {
                        let string = format!("__{}__{}__", temp_ident, struct_field);
                        let temp_ident = Ident::new(&string, temp_ident.span());

                        mapping.insert(temp_ident, temp_struct_value);
                    }
                }
            };
        }

        // Iterate the next combination
        has_next_combo = false;
        for (template_ident, counter) in counters.iter_mut() {
            let max_count = replacements[template_ident].len();
            *counter += 1;

            // If the current counter has reached its max, reset it and move to the next one.
            if *counter >= max_count {
                *counter = 0;
            } else {
                has_next_combo = true;
                break;
            }
        }

        Some(mapping)
    })
}

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

    #[test]
    fn impl_metafor_test() {
        let input = parse_quote! {
            impl MyTrait for __i__ {}
        };

        let attr = parse_quote! {
            i = [u8, u16]
        };

        let actual = impl_metafor(input, attr);
        let expected = vec![
            parse_quote!(impl MyTrait for u8 {}),
            parse_quote!(impl MyTrait for u16 {}),
        ];

        assert_eq!(actual, expected)
    }
}