Import vhdl_langserver from ghdl-language-server

1 files changed, 139 insertions, 0 deletions

diff --git a/python/vhdl_langserver/vhdl_ls.py b/python/vhdl_langserver/vhdl_ls.py
new file mode 100644
index 000000000..c2559630e
--- /dev/null
+++ b/python/vhdl_langserver/vhdl_ls.py
@@ -0,0 +1,139 @@
+import logging
+
+from . import lsp
+from .workspace import Workspace
+
+log = logging.getLogger(__name__)
+
+
+class VhdlLanguageServer(object):
+    def __init__(self):
+        self.workspace = None
+        self.lsp = None
+        self._shutdown = False
+        self.dispatcher = {
+            'initialize': self.initialize,
+            'initialized': self.initialized,
+            'shutdown': self.shutdown,
+            '$/setTraceNotification': self.setTraceNotification,
+            'textDocument/didOpen': self.textDocument_didOpen,
+            'textDocument/didChange': self.textDocument_didChange,
+            'textDocument/didClose': self.textDocument_didClose,
+            'textDocument/didSave': self.textDocument_didSave,
+            # 'textDocument/hover': self.hover,
+            'textDocument/definition': self.textDocument_definition,
+            'textDocument/documentSymbol': self.textDocument_documentSymbol,
+            # 'textDocument/completion': self.completion,
+            'textDocument/rangeFormatting': self.textDocument_rangeFormatting,
+            'workspace/xShowAllFiles': self.workspace_xShowAllFiles,
+            'workspace/xGetAllEntities': self.workspace_xGetAllEntities,
+            'workspace/xGetEntityInterface': self.workspace_xGetEntityInterface,
+            }
+
+    def set_lsp(self, server):
+        self.lsp = server
+
+    def shutdown(self):
+        self.lsp.shutdown()
+
+    def setTraceNotification(self, value):
+        pass
+
+    def capabilities(self):
+        server_capabilities = {
+            'textDocumentSync': {
+                'openClose': True,
+                'change': lsp.TextDocumentSyncKind.INCREMENTAL,
+                'save': {
+                    'includeText': True}
+                },
+            'hoverProvider': False,
+            #            'completionProvider': False,
+            #            'signatureHelpProvider': {
+            #                'triggerCharacters': ['(', ',']
+            #            },
+            'definitionProvider': True,
+            'referencesProvider': False,
+            'documentHighlightProvider': False,
+            'documentSymbolProvider': True,
+            'codeActionProvider': False,
+            'documentFormattingProvider': False,
+            'documentRangeFormattingProvider': True,
+            'renameProvider': False,
+        }
+        return server_capabilities
+
+    def initialize(self, processId, rootPath, capabilities, rootUri=None,
+                   initializationOptions=None, **_):
+        log.debug('Language server initialized with %s %s %s %s',
+                  processId, rootUri, rootPath, initializationOptions)
+        if rootUri is None:
+            rootUri = lsp.path_to_uri(rootPath) if rootPath is not None else ''
+        self.workspace = Workspace(rootUri, self.lsp)
+
+        # Get our capabilities
+        return {'capabilities': self.capabilities()}
+
+    def initialized(self):
+        # Event when the client is fully initialized.
+        return None
+
+    def textDocument_didOpen(self, textDocument=None):
+        doc_uri = textDocument['uri']
+        self.workspace.put_document(doc_uri, textDocument['text'],
+                                    version=textDocument.get('version'))
+        self.lint(doc_uri)
+
+    def textDocument_didChange(self, textDocument=None, contentChanges=None,
+                               **_kwargs):
+        doc_uri = textDocument['uri']
+        new_version = textDocument.get('version')
+        self.workspace.apply_changes(doc_uri, contentChanges, new_version)
+
+    def lint(self, doc_uri):
+        self.workspace.lint(doc_uri)
+
+    def textDocument_didClose(self, textDocument=None, **_kwargs):
+        self.workspace.rm_document(textDocument['uri'])
+
+    def textDocument_didSave(self, textDocument=None, text=None, **_kwargs):
+        if text is not None:
+            # Sanity check: check we have the same content for the document.
+            self.workspace.check_document(textDocument['uri'], text)
+        else:
+            log.debug("did save - no text")
+        self.lint(textDocument['uri'])
+
+    def textDocument_definition(self, textDocument=None, position=None):
+        return self.workspace.goto_definition(textDocument['uri'], position)
+
+    def textDocument_documentSymbol(self, textDocument=None):
+        doc = self.workspace.get_or_create_document(textDocument['uri'])
+        return doc.document_symbols()
+
+    def textDocument_rangeFormatting(self, textDocument=None, range=None, options=None):
+        doc_uri = textDocument['uri']
+        doc = self.workspace.get_document(doc_uri)
+        assert doc is not None, 'Try to format a non-loaded document'
+        res = doc.format_range(range)
+        if res is not None:
+            self.lint(doc_uri)
+        return res
+
+    def m_workspace__did_change_configuration(self, _settings=None):
+        for doc_uri in self.workspace.documents:
+            self.lint(doc_uri)
+
+    def m_workspace__did_change_watched_files(self, **_kwargs):
+        # Externally changed files may result in changed diagnostics
+        for doc_uri in self.workspace.documents:
+            self.lint(doc_uri)
+
+    def workspace_xShowAllFiles(self):
+        return self.workspace.x_show_all_files()
+
+    def workspace_xGetAllEntities(self):
+        return self.workspace.x_get_all_entities()
+
+    def workspace_xGetEntityInterface(self, library, name):
+        return self.workspace.x_get_entity_interface(library, name)