Fire a go-to-definition request at the given position.
(backend: &Backend, uri: &Url, line: u32, character: u32)
| 73 | |
| 74 | /// Fire a go-to-definition request at the given position. |
| 75 | async fn fire_definition(backend: &Backend, uri: &Url, line: u32, character: u32) { |
| 76 | let params = GotoDefinitionParams { |
| 77 | text_document_position_params: TextDocumentPositionParams { |
| 78 | text_document: TextDocumentIdentifier { uri: uri.clone() }, |
| 79 | position: Position { line, character }, |
| 80 | }, |
| 81 | work_done_progress_params: WorkDoneProgressParams::default(), |
| 82 | partial_result_params: PartialResultParams::default(), |
| 83 | }; |
| 84 | let _ = black_box(backend.goto_definition(params).await); |
| 85 | } |
| 86 | |
| 87 | // ─── PHP source generators ────────────────────────────────────────────────── |
| 88 |
no test coverage detected