wat_service 0.7.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

use crate::{
    LanguageService,
    binder::{SymbolKey, SymbolTable},
    document::Document,
    helpers, types_analyzer,
};
use line_index::LineIndex;
use lspt::{Diagnostic, DiagnosticSeverity, Union2};
use rowan::ast::{AstNode, support};
use wat_syntax::{SyntaxNode, ast::Index};

const DIAGNOSTIC_CODE: &str = "start";

pub fn check(
    service: &LanguageService,
    document: Document,
    line_index: &LineIndex,
    symbol_table: &SymbolTable,
    node: &SyntaxNode,
) -> Option<Diagnostic> {
    let index = support::child::<Index>(node)?;
    let index = index.syntax();
    if symbol_table
        .find_def(SymbolKey::new(index))
        .map(|func| types_analyzer::get_func_sig(service, document, *func.key, &func.green))
        .is_some_and(|sig| !sig.params.is_empty() || !sig.results.is_empty())
    {
        Some(Diagnostic {
            range: helpers::rowan_range_to_lsp_range(line_index, index.text_range()),
            severity: Some(DiagnosticSeverity::Error),
            source: Some("wat".into()),
            code: Some(Union2::B(DIAGNOSTIC_CODE.into())),
            message: "start function must be type of [] -> []".into(),
            ..Default::default()
        })
    } else {
        None
    }
}