()
| 292 | private hasPendingResume = false; |
| 293 | |
| 294 | public receivedPauseStart() { |
| 295 | this.gotPauseStart = true; |
| 296 | this.paused = true; |
| 297 | this.checkResume(); |
| 298 | } |
| 299 | |
| 300 | public setInitialBreakpoints() { |
| 301 | this.initialBreakpoints = true; |
no test coverage detected