wat_service 0.2.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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

use crate::{binder::SymbolTablesCtx, files::FilesCtx, InternUri, LanguageService};
use lsp_types::Diagnostic;
use wat_syntax::{SyntaxKind, SyntaxNode};

mod dup_names;
mod immediates;
mod implicit_module;
mod multi_modules;
mod shadow;
mod typeck;
mod undef;
mod unknown_instr;
mod unused;

pub fn check(service: &LanguageService, uri: InternUri) -> Vec<Diagnostic> {
    let line_index = service.line_index(uri);
    let root = SyntaxNode::new_root(service.root(uri));
    let symbol_table = service.symbol_table(uri);

    let mut diagnostics = service.parser_result(uri).1;
    root.descendants().for_each(|node| match node.kind() {
        SyntaxKind::ROOT => {
            multi_modules::check(&mut diagnostics, &line_index, &node);
        }
        SyntaxKind::MODULE => {
            implicit_module::check(service, &mut diagnostics, uri, &line_index, &node);
        }
        SyntaxKind::MODULE_FIELD_FUNC => {
            typeck::check_func(
                &mut diagnostics,
                service,
                uri,
                &line_index,
                &node,
                &symbol_table,
            );
        }
        SyntaxKind::MODULE_FIELD_GLOBAL => {
            typeck::check_global(
                &mut diagnostics,
                service,
                uri,
                &line_index,
                &node,
                &symbol_table,
            );
        }
        SyntaxKind::PLAIN_INSTR => {
            unknown_instr::check(&mut diagnostics, &line_index, &node);
            immediates::check(&mut diagnostics, &line_index, &node);
        }
        _ => {}
    });
    undef::check(service, &mut diagnostics, &line_index, &symbol_table);
    dup_names::check(
        service,
        &mut diagnostics,
        uri,
        &line_index,
        &root,
        &symbol_table,
    );
    unused::check(
        service,
        &mut diagnostics,
        uri,
        &line_index,
        &root,
        &symbol_table,
    );
    shadow::check(
        service,
        &mut diagnostics,
        uri,
        &line_index,
        &root,
        &symbol_table,
    );

    diagnostics
}