Send textDocument/hover and wait for the response. This forces the server to resolve types at the given position, triggering lazy loading of stubs, inheritance chains, etc.
(self, uri: str, line: int, character: int, timeout: float = 30)
| 313 | }) |
| 314 | |
| 315 | def hover(self, uri: str, line: int, character: int, timeout: float = 30) -> dict[str, Any]: |
| 316 | """Send textDocument/hover and wait for the response. |
| 317 | |
| 318 | This forces the server to resolve types at the given position, |
| 319 | triggering lazy loading of stubs, inheritance chains, etc. |
| 320 | """ |
| 321 | rid = self.send_request("textDocument/hover", { |
| 322 | "textDocument": {"uri": uri}, |
| 323 | "position": {"line": line, "character": character}, |
| 324 | }) |
| 325 | return self.wait_for_response(rid, timeout=timeout) |
| 326 | |
| 327 | def wait_for_indexing(self, timeout: float = INDEX_TIMEOUT) -> None: |
| 328 | """Block until PHPantom finishes indexing. |