(lineNumber: number, doClear: boolean)
| 217 | } |
| 218 | |
| 219 | private onSelectLine(lineNumber: number, doClear: boolean) { |
| 220 | if (doClear) { |
| 221 | this.sourcePositionSelectionHandler.clear(); |
| 222 | } |
| 223 | const positions = this.sourceResolver.lineToSourcePositions(lineNumber - 1); |
| 224 | if (positions !== undefined) { |
| 225 | this.sourcePositionSelectionHandler.select(positions, undefined); |
| 226 | } |
| 227 | } |
| 228 | |
| 229 | private onSelectSourcePosition(sourcePosition: SourcePosition, doClear: boolean) { |
| 230 | if (doClear) { |
no test coverage detected