(line: number)
| 354 | } |
| 355 | |
| 356 | getLineLength(line: number) { |
| 357 | const info = this.infos[line - 1]; |
| 358 | return this.getIndentAt(line) + info.sliceEnd - info.sliceStart; |
| 359 | } |
| 360 | |
| 361 | nextPos(pos: Pos, skipSpaces: boolean = false) { |
| 362 | const l = Math.max(pos.line, 0), |
no test coverage detected