(info: MINode)
| 146 | } |
| 147 | |
| 148 | protected threadCreatedEvent(info: MINode) { |
| 149 | this.sendEvent(new ThreadEvent("started", info.record("id"))); |
| 150 | } |
| 151 | |
| 152 | protected threadExitedEvent(info: MINode) { |
| 153 | this.sendEvent(new ThreadEvent("exited", info.record("id"))); |