|
3 | 3 | from pathlib import Path |
4 | 4 | from typing import TYPE_CHECKING, Any |
5 | 5 |
|
6 | | -from lsprotocol.types import INITIALIZE, MessageType, LogMessageParams |
| 6 | +from lsprotocol.types import INITIALIZE, LogMessageParams, MessageType |
7 | 7 | from pygls import uris |
8 | 8 | from pygls.protocol import LanguageServerProtocol, lsp_method |
9 | 9 | from pygls.server import LanguageServer |
@@ -58,21 +58,22 @@ def initialize_optimizer(self, config_file: Path) -> None: |
58 | 58 |
|
59 | 59 | def show_message_log(self, message: str, message_type: str) -> None: |
60 | 60 | """Send a log message to the client's output channel. |
61 | | - |
| 61 | +
|
62 | 62 | Args: |
63 | 63 | message: The message to log |
64 | 64 | message_type: String type - "Info", "Warning", "Error", or "Log" |
| 65 | +
|
65 | 66 | """ |
66 | 67 | # Convert string message type to LSP MessageType enum |
67 | 68 | type_mapping = { |
68 | 69 | "Info": MessageType.Info, |
69 | | - "Warning": MessageType.Warning, |
| 70 | + "Warning": MessageType.Warning, |
70 | 71 | "Error": MessageType.Error, |
71 | | - "Log": MessageType.Log |
| 72 | + "Log": MessageType.Log, |
72 | 73 | } |
73 | | - |
| 74 | + |
74 | 75 | lsp_message_type = type_mapping.get(message_type, MessageType.Info) |
75 | | - |
| 76 | + |
76 | 77 | # Send log message to client (appears in output channel) |
77 | 78 | log_params = LogMessageParams(type=lsp_message_type, message=message) |
78 | 79 | self.lsp.notify("window/logMessage", log_params) |
0 commit comments