vespera_macro 0.3.0

Procedural macros for Vespera - automatic route discovery and OpenAPI generation
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

use syn::{GenericArgument, PathArguments, Type};

/// If `ty` is `Validated<Inner>`, return `Inner`; otherwise return `ty`.
pub(super) fn unwrap_validated_type(ty: &Type) -> &Type {
    extractor_inner_type(ty, "Validated").unwrap_or(ty)
}

/// Return true when the type is a `Validated<...>` extractor wrapper.
pub(super) fn is_validated_type(ty: &Type) -> bool {
    extractor_inner_type(ty, "Validated").is_some()
}

/// Extract the first generic type argument from an extractor by final path segment.
pub(super) fn extractor_inner_type<'a>(ty: &'a Type, extractor: &str) -> Option<&'a Type> {
    let Type::Path(type_path) = ty else {
        return None;
    };
    let segment = type_path.path.segments.last()?;
    if segment.ident != extractor {
        return None;
    }
    let PathArguments::AngleBracketed(args) = &segment.arguments else {
        return None;
    };
    let Some(GenericArgument::Type(inner_ty)) = args.args.first() else {
        return None;
    };
    Some(inner_ty)
}

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

    #[test]
    fn unwraps_validated_inner_extractor() {
        let ty: Type = syn::parse_str("vespera::Validated<axum::Json<User>>").unwrap();
        let inner = unwrap_validated_type(&ty);
        assert_eq!(quote::quote!(#inner).to_string(), "axum :: Json < User >");
    }

    #[test]
    fn extractor_inner_rejects_non_path_bare_and_non_type_arguments() {
        let reference: Type = syn::parse_quote!(&str);
        assert!(extractor_inner_type(&reference, "Validated").is_none());

        let bare: Type = syn::parse_quote!(Validated);
        assert!(extractor_inner_type(&bare, "Validated").is_none());

        let lifetime: Type = syn::parse_quote!(Validated<'static>);
        assert!(extractor_inner_type(&lifetime, "Validated").is_none());
        assert!(!is_validated_type(&lifetime));
    }
}