CompletionCapabilities completionCap = new CompletionCapabilities(new CompletionItemCapabilities(true)); textCap.setCompletion(completionCap); clientCap.setTextDocument(textCap); WorkspaceClientCapabilities workspaceCap = new WorkspaceClientCapabilities(); workspaceCap.setApplyEdit(true);
textDocument.setSignatureHelp(new SignatureHelpCapabilities()); textDocument.setSynchronization(new SynchronizationCapabilities(true, false, true)); clientCapabilities.setTextDocument(textDocument);
}; TextDocumentClientCapabilities _doubleArrow = ObjectExtensions.<TextDocumentClientCapabilities>operator_doubleArrow(_textDocumentClientCapabilities, _function_3); it_2.setTextDocument(_doubleArrow); WorkspaceClientCapabilities _workspaceClientCapabilities = new WorkspaceClientCapabilities(); it_2.setWorkspace(_workspaceClientCapabilities);
}; TextDocumentClientCapabilities _doubleArrow = ObjectExtensions.<TextDocumentClientCapabilities>operator_doubleArrow(_textDocumentClientCapabilities, _function_3); it_2.setTextDocument(_doubleArrow); WorkspaceClientCapabilities _workspaceClientCapabilities = new WorkspaceClientCapabilities(); it_2.setWorkspace(_workspaceClientCapabilities);