(message)
| 478 | shared_state.unregister_uri(uri) |
| 479 | |
| 480 | def textDocument_sourceKitOptions(message): |
| 481 | uri = message["params"]["textDocument"]["uri"] |
| 482 | return { |
| 483 | "jsonrpc": "2.0", |
| 484 | "id": message["id"], |
| 485 | "result": shared_state.sourceKitOptions(uri), |
| 486 | } |
| 487 | |
| 488 | # TODO: outputPaths, no spec? # |
| 489 | def build_shutdown(message): |
nothing calls this directly
no test coverage detected