bbnf-analysis 0.1.1

Pure analysis logic for BBNF grammars (shared by LSP + WASM)
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

use ls_types::*;

use crate::analysis::{symbol_at_offset, SymbolAtOffset};
use crate::state::DocumentState;

pub fn references(
    state: &DocumentState,
    uri: &Uri,
    position: Position,
    include_declaration: bool,
) -> Option<Vec<Location>> {
    let offset = state.line_index.position_to_offset(position);
    let symbol = symbol_at_offset(&state.info, offset)?;

    let name = match &symbol {
        SymbolAtOffset::RuleDefinition(rule) => rule.name.clone(),
        SymbolAtOffset::RuleReference { name, .. } => name.clone(),
    };

    let mut locations = Vec::new();

    // Include the definition location.
    if include_declaration {
        if let Some(&idx) = state.info.rule_index.get(name.as_str()) {
            let rule = &state.info.rules[idx];
            locations.push(Location {
                uri: uri.clone(),
                range: state.line_index.span_to_range(rule.name_span.0, rule.name_span.1),
            });
        }
    }

    // All references across all rules.
    for rule in &state.info.rules {
        for refinfo in &rule.references {
            if refinfo.name == name {
                locations.push(Location {
                    uri: uri.clone(),
                    range: state.line_index.span_to_range(refinfo.span.0, refinfo.span.1),
                });
            }
        }
    }

    if locations.is_empty() {
        None
    } else {
        Some(locations)
    }
}