wat_service 0.3.0

WebAssembly Text Format language service.
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

use crate::{
    binder::{SymbolKind, SymbolTable},
    helpers, LanguageService,
};
use line_index::LineIndex;
use lsp_types::{Diagnostic, DiagnosticSeverity, NumberOrString};

const DIAGNOSTIC_CODE: &str = "undef";

pub fn check(
    service: &LanguageService,
    diags: &mut Vec<Diagnostic>,
    line_index: &LineIndex,
    symbol_table: &SymbolTable,
) {
    let diagnostics = symbol_table
        .symbols
        .iter()
        .filter(|symbol| match &symbol.kind {
            SymbolKind::Module
            | SymbolKind::Func
            | SymbolKind::Param
            | SymbolKind::Local
            | SymbolKind::Type
            | SymbolKind::GlobalDef
            | SymbolKind::MemoryDef
            | SymbolKind::TableDef
            | SymbolKind::BlockDef => false,
            SymbolKind::Call
            | SymbolKind::TypeUse
            | SymbolKind::GlobalRef
            | SymbolKind::MemoryRef
            | SymbolKind::TableRef => symbol_table
                .find_defs(symbol.key)
                .is_none_or(|defs| defs.count() == 0),
            SymbolKind::LocalRef => symbol_table.find_param_or_local_def(symbol.key).is_none(),
            SymbolKind::BlockRef => !symbol_table.blocks.iter().any(|block| {
                block.ref_key == symbol.key && symbol.idx.is_defined_by(&block.def_idx)
            }),
        })
        .map(|symbol| {
            let kind = match symbol.kind {
                SymbolKind::Call => "func",
                SymbolKind::LocalRef => "param or local",
                SymbolKind::TypeUse => "type",
                SymbolKind::GlobalRef => "global",
                SymbolKind::MemoryRef => "memory",
                SymbolKind::TableRef => "table",
                SymbolKind::BlockRef => "label",
                _ => unreachable!(),
            };
            Diagnostic {
                range: helpers::rowan_range_to_lsp_range(line_index, symbol.key.text_range()),
                severity: Some(DiagnosticSeverity::ERROR),
                source: Some("wat".into()),
                code: Some(NumberOrString::String(DIAGNOSTIC_CODE.into())),
                message: format!(
                    "cannot find {kind} `{}` in this scope",
                    symbol.idx.render(service)
                ),
                ..Default::default()
            }
        });
    diags.extend(diagnostics);
}