cgp-component-macro-lib 0.3.0

Context-generic programming core component macros implemented as a library.
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

use proc_macro2::TokenStream;
use quote::quote;
use syn::ItemTrait;

use crate::derive_component::component_spec::ComponentSpec;
use crate::getter_component::getter_field::GetterField;

pub fn derive_with_provider_impl(
    spec: &ComponentSpec,
    consumer_trait: &ItemTrait,
    field: &GetterField,
) -> TokenStream {
    let component_name = &spec.component_name;
    let context_type = &spec.context_type;
    let provider_name = &spec.provider_name;

    // FIXME: replace `Self` with `Context` inside super trait bound
    let context_constraints = consumer_trait.supertraits.clone();

    let field_name = &field.field_name;
    let provider_type = &field.provider_type;

    let provider_constraint = if field.field_mut.is_none() {
        quote! {
            FieldGetter< #context_type, #component_name, Value = #provider_type >
        }
    } else {
        quote! {
            MutFieldGetter< #context_type, #component_name, Value = #provider_type >
        }
    };

    let method = if field.field_mut.is_none() {
        quote! {
            fn #field_name( context: & #context_type ) -> & #provider_type {
                Provider::get_field(context, ::core::marker::PhantomData )
            }
        }
    } else {
        quote! {
            fn #field_name( context: &mut #context_type ) -> &mut #provider_type {
                Provider::get_field_mut(context, ::core::marker::PhantomData )
            }
        }
    };

    quote! {
        impl< #context_type, Provider > #provider_name < #context_type > for WithProvider<Provider>
        where
            #context_type: #context_constraints,
            Provider: #provider_constraint,
        {
            #method
        }
    }
}