(threadId: ThreadId | null)
| 568 | } |
| 569 | |
| 570 | private getSession(threadId: ThreadId | null): StalkerSession | null { |
| 571 | if (threadId === null) { |
| 572 | log("[stalker] no current session", "yellow"); |
| 573 | return null; |
| 574 | } |
| 575 | |
| 576 | const session = this.sessions.get(threadId); |
| 577 | if (session === undefined) { |
| 578 | log(`[stalker] no session for thread ${threadId}`, "yellow"); |
| 579 | return null; |
| 580 | } |
| 581 | |
| 582 | return session; |
| 583 | } |
| 584 | |
| 585 | private getPausedSession(): StalkerSession | null { |
| 586 | const session = this.getSession(this.currentThreadId); |
no test coverage detected