aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/db.rs
blob: 0a0994f5f7f7c70cc7e7156d9d5d00c0829c34b5 (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
116
117
118
119
120
121
122
123
124
125
126
use std::sync::Arc;

use ra_syntax::{SyntaxNode, TreeArc, SourceFile};
use ra_db::{SourceRootId, LocationIntener, SyntaxDatabase};

use crate::{
    DefLoc, DefId, MacroCallLoc, MacroCallId, Name, HirFileId,
    SourceFileItems, SourceItemId, Crate,
    query_definitions,
    FnSignature, FnScopes,
    macros::MacroExpansion,
    module_tree::{ModuleId, ModuleTree},
    nameres::{ItemMap, InputModuleItems},
    ty::{InferenceResult, Ty, method_resolution::CrateImplBlocks},
    adt::{StructData, EnumData, EnumVariantData},
    impl_block::ModuleImplBlocks,
};

salsa::query_group! {

pub trait HirDatabase: SyntaxDatabase
    + AsRef<LocationIntener<DefLoc, DefId>>
    + AsRef<LocationIntener<MacroCallLoc, MacroCallId>>
{
    fn hir_source_file(file_id: HirFileId) -> TreeArc<SourceFile> {
        type HirSourceFileQuery;
        use fn HirFileId::hir_source_file;
    }

    fn expand_macro_invocation(invoc: MacroCallId) -> Option<Arc<MacroExpansion>> {
        type ExpandMacroCallQuery;
        use fn crate::macros::expand_macro_invocation;
    }

    fn fn_scopes(def_id: DefId) -> Arc<FnScopes> {
        type FnScopesQuery;
        use fn query_definitions::fn_scopes;
    }

    fn struct_data(def_id: DefId) -> Arc<StructData> {
        type StructDataQuery;
        use fn crate::adt::StructData::struct_data_query;
    }

    fn enum_data(def_id: DefId) -> Arc<EnumData> {
        type EnumDataQuery;
        use fn crate::adt::EnumData::enum_data_query;
    }

    fn enum_variant_data(def_id: DefId) -> Arc<EnumVariantData> {
        type EnumVariantDataQuery;
        use fn crate::adt::EnumVariantData::enum_variant_data_query;
    }

    fn infer(def_id: DefId) -> Arc<InferenceResult> {
        type InferQuery;
        use fn crate::ty::infer;
    }

    fn type_for_def(def_id: DefId) -> Ty {
        type TypeForDefQuery;
        use fn crate::ty::type_for_def;
    }

    fn type_for_field(def_id: DefId, field: Name) -> Option<Ty> {
        type TypeForFieldQuery;
        use fn crate::ty::type_for_field;
    }

    fn file_items(file_id: HirFileId) -> Arc<SourceFileItems> {
        type SourceFileItemsQuery;
        use fn query_definitions::file_items;
    }

    fn file_item(source_item_id: SourceItemId) -> TreeArc<SyntaxNode> {
        type FileItemQuery;
        use fn query_definitions::file_item;
    }

    fn submodules(source: SourceItemId) -> Arc<Vec<crate::module_tree::Submodule>> {
        type SubmodulesQuery;
        use fn crate::module_tree::Submodule::submodules_query;
    }

    fn input_module_items(source_root_id: SourceRootId, module_id: ModuleId) -> Arc<InputModuleItems> {
        type InputModuleItemsQuery;
        use fn query_definitions::input_module_items;
    }

    fn item_map(source_root_id: SourceRootId) -> Arc<ItemMap> {
        type ItemMapQuery;
        use fn query_definitions::item_map;
    }

    fn module_tree(source_root_id: SourceRootId) -> Arc<ModuleTree> {
        type ModuleTreeQuery;
        use fn crate::module_tree::ModuleTree::module_tree_query;
    }

    fn impls_in_module(source_root_id: SourceRootId, module_id: ModuleId) -> Arc<ModuleImplBlocks> {
        type ImplsInModuleQuery;
        use fn crate::impl_block::impls_in_module;
    }

    fn impls_in_crate(krate: Crate) -> Arc<CrateImplBlocks> {
        type ImplsInCrateQuery;
        use fn crate::ty::method_resolution::CrateImplBlocks::impls_in_crate_query;
    }

    fn body_hir(def_id: DefId) -> Arc<crate::expr::Body> {
        type BodyHirQuery;
        use fn crate::expr::body_hir;
    }

    fn body_syntax_mapping(def_id: DefId) -> Arc<crate::expr::BodySyntaxMapping> {
        type BodySyntaxMappingQuery;
        use fn crate::expr::body_syntax_mapping;
    }

    fn fn_signature(def_id: DefId) -> Arc<FnSignature> {
        type FnSignatureQuery;
        use fn crate::FnSignature::fn_signature_query;
    }
}

}