crosshair-tool 0.0.97__cp314-cp314-win_amd64.whl

crosshair/lsp_server.py

@@ -0,0 +1,250 @@
+import logging
+import os
+import pathlib
+import re
+import sys
+import time
+from collections import defaultdict
+from dataclasses import dataclass, field
+from pathlib import Path
+from threading import Thread
+from typing import Any, Counter, Dict, List, Optional
+from urllib.parse import unquote, urlparse
+
+from lsprotocol.types import (
+    SHUTDOWN,
+    TEXT_DOCUMENT_DID_CHANGE,
+    TEXT_DOCUMENT_DID_CLOSE,
+    TEXT_DOCUMENT_DID_OPEN,
+    TEXT_DOCUMENT_DID_SAVE,
+    Diagnostic,
+    DiagnosticSeverity,
+    DidChangeTextDocumentParams,
+    DidCloseTextDocumentParams,
+    DidOpenTextDocumentParams,
+    Position,
+    Range,
+)
+from pygls.server import LanguageServer
+
+from crosshair import __version__, env_info
+from crosshair.options import DEFAULT_OPTIONS, AnalysisOptionSet
+from crosshair.statespace import AnalysisMessage, MessageType
+from crosshair.watcher import Watcher
+
+# logging.basicConfig(
+#     filename="/Users/pschanely/pygls.log", filemode="w", level=logging.DEBUG
+# )
+
+
+class CrossHairLanguageServer(LanguageServer):
+    def __init__(self, options: AnalysisOptionSet):
+        self.options = options
+        super().__init__("CrossHairServer", __version__)
+
+    CMD_REGISTER_COMPLETIONS = "registerCompletions"
+    CMD_UNREGISTER_COMPLETIONS = "unregisterCompletions"
+
+
+def get_diagnostic(message: AnalysisMessage, doclines: List[str]) -> Diagnostic:
+    line = message.line - 1
+    col = endcol = message.column
+    if col == 0:
+        if line < len(doclines):
+            line_text = doclines[line]
+            match = re.compile(r"^\s*(.*?)\s*$").fullmatch(line_text)
+            if match:
+                col, endcol = match.start(1), match.end(1)
+    if message.state < MessageType.PRE_UNSAT:
+        severity = DiagnosticSeverity.Information
+    elif message.state == MessageType.PRE_UNSAT:
+        severity = DiagnosticSeverity.Warning
+    else:
+        severity = DiagnosticSeverity.Error
+    return Diagnostic(
+        range=Range(
+            start=Position(line=line, character=col),
+            end=Position(line=line, character=endcol),
+        ),
+        severity=severity,
+        message=message.message,
+        source="CrossHair",
+    )
+
+
+def publish_messages(
+    messages: Dict[str, Optional[Dict[int, AnalysisMessage]]],
+    server: CrossHairLanguageServer,
+):
+    for uri, file_messages in list(messages.items()):
+        doc = server.workspace.documents.get(uri, None)
+        if file_messages is None:
+            # closed/editing, and client already notified as empty
+            continue
+        diagnostics = []
+        for message in file_messages.values():
+            if message.state < MessageType.PRE_UNSAT:
+                continue
+            # TODO: consider server.show_message_log()ing the long description
+            diagnostics.append(get_diagnostic(message, doc.lines if doc else []))
+        server.publish_diagnostics(uri, diagnostics)
+        if not diagnostics:
+            # After we publish an empty set, it's safe to forget about the file:
+            del messages[uri]
+
+
+@dataclass
+class LocalState:
+    watcher: Watcher
+    server: CrossHairLanguageServer
+    active_messages: Dict[str, Optional[Dict[int, AnalysisMessage]]] = field(
+        default_factory=lambda: defaultdict(dict)
+    )
+    should_shutdown: bool = False
+
+    def start_loop_thread(self):
+        self.loop = Thread(target=self.run_watch_loop)
+        self.loop.start()
+
+    def shutdown(self):
+        self.should_shutdown = True
+        self.watcher.shutdown()
+        self.loop.join(3.0)  # run_iteration should check the flag 1x / second
+
+    def run_watch_loop(
+        self,
+        max_watch_iterations: int = sys.maxsize,
+    ) -> None:
+        def log(*a):
+            pass  # self.server.show_message_log(*a)
+
+        log("loop thread started")
+        watcher = self.watcher
+        server = self.server
+        active_messages = self.active_messages
+        restart = True
+        stats: Counter[str] = Counter()
+        for _i in range(max_watch_iterations):
+            if self.should_shutdown:
+                return
+            if restart:
+                numfiles = len(watcher._modtimes)
+                server.show_message_log(
+                    f"Scanning {numfiles} file(s) for properties to check."
+                )
+                max_uninteresting_iterations = (
+                    DEFAULT_OPTIONS.get_max_uninteresting_iterations()
+                )
+                restart = False
+                stats = Counter()
+                for k, v in list(active_messages.items()):
+                    active_messages[k] = None if v is None else {}
+            else:
+                time.sleep(0.25)
+                max_uninteresting_iterations = min(
+                    sys.maxsize, 2 * max_uninteresting_iterations
+                )
+            log(f"iteration starting" + str(_i))
+            for curstats, messages in watcher.run_iteration(
+                max_uninteresting_iterations
+            ):
+                log(f"iteration yielded {curstats, messages}")
+                stats.update(curstats)
+                for message in messages:
+                    filename, line = (message.filename, message.line)
+                    file_messages = active_messages[Path(filename).as_uri()]
+                    if file_messages is not None and (
+                        line not in file_messages
+                        or file_messages[line].state < message.state
+                    ):
+                        file_messages[line] = message
+            numpaths = stats["num_paths"]
+            if self.should_shutdown:
+                return
+            if numpaths > 0:
+                status = f"Analyzed {numpaths} paths in {len(watcher._modtimes)} files."
+                server.show_message_log(status)
+            publish_messages(active_messages, server)
+            if watcher._change_flag:
+                watcher._change_flag = False
+                restart = True
+        log(f"done run loop")
+
+
+_LS: Optional[LocalState] = None
+
+
+def getlocalstate(server: CrossHairLanguageServer) -> LocalState:
+    global _LS
+    if _LS is None:
+        server.show_message_log(env_info())
+        watcher = Watcher([], server.options)
+        watcher.startpool()
+        _LS = LocalState(watcher, server)
+        _LS.start_loop_thread()
+    else:
+        _LS.server = server
+    return _LS
+
+
+def update_paths(server: CrossHairLanguageServer):
+    paths = []
+    for uri, doc in server.workspace.documents.items():
+        if not doc.filename.endswith(".py"):
+            continue
+        parsed = urlparse(uri)
+        if parsed.netloc != "":
+            continue
+        path = unquote(parsed.path)
+        if os.name == "nt":
+            while path.startswith("/"):
+                path = path[1:]  # Remove leading slashes on windows
+            path = path.replace("/", "\\")
+        paths.append(pathlib.Path(path))
+    watcher = getlocalstate(server).watcher
+    server.show_message_log("New path set: " + repr(paths))
+    watcher.update_paths(paths)
+
+
+def create_lsp_server(options: AnalysisOptionSet) -> CrossHairLanguageServer:
+
+    crosshair_lsp_server = CrossHairLanguageServer(options)
+
+    @crosshair_lsp_server.feature(TEXT_DOCUMENT_DID_CHANGE)
+    def did_change(
+        server: CrossHairLanguageServer, params: DidChangeTextDocumentParams
+    ):
+        # server.show_message_log("did_change")
+        uri = params.text_document.uri
+        getlocalstate(server).active_messages[uri] = None
+        server.publish_diagnostics(uri, [])
+
+    @crosshair_lsp_server.feature(TEXT_DOCUMENT_DID_CLOSE)
+    def did_close(server: CrossHairLanguageServer, params: DidCloseTextDocumentParams):
+        # server.show_message_log("did_close")
+        uri = params.text_document.uri
+        getlocalstate(server).active_messages[uri] = None
+        server.publish_diagnostics(uri, [])
+        update_paths(server)
+
+    @crosshair_lsp_server.feature(TEXT_DOCUMENT_DID_OPEN)
+    def did_open(server: CrossHairLanguageServer, params: DidOpenTextDocumentParams):
+        uri = params.text_document.uri
+        getlocalstate(server).active_messages[uri] = {}
+        update_paths(server)
+
+    @crosshair_lsp_server.feature(TEXT_DOCUMENT_DID_SAVE)
+    def did_save(server: CrossHairLanguageServer, params: DidOpenTextDocumentParams):
+        uri = params.text_document.uri
+        update_paths(server)
+        getlocalstate(server).active_messages[uri] = {}
+        server.publish_diagnostics(uri, [])
+
+    @crosshair_lsp_server.feature(SHUTDOWN)
+    def did_shutdown(
+        server: CrossHairLanguageServer,
+        params: Any,
+    ):
+        getlocalstate(server).shutdown()
+
+    return crosshair_lsp_server

crosshair/lsp_server_test.py

@@ -0,0 +1,30 @@
+import pytest
+from lsprotocol.types import Diagnostic, DiagnosticSeverity, Position, Range
+
+from crosshair.lsp_server import LocalState, create_lsp_server, get_diagnostic
+from crosshair.options import AnalysisOptionSet
+from crosshair.statespace import AnalysisMessage, MessageType
+from crosshair.watcher import Watcher
+
+
+@pytest.fixture
+def state():
+    server = create_lsp_server(AnalysisOptionSet())
+    return LocalState(Watcher([]), server)
+
+
+def test_get_diagnostic():
+    msg = AnalysisMessage(MessageType.POST_ERR, "exception raised", __file__, 2, 0, "")
+    assert get_diagnostic(msg, ["one", "  two  ", "three"]) == Diagnostic(
+        range=Range(
+            start=Position(line=1, character=2),
+            end=Position(line=1, character=5),
+        ),
+        severity=DiagnosticSeverity.Error,
+        message="exception raised",
+        source="CrossHair",
+    )
+
+
+def test_watch_loop(state: LocalState):
+    state.run_watch_loop(max_watch_iterations=1)