(changedPath: string)
| 314 | // operations (such as saving all modified files in an editor) a chance to complete before we kick |
| 315 | // off a new compilation. |
| 316 | function startTimerForRecompilation(changedPath: string) { |
| 317 | if (timerHandleForRecompilation) { |
| 318 | host.clearTimeout(timerHandleForRecompilation.timerHandle); |
| 319 | } else { |
| 320 | timerHandleForRecompilation = { |
| 321 | modifiedResourceFiles: new Set<string>(), |
| 322 | timerHandle: undefined, |
| 323 | }; |
| 324 | } |
| 325 | timerHandleForRecompilation.timerHandle = host.setTimeout(recompile, 250); |
| 326 | timerHandleForRecompilation.modifiedResourceFiles.add(changedPath); |
| 327 | } |
| 328 | |
| 329 | function recompile() { |
| 330 | host.reportDiagnostics([ |
no test coverage detected
searching dependent graphs…