(socket: FakeWebSocket, filePath: string, text = "foo")
| 69 | } |
| 70 | |
| 71 | function sendSelection(socket: FakeWebSocket, filePath: string, text = "foo") { |
| 72 | socket.message( |
| 73 | JSON.stringify({ |
| 74 | jsonrpc: "2.0", |
| 75 | method: "selection_changed", |
| 76 | params: { |
| 77 | text, |
| 78 | filePath, |
| 79 | selection: { |
| 80 | start: { line: 1, character: 1 }, |
| 81 | end: { line: 1, character: 4 }, |
| 82 | }, |
| 83 | }, |
| 84 | }), |
| 85 | ) |
| 86 | } |
| 87 | |
| 88 | function expectedSelection(filePath: string, text = "foo") { |
| 89 | return { |
no test coverage detected