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

use debris_common::{CodeRef, CompileContext, Ident, Span};
use debris_error::ParseError;
use debris_parser::{
    ast::{AstItem, AstNodeOrToken},
    LocalSpan,
};

use super::{ImportDependencies, SpannedIdentifier};

/// Contains state data that are used during the hir construction
#[derive(Debug)]
pub struct HirContext<'a, 'dep> {
    pub input_file: CodeRef<'a>,
    pub compile_context: &'a CompileContext,
    pub file_offset: usize,
    pub dependencies: &'dep mut ImportDependencies,
    pub errors: Vec<ParseError>,
}

impl<'a, 'dep> HirContext<'a, 'dep> {
    pub fn new(
        input_file: CodeRef<'a>,
        compile_context: &'a CompileContext,
        dependencies: &'dep mut ImportDependencies,
    ) -> Self {
        let file_offset = input_file.get_offset();
        HirContext {
            input_file,
            compile_context,
            file_offset,
            dependencies,
            errors: Default::default(),
        }
    }

    pub fn span(&self, item: impl Into<AstNodeOrToken>) -> Span {
        let span = item.into().span();
        self.normalize_local_span(span)
    }

    pub fn item_span(&self, ast_item: &impl AstItem) -> Span {
        let item = ast_item.to_item();
        let local_span = item.span();
        self.normalize_local_span(local_span)
    }

    pub fn normalize_local_span(&self, local_span: LocalSpan) -> Span {
        Span::new(local_span.start() + self.file_offset, local_span.len())
    }

    pub fn get_ident(&self, spanned_ident: SpannedIdentifier) -> Ident {
        self.compile_context
            .input_files
            .get_span_str(spanned_ident.span)
            .into()
    }

    pub fn add_import_file(&mut self, spanned_ident: SpannedIdentifier) -> usize {
        let span = spanned_ident.span;
        let ident = self.get_ident(spanned_ident);
        self.dependencies.insert(ident, span)
    }
}