def send_workspace_folders_change(self, params): folder = params['folder'] workspace_watcher = params['instance'] folder_uri = path_as_uri(folder) added_folders = [] removed_folders = [] if params['kind'] == 'addition': if folder not in self.watched_folders: self.watched_folders[folder] = { 'uri': folder_uri, 'instance': workspace_watcher } added_folders.append({ 'uri': folder_uri, 'name': folder }) elif params['kind'] == 'deletion': if folder not in self.watched_folders: self.watched_folders.pop(folder) removed_folders.append({ 'uri': folder_uri, 'name': folder }) workspace_settings = self.server_capabilites['workspace'] request_params = { 'added': added_folders, 'removed': removed_folders } if not workspace_settings['workspaceFolders']['supported']: request_params[ClientConstants.CANCEL] = True return request_params
def document_did_close(self, params): codeeditor = params['codeeditor'] logger.debug('[{0}] File: {1}'.format( LSPRequestTypes.DOCUMENT_DID_CLOSE, params['file'])) filename = path_as_uri(params['file']) params = { 'textDocument': { 'uri': filename } } if filename not in self.watched_files: params[ClientConstants.CANCEL] = True else: editors = self.watched_files[filename] if len(editors) > 1: params[ClientConstants.CANCEL] = True idx = -1 for i, editor in enumerate(editors): if id(codeeditor) == id(editor): idx = i break if idx > 0: editors.pop(idx) if len(editors) == 0: self.watched_files.pop(filename) return params
def document_will_save_notification(self, params): params = { 'textDocument': { 'uri': path_as_uri(params['file']) }, 'reason': params['reason'] } return params
def document_changed(self, params): params = { 'textDocument': { 'uri': path_as_uri(params['file']), 'version': params['version'] }, 'contentChanges': [{ 'text': params['text'] }] } return params
def send_watched_files_change(self, params): changes = [] entries = params.get('params', []) for entry in entries: changes.append({ 'uri': path_as_uri(entry['file']), 'type': entry['kind'] }) params = { 'changes': changes } return params
def document_completion_request(self, params): params = { 'textDocument': { 'uri': path_as_uri(params['file']) }, 'position': { 'line': params['line'], 'character': params['column'] } } return params
def document_open(self, editor_params): uri = path_as_uri(editor_params['file']) if uri not in self.watched_files: self.register_file( editor_params['file'], editor_params['codeeditor']) params = { 'textDocument': { 'uri': uri, 'languageId': editor_params['language'], 'version': editor_params['version'], 'text': editor_params['text'] } } return params
def document_did_save_notification(self, params): """ Handle the textDocument/didSave message received from an LSP server. """ text = None if 'text' in params: text = params['text'] params = { 'textDocument': { 'uri': path_as_uri(params['file']) } } if text is not None: params['text'] = text return params
def register_file(self, filename, codeeditor): filename = path_as_uri(filename) if filename not in self.watched_files: self.watched_files[filename] = [] self.watched_files[filename].append(codeeditor)