()
| 303 | } |
| 304 | |
| 305 | public receivedConfigurationDone() { |
| 306 | this.hasConfigurationDone = true; |
| 307 | this.checkResume(); |
| 308 | } |
| 309 | |
| 310 | public checkResume() { |
| 311 | if (this.paused && this.gotPauseStart && this.initialBreakpoints && this.hasConfigurationDone) |
no test coverage detected