Fire a hover request at the given position.
(backend: &Backend, uri: &Url, line: u32, character: u32)
| 61 | |
| 62 | /// Fire a hover request at the given position. |
| 63 | async fn fire_hover(backend: &Backend, uri: &Url, line: u32, character: u32) { |
| 64 | let params = HoverParams { |
| 65 | text_document_position_params: TextDocumentPositionParams { |
| 66 | text_document: TextDocumentIdentifier { uri: uri.clone() }, |
| 67 | position: Position { line, character }, |
| 68 | }, |
| 69 | work_done_progress_params: WorkDoneProgressParams::default(), |
| 70 | }; |
| 71 | let _ = black_box(backend.hover(params).await); |
| 72 | } |
| 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) { |
no test coverage detected