lelwel 0.10.4

Resilient LL(1) parser generator
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 codespan_reporting::files::{Files, SimpleFile};
use lsp_types::{Location, Url};

use crate::frontend::lexer::Token;
use crate::frontend::parser::Span;
use crate::{Cst, Node, NodeRef, Rule, SemanticData};

fn contains(span: &Span, pos: usize) -> bool {
    span.start <= pos && pos < span.end
}

pub fn lookup_rule_node(cst: &Cst<'_>, node: NodeRef, pos: usize) -> Option<NodeRef> {
    cst.children(node)
        .filter(|node| matches!(cst.get(*node), Node::Rule(..)))
        .find(|node| contains(&cst.span(*node), pos))
        .and_then(|node| lookup_rule_node(cst, node, pos).or(Some(node)))
}
pub fn inside_comment(cst: &Cst<'_>, node: NodeRef, pos: usize) -> bool {
    cst.children(node)
        .filter(|node| {
            matches!(
                cst.get(*node),
                Node::Token(
                    Token::LineComment | Token::BlockComment | Token::DocComment,
                    _
                )
            )
        })
        .any(|node| contains(&cst.span(node), pos))
}
pub fn find_node<P: Fn(Rule) -> bool>(
    cst: &Cst<'_>,
    node: NodeRef,
    pos: usize,
    pred: P,
) -> Option<NodeRef> {
    cst.children(node)
        .filter(|node| {
            if let Node::Rule(r, _) = cst.get(*node) {
                pred(r)
            } else {
                false
            }
        })
        .find(|node| contains(&cst.span(*node), pos))
        .and_then(|node| find_node(cst, node, pos, pred).or(Some(node)))
}

pub fn lookup_definition(
    cst: &Cst<'_>,
    sema: &SemanticData<'_>,
    pos: usize,
    uri: &Url,
    file: &SimpleFile<&str, &str>,
    parser_path: &std::path::Path,
) -> Option<Location> {
    lookup_rule_node(cst, NodeRef::ROOT, pos).and_then(|node| {
        if let Some((rule_name, number)) = sema.predicates.get(&node) {
            lookup_parser_impl_definition("predicate", rule_name, number, parser_path)
        } else if let Some((rule_name, number)) = sema.actions.get(&node) {
            lookup_parser_impl_definition("action", rule_name, number, parser_path)
        } else {
            sema.decl_bindings.get(&node).map(|node| Location {
                uri: uri.clone(),
                range: super::compat::span_to_range(file, &cst.span(*node)),
            })
        }
    })
}

pub fn lookup_references(
    cst: &Cst<'_>,
    sema: &SemanticData<'_>,
    pos: usize,
    with_def: bool,
) -> Vec<NodeRef> {
    if let Some(def) = lookup_rule_node(cst, NodeRef::ROOT, pos) {
        let mut refs = sema
            .decl_bindings
            .iter()
            .filter_map(|(k, v)| (*v == def).then_some(*k))
            .collect::<Vec<_>>();
        if with_def {
            refs.push(def)
        }
        refs
    } else {
        vec![]
    }
}

/// Heuristic search for predicate or action implementation in the parser.rs file.
/// This doesn't work if these definitions are moved to another file and it doesn't
/// consider comments or definitions outside of the Parser impl.
fn lookup_parser_impl_definition(
    kind: &str,
    rule_name: &str,
    number: &str,
    parser_path: &std::path::Path,
) -> Option<Location> {
    let uri = Url::from_file_path(parser_path).ok()?;
    let source = std::fs::read_to_string(parser_path).ok()?;
    let file = SimpleFile::new(parser_path.to_str()?, source.as_str());
    source
        .find(&format!("fn {kind}_{rule_name}_{number}"))
        .and_then(|offset| file.location((), offset).ok())
        .map(|loc| {
            let pos = lsp_types::Position::new(
                (loc.line_number - 1) as u32,
                (loc.column_number - 1) as u32,
            );
            Location {
                uri,
                range: lsp_types::Range::new(pos, pos),
            }
        })
}