aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_editor/src/scope/mod_scope.rs
blob: d2a3e7c58374f7ec9a9acf2175ca6deb66e5152e (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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
use ra_syntax::{
    AstNode, SyntaxNode, SyntaxNodeRef, SmolStr,
    ast::{self, AstChildren},
};

pub struct ModuleScope {
    entries: Vec<Entry>,
}

pub struct Entry {
    node: SyntaxNode,
    kind: EntryKind,
}

enum EntryKind {
    Item, Import,
}

impl ModuleScope {
    pub fn new(items: AstChildren<ast::ModuleItem>) -> ModuleScope {
        let mut entries = Vec::new();
        for item in items {
            let entry = match item {
                ast::ModuleItem::StructDef(item) => Entry::new(item),
                ast::ModuleItem::EnumDef(item) => Entry::new(item),
                ast::ModuleItem::FnDef(item) => Entry::new(item),
                ast::ModuleItem::ConstDef(item) => Entry::new(item),
                ast::ModuleItem::StaticDef(item) => Entry::new(item),
                ast::ModuleItem::TraitDef(item) => Entry::new(item),
                ast::ModuleItem::TypeDef(item) => Entry::new(item),
                ast::ModuleItem::Module(item) => Entry::new(item),
                ast::ModuleItem::UseItem(item) => {
                    if let Some(tree) = item.use_tree() {
                        collect_imports(tree, &mut entries);
                    }
                    continue;
                },
                ast::ModuleItem::ExternCrateItem(_) |
                ast::ModuleItem::ImplItem(_) => continue,
            };
            entries.extend(entry)
        }

        ModuleScope { entries }
    }

    pub fn entries(&self) -> &[Entry] {
        self.entries.as_slice()
    }
}

impl Entry {
    fn new<'a>(item: impl ast::NameOwner<'a>) -> Option<Entry> {
        let name = item.name()?;
        Some(Entry { node: name.syntax().owned(), kind: EntryKind::Item })
    }
    fn new_import(path: ast::Path) -> Option<Entry> {
        let name_ref = path.segment()?.name_ref()?;
        Some(Entry { node: name_ref.syntax().owned(), kind: EntryKind::Import })
    }
    pub fn name(&self) -> SmolStr {
        match self.kind {
            EntryKind::Item =>
                ast::Name::cast(self.node.borrowed()).unwrap()
                    .text(),
            EntryKind::Import =>
                ast::NameRef::cast(self.node.borrowed()).unwrap()
                    .text(),
        }
    }
    pub fn syntax(&self) -> SyntaxNodeRef {
        self.node.borrowed()
    }
}

fn collect_imports(tree: ast::UseTree, acc: &mut Vec<Entry>) {
    if let Some(use_tree_list) = tree.use_tree_list() {
        return use_tree_list.use_trees().for_each(|it| collect_imports(it, acc));
    }
    if let Some(path) = tree.path() {
        acc.extend(Entry::new_import(path));
    }
}


#[cfg(test)]
mod tests {
    use super::*;
    use ra_syntax::{File, ast::ModuleItemOwner};

    fn do_check(code: &str, expected: &[&str]) {
        let file = File::parse(&code);
        let scope = ModuleScope::new(file.ast().items());
        let actual = scope.entries
            .iter()
            .map(|it| it.name())
            .collect::<Vec<_>>();
        assert_eq!(expected, actual.as_slice());
    }

    #[test]
    fn test_module_scope() {
        do_check("
            struct Foo;
            enum Bar {}
            mod baz {}
            fn quux() {}
            use x::{
                y::z,
                t,
            };
            type T = ();
        ", &["Foo", "Bar", "baz", "quux", "z", "t", "T"])
    }
}