aboutsummaryrefslogtreecommitdiff
path: root/mingling_pathf/src/patterns/group.rs
blob: 99d11374f594843a39414ffc0a23d9696f086632 (plain) (blame)
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
use syn::Item;

use crate::pattern_analyzer::{AnalyzeItem, AnalyzePattern};

/// Matches the `group!` and `group_structural!` macros.
///
/// Covered forms:
/// - `group!(TypeName)`
/// - `group!(Alias = path::Type)`
/// - `group_structural!(TypeName)`
/// - `group_structural!(Alias = path::Type)`
pub struct GroupPattern;

impl AnalyzePattern for GroupPattern {
    fn contains(&self, content: &str) -> bool {
        content.contains("group!") || content.contains("group_structural!")
    }

    fn analyze(&self, content: &str) -> Vec<AnalyzeItem> {
        let Ok(syntax) = syn::parse_file(content) else {
            return Vec::new();
        };

        let mut items = Vec::new();

        for item in &syntax.items {
            match item {
                Item::Macro(m) => {
                    let Some(last) = m.mac.path.segments.last() else {
                        continue;
                    };
                    let macro_name = last.ident.to_string();
                    if macro_name != "group" && macro_name != "group_structural" {
                        continue;
                    }
                    if let Some(name) = extract_group_name(&m.mac.tokens) {
                        items.push(AnalyzeItem {
                            module: String::new(),
                            item_name: name,
                        });
                    }
                }
                Item::Mod(item_mod) => {
                    if let Some((_, nested)) = &item_mod.content {
                        for n in nested {
                            if let Item::Macro(m) = n {
                                let Some(last) = m.mac.path.segments.last() else {
                                    continue;
                                };
                                let macro_name = last.ident.to_string();
                                if macro_name != "group" && macro_name != "group_structural" {
                                    continue;
                                }
                                if let Some(name) = extract_group_name(&m.mac.tokens) {
                                    items.push(AnalyzeItem {
                                        module: item_mod.ident.to_string(),
                                        item_name: name,
                                    });
                                }
                            }
                        }
                    }
                }
                _ => {}
            }
        }

        items
    }
}

/// Extract the alias / type name from the arguments of `group!`.
///
/// - `group!(ParseIntError)` → `ParseIntError`
/// - `group!(ErrorIo = std::io::Error)` → `ErrorIo`
fn extract_group_name(tokens: &proc_macro2::TokenStream) -> Option<String> {
    let stream = tokens.clone();
    let mut iter = stream.into_iter();

    loop {
        match iter.next()? {
            proc_macro2::TokenTree::Ident(ident) => {
                let name = ident.to_string();

                // Check if there is a `=` following
                let next = iter.next();
                match next {
                    Some(proc_macro2::TokenTree::Punct(p)) if p.as_char() == '=' => {
                        // group!(Alias = path::Type)
                        return Some(name);
                    }
                    _ => {
                        // group!(TypeName)
                        return Some(name);
                    }
                }
            }
            _ => continue,
        }
    }
}