cgp-macro-lib 0.7.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
57
58
59
60
61
62
63
64
65

use proc_macro2::TokenStream;
use quote::quote;
use syn::{Ident, ItemEnum, parse2};

use crate::derive_extractor::{
    derive_extract_field_impls, derive_extractor_enum, derive_extractor_enum_ref,
    derive_finalize_extract_impl, derive_has_extractor_impl, derive_has_extractor_mut_impl,
    derive_has_extractor_ref_impl, derive_partial_data_impl,
};

pub fn derive_extract_field(body: TokenStream) -> syn::Result<TokenStream> {
    let context_enum: ItemEnum = parse2(body)?;
    derive_extract_field_from_enum(&context_enum)
}

pub fn derive_extract_field_from_enum(context_enum: &ItemEnum) -> syn::Result<TokenStream> {
    let context_ident = &context_enum.ident;

    let extractor_ident = Ident::new(&format!("__Partial{context_ident}"), context_ident.span());
    let extractor_enum = derive_extractor_enum(context_enum, &extractor_ident)?;

    let extractor_ref_ident = Ident::new(
        &format!("__PartialRef{context_ident}"),
        context_ident.span(),
    );
    let extractor_ref_enum = derive_extractor_enum_ref(context_enum, &extractor_ref_ident)?;

    let has_extractor_impl = derive_has_extractor_impl(context_enum, &extractor_ident)?;

    let has_extractor_ref_impl = derive_has_extractor_ref_impl(context_enum, &extractor_ref_ident)?;

    let has_extractor_mut_impl = derive_has_extractor_mut_impl(context_enum, &extractor_ref_ident)?;

    let finalize_extract_impl =
        derive_finalize_extract_impl(context_enum, &extractor_ident, false)?;

    let finalize_extract_ref_impl =
        derive_finalize_extract_impl(context_enum, &extractor_ref_ident, true)?;

    let partial_data_impl = derive_partial_data_impl(context_enum, &extractor_ident, false)?;
    let partial_ref_data_impl = derive_partial_data_impl(context_enum, &extractor_ref_ident, true)?;

    let extractor_impls = derive_extract_field_impls(context_enum, &extractor_ident, false)?;
    let extractor_ref_impls = derive_extract_field_impls(context_enum, &extractor_ref_ident, true)?;

    let out = quote! {
        #extractor_enum
        #extractor_ref_enum

        #partial_data_impl
        #partial_ref_data_impl

        #has_extractor_impl
        #has_extractor_ref_impl
        #has_extractor_mut_impl

        #finalize_extract_impl
        #finalize_extract_ref_impl

        #(#extractor_impls)*
        #(#extractor_ref_impls)*
    };

    Ok(out)
}