use crate::{
LanguageService,
binder::{Symbol, SymbolKey, SymbolTable},
helpers,
idx::Idx,
types_analyzer::{self, ValType},
};
use lspt::{
MarkupContent, MarkupKind, ParameterInformation, SignatureHelp, SignatureHelpParams,
SignatureInformation, Union2,
};
use rowan::{Direction, ast::AstNode};
use std::fmt::Write;
use wat_syntax::{
SyntaxElement, SyntaxKind, SyntaxNodePtr,
ast::{Instr, PlainInstr},
};
impl LanguageService {
pub fn signature_help(&self, params: SignatureHelpParams) -> Option<SignatureHelp> {
let document = self.get_document(params.text_document.uri)?;
let line_index = document.line_index(self);
let root = document.root_tree(self);
let symbol_table = SymbolTable::of(self, document);
let token = helpers::ast::find_token(
&root,
helpers::lsp_pos_to_rowan_pos(line_index, params.position)?,
)?;
let (node, instr, is_next) = if token.kind() == SyntaxKind::ERROR {
(
token.parent()?,
token
.siblings_with_tokens(Direction::Prev)
.skip(1)
.find_map(|sibling| match sibling {
SyntaxElement::Node(node) => Instr::cast(node),
_ => None,
}),
true,
)
} else {
let instr = token.parent()?;
(instr.parent()?, Instr::cast(instr), false)
};
let parent_instr = PlainInstr::cast(node.clone())?;
let (signature, func) = match parent_instr.instr_name()?.text() {
"call" | "return_call" => {
let first_immediate = parent_instr.immediates().next()?;
let func = symbol_table.find_def(SymbolKey::new(first_immediate.syntax()))?;
(
types_analyzer::get_func_sig(self, document, *func.key, &func.green),
Some(func),
)
}
"call_indirect" | "return_call_indirect" => {
let type_use = parent_instr
.immediates()
.find_map(|immediate| immediate.type_use())?;
let type_use = type_use.syntax();
let mut sig = types_analyzer::get_type_use_sig(
self,
document,
SyntaxNodePtr::new(type_use),
&type_use.green(),
);
sig.params.push((ValType::I32, None));
(sig, None)
}
_ => return None,
};
let mut label = "(func".to_string();
let mut parameters = Vec::with_capacity(signature.params.len());
if let Some(Symbol {
idx: Idx {
name: Some(name), ..
},
..
}) = func
{
label.push(' ');
label.push_str(name.ident(self));
}
if !signature.params.is_empty() || !signature.results.is_empty() {
label.push(' ');
let mut written = false;
signature.params.iter().for_each(|param| {
if written {
label.push(' ');
}
let start = label.len();
label.push_str("(param");
if let Some(name) = param.1 {
label.push(' ');
label.push_str(name.ident(self));
}
label.push(' ');
let _ = write!(label, "{}", param.0.render(self));
label.push(')');
parameters.push(ParameterInformation {
label: Union2::B((start as u32, label.len() as u32)),
documentation: None,
});
written = true;
});
signature.results.iter().for_each(|result| {
if written {
label.push(' ');
}
label.push_str("(result ");
let _ = write!(label, "{}", result.render(self));
label.push(')');
written = true;
});
}
label.push(')');
Some(SignatureHelp {
signatures: vec![SignatureInformation {
label,
documentation: func.map(|func| {
Union2::B(MarkupContent {
kind: MarkupKind::Markdown,
value: helpers::ast::get_doc_comment(&func.key.to_node(&root)),
})
}),
parameters: Some(parameters),
active_parameter: instr
.and_then(|instr| {
node.children()
.filter_map(Instr::cast)
.position(|child| child == instr)
.map(|index| if is_next { index + 1 } else { index } as u32)
})
.or_else(|| (!signature.params.is_empty() && is_next).then_some(0)),
}],
active_signature: Some(0),
active_parameter: None,
})
}
}