workspaceEdit.setResourceOperations(Arrays.asList(ResourceOperationKind.Create, ResourceOperationKind.Delete, ResourceOperationKind.Rename)); workspaceCap.setWorkspaceEdit(workspaceEdit); clientCap.setWorkspace(workspaceCap); initParams.setCapabilities(clientCap); initResult = getServer().initialize(initParams).get();
workspace.setSymbol(new SymbolCapabilities()); workspace.setWorkspaceEdit(new WorkspaceEditCapabilities()); clientCapabilities.setWorkspace(workspace);
it_2.setTextDocument(_doubleArrow); WorkspaceClientCapabilities _workspaceClientCapabilities = new WorkspaceClientCapabilities(); it_2.setWorkspace(_workspaceClientCapabilities); }; ClientCapabilities _doubleArrow = ObjectExtensions.<ClientCapabilities>operator_doubleArrow(_clientCapabilities, _function_2);
it_2.setTextDocument(_doubleArrow); WorkspaceClientCapabilities _workspaceClientCapabilities = new WorkspaceClientCapabilities(); it_2.setWorkspace(_workspaceClientCapabilities); }; ClientCapabilities _doubleArrow = ObjectExtensions.<ClientCapabilities>operator_doubleArrow(_clientCapabilities, _function_2);