* Reset tracking state while keeping the service initialized. * This clears all tracked files and diagnostics.
()
| 70 | * This clears all tracked files and diagnostics. |
| 71 | */ |
| 72 | reset() { |
| 73 | this.baseline.clear() |
| 74 | this.rightFileDiagnosticsState.clear() |
| 75 | this.lastProcessedTimestamps.clear() |
| 76 | } |
| 77 | |
| 78 | private normalizeFileUri(fileUri: string): string { |
| 79 | // Remove our protocol prefixes |