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)
ref='#n54'>54</a>
<a id='n55' href='#n55'>55</a>
<a id='n56' href='#n56'>56</a>
<a id='n57' href='#n57'>57</a>
<a id='n58' href='#n58'>58</a>
<a id='n59' href='#n59'>59</a>
<a id='n60' href='#n60'>60</a>
<a id='n61' href='#n61'>61</a>
<a id='n62' href='#n62'>62</a>
<a id='n63' href='#n63'>63</a>
<a id='n64' href='#n64'>64</a>
<a id='n65' href='#n65'>65</a>
<a id='n66' href='#n66'>66</a>
</pre></td>
<td class='lines'><pre><code></code></pre></td></tr></table>
</div> <!-- class=content -->
<div class='footer'>generated by <a href='https://git.zx2c4.com/cgit/about/'>cgit v1.2.3</a> (<a href='https://git-scm.com/'>git 2.25.1</a>) at 2025-06-04 08:19:26 +0000</div>
</div> <!-- id=cgit -->
</body>
</html>
