wat_service 0.5.1

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
66
67

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

const DIAGNOSTIC_CODE: &str = "undef";

pub fn check(
    service: &LanguageService,
    diagnostics: &mut Vec<Diagnostic>,
    line_index: &LineIndex,
    symbol_table: &SymbolTable,
) {
    diagnostics.extend(
        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
                | SymbolKind::FieldDef => false,
                SymbolKind::Call
                | SymbolKind::TypeUse
                | SymbolKind::GlobalRef
                | SymbolKind::MemoryRef
                | SymbolKind::TableRef
                | SymbolKind::FieldRef => symbol_table.find_def(symbol.key).is_none(),
                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",
                    SymbolKind::FieldRef => "field",
                    _ => 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(Union2::B(DIAGNOSTIC_CODE.into())),
                    message: format!(
                        "cannot find {kind} `{}` in this scope",
                        symbol.idx.render(service)
                    ),
                    ..Default::default()
                }
            }),
    );
}