(message)
| 466 | return {"jsonrpc": "2.0", "id": message["id"], "result": {"items": items }} |
| 467 | |
| 468 | def textDocument_registerForChanges(message): |
| 469 | # empty response, ensure response before notification |
| 470 | send({"jsonrpc": "2.0", "id": message["id"], "result": None}) |
| 471 | |
| 472 | # is file save trigger a change and update index? |
| 473 | action = message["params"]["action"] |
| 474 | uri = message["params"]["uri"] |
| 475 | if action == "register": |
| 476 | shared_state.register_uri(uri) |
| 477 | elif action == "unregister": |
| 478 | shared_state.unregister_uri(uri) |
| 479 | |
| 480 | def textDocument_sourceKitOptions(message): |
| 481 | uri = message["params"]["textDocument"]["uri"] |
nothing calls this directly
no test coverage detected