(uri: vscode.Uri, pos: vscode.Position)
| 89 | let seq = 0; |
| 90 | |
| 91 | export function encodeLocation(uri: vscode.Uri, pos: vscode.Position): vscode.Uri { |
| 92 | const query = JSON.stringify([uri.toString(), pos.line, pos.character]); |
| 93 | return vscode.Uri.parse(`${Provider.scheme}:References.locations?${query}#${seq++}`); |
| 94 | } |
| 95 | |
| 96 | export function decodeLocation(uri: vscode.Uri): [vscode.Uri, vscode.Position] { |
| 97 | const [target, line, character] = JSON.parse(uri.query) as [string, number, number]; |