TextDocumentClientCapabilities textCap = new TextDocumentClientCapabilities(); CompletionCapabilities completionCap = new CompletionCapabilities(new CompletionItemCapabilities(true)); textCap.setCompletion(completionCap); clientCap.setTextDocument(textCap); WorkspaceClientCapabilities workspaceCap = new WorkspaceClientCapabilities();
CompletionItemCapabilities ciCaps = new CompletionItemCapabilities(true); ciCaps.setDocumentationFormat(Collections.singletonList(MarkupKind.MARKDOWN)); textDocument.setCompletion(new CompletionCapabilities(ciCaps)); textDocument.setDefinition(new DefinitionCapabilities()); textDocument.setDocumentHighlight(new DocumentHighlightCapabilities());
}; CompletionCapabilities _doubleArrow_1 = ObjectExtensions.<CompletionCapabilities>operator_doubleArrow(_completionCapabilities, _function_5); it_3.setCompletion(_doubleArrow_1); HoverCapabilities _hoverCapabilities = new HoverCapabilities(); final Procedure1<HoverCapabilities> _function_6 = (HoverCapabilities it_4) -> {
}; CompletionCapabilities _doubleArrow_1 = ObjectExtensions.<CompletionCapabilities>operator_doubleArrow(_completionCapabilities, _function_5); it_3.setCompletion(_doubleArrow_1); HoverCapabilities _hoverCapabilities = new HoverCapabilities(); final Procedure1<HoverCapabilities> _function_6 = (HoverCapabilities it_4) -> {