summaryrefslogtreecommitdiff
path: root/engine-macros/src/reflection/struct_impl.rs
blob: 58046fe27807d94beedf57af56071b82f9077b38 (plain)
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
use quote::quote;

use crate::reflection::default_value::gen_get_default_value_fn;
use crate::reflection::field::{generate as generate_field, ReflectionFieldGenOptions};
use crate::reflection::options_attr::OptionsAttr;
use crate::util::find_engine_crate_path;

pub fn generate(input: syn::ItemStruct, options: OptionsAttr)
    -> proc_macro2::TokenStream
{
    let engine_crate_path = find_engine_crate_path().unwrap();

    if input.generics.params.is_empty() {
        return gen_impl(&input, None, &engine_crate_path);
    }

    let impls = options
        .impl_with_generics
        .into_iter()
        .map(|generic_args| gen_impl(&input, Some(&generic_args), &engine_crate_path));

    quote! {
        #(#impls)*
    }
}

fn gen_impl(
    input: &syn::ItemStruct,
    generic_args: Option<&syn::AngleBracketedGenericArguments>,
    engine_crate_path: &syn::Path,
) -> proc_macro2::TokenStream
{
    let fields = input.fields.iter().enumerate().map(|(field_index, field)| {
        generate_field(
            &field,
            field_index,
            &engine_crate_path,
            ReflectionFieldGenOptions {
                field_vis_override: None,
                gen_get_byte_offset: &|field| {
                    if let Some(field_ident) = &field.ident {
                        quote! { std::mem::offset_of!(Self, #field_ident) }
                    } else {
                        quote! { std::mem::offset_of!(Self, #field_index) }
                    }
                },
            },
        )
    });

    let get_default_value_fn = gen_get_default_value_fn(&input.ident, generic_args);

    let input_ident = &input.ident;

    let generics_type_aliases = input
        .generics
        .type_params()
        .zip(
            generic_args
                .iter()
                .map(|generic_args| &generic_args.args)
                .flatten()
                .flat_map(|generic_arg| match generic_arg {
                    syn::GenericArgument::Type(ty) => Some(ty),
                    _ => None,
                }),
        )
        .map(|(type_param, generic_arg_type)| {
            let type_param_ident = &type_param.ident;

            quote! {
                type #type_param_ident = #generic_arg_type;
            }
        });

    quote! {
        unsafe impl #engine_crate_path::reflection::Reflection for
            #input_ident #generic_args
        {
            const TYPE_REFLECTION: &#engine_crate_path::reflection::Type =
                &const {
                    #(#generics_type_aliases)*

                    #engine_crate_path::reflection::Type::Struct(
                        #engine_crate_path::reflection::Struct {
                            fields: &[
                                #(#fields),*
                            ],
                            get_default_value: || {
                                #get_default_value_fn
                            }
                        }
                    )
                };
        }
    }
}