(uri: string)
| 71 | } |
| 72 | |
| 73 | async fileExists(uri: string): Promise<boolean> { |
| 74 | try { |
| 75 | const stat = await this.ideUtils.stat(vscode.Uri.parse(uri)); |
| 76 | return stat !== null; |
| 77 | } catch (error) { |
| 78 | if (error instanceof vscode.FileSystemError) { |
| 79 | return false; |
| 80 | } |
| 81 | throw error; |
| 82 | } |
| 83 | } |
| 84 | |
| 85 | async gotoDefinition(location: Location): Promise<RangeInFile[]> { |
| 86 | const result = await executeGotoProvider({ |