ltk_ritobin 0.12.0

Ritobin text format parser and writer for League Toolkit
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
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

use crate::span::Span;
use crate::{
    ast::{
        builder::Builder,
        diagnostics::{
            Diagnostic::{self},
            MaybeSpanDiag,
        },
        resolve::literals::ExpectedType,
        Value,
    },
    cst::Kind,
    parse::Token,
    Node, RitoType,
};

impl<'a> Builder<'a> {
    pub(crate) fn resolve_literal(
        &mut self,
        text: &str,
        token: &Token,
        expected_type: Option<ExpectedType>,
        expected_type_span: Option<Span>,
    ) -> Value {
        match Value::eval(text, token, expected_type, expected_type_span) {
            Ok(value) => value,
            Err(e) => {
                self.push(Diagnostic::from(e).default_span(token.span));
                match expected_type {
                    Some(ExpectedType::Exact(kind)) => Value::Unresolved {
                        span: token.span,
                        kind,
                    },
                    _ => Value::Unknown(token.span),
                }
            }
        }
    }
    pub(crate) fn resolve_value(
        &mut self,
        wrapper: &Node,
        numeric_hint: Option<impl Into<ExpectedType>>,
        numeric_hint_span: Option<Span>,
    ) -> Result<Value, Diagnostic> {
        self.resolve_value_inner(wrapper, numeric_hint.map(Into::into), numeric_hint_span)
    }

    fn resolve_value_inner(
        &mut self,
        wrapper: &Node,
        numeric_hint: Option<ExpectedType>,
        numeric_hint_span: Option<Span>,
    ) -> Result<Value, Diagnostic> {
        let Some(child) = wrapper.children.get(self.cst).first() else {
            return Err(Diagnostic::CustomSpan(
                "[resolve_value] node has no children",
                wrapper.span,
            ));
        };
        let Some(node) = child.tree(self.cst) else {
            return Err(Diagnostic::CustomSpan(
                "[resolve_value] first child is not a node",
                wrapper.span,
            ));
        };
        match node.kind {
            Kind::Class => {
                let Some(ExpectedType::Exact(kind)) = numeric_hint else {
                    return Err(Diagnostic::CustomSpan(
                        "Cannot resolve class block with no type hint",
                        node.span,
                    ));
                };
                self.resolve_class(node, kind)
            }
            Kind::Block => {
                let Some(ExpectedType::Exact(kind)) = numeric_hint else {
                    return Err(Diagnostic::CustomSpan(
                        "Cannot resolve block with no type hint",
                        node.span,
                    ));
                };
                self.resolve_block_value(node, kind, numeric_hint_span)
                    .map_err(|e| e.fallback(node.span).diagnostic)
            }
            Kind::Literal => {
                let Some(token_child) = node.children.get(self.cst).first() else {
                    return Err(Diagnostic::CustomSpan(
                        "[resolve_value] literal node has no children",
                        wrapper.span,
                    ));
                };
                let Some(token) = token_child.token(self.cst) else {
                    return Err(Diagnostic::CustomSpan(
                        "[resolve_value] literal node's first child is not a token",
                        wrapper.span,
                    ));
                };
                Ok(self.resolve_literal(self.text, token, numeric_hint, numeric_hint_span))
            }
            Kind::ErrorTree => Ok(Value::Unknown(node.span)),
            _ => Err(Diagnostic::CustomSpan(
                "[resolve_value] cannot resolve this node kind",
                node.span,
            )),
        }
    }

    pub(crate) fn resolve_list_item_block(
        &mut self,
        node: &Node,
        hint: impl Into<RitoType>,
        hint_span: Option<Span>,
    ) -> Result<Value, MaybeSpanDiag> {
        self.resolve_block_value(node, hint, hint_span)
    }
}